Sable/soot — pull request #24 by pcpratts (2013-02-01 14:32:02+00:00)
Title: fix for: http://trifort.org/soot_testcases/2013_02_01_pair_hmm.tar.gz

This fix corrects a problem in the fast typing UseChecker.

You can notice that the below line uses tlhs twice in an or.
if (!(tlhs instanceof BottomType || tlhs instanceof BottomType)) {

This fix is to try to follow the intent of the original patch. It corrects an error in the test case given on the subject line. Without this patch there is an incorrect cast from a byte array to an int array. With this patch there is no such cast.

Question: "What is the difference between a computer scientist and a mathematician?"
Answer: "A computer scientist knows no limits."