From dc168fe81110cb3d6b9105443dd84d80db0d1a72 Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 26 Jun 1999 16:05:34 +0000 Subject: [PATCH] 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 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/jode/jode/expr/CompareBinaryOperator.java b/jode/jode/expr/CompareBinaryOperator.java index a6806f9..06b1fee 100644 --- a/jode/jode/expr/CompareBinaryOperator.java +++ b/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 */