compareType no longer unchangeable (hints)

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@886 379699f6-c40d-0410-875b-85095c16579e

jode/jode/expr/CompareBinaryOperator.java

@@ -64,6 +64,8 @@ public class CompareBinaryOperator extends Operator {
     public void updateType() {
 	Type leftType  = Type.tSuperType(subExpressions[0].getType());
 	Type rightType = Type.tSuperType(subExpressions[1].getType());
+	compareType = compareType
+	    .intersection(leftType).intersection(rightType);
 	subExpressions[0].setType(Type.tSubType(rightType));
 	subExpressions[1].setType(Type.tSubType(leftType));
 	/* propagate hints? XXX */