More checkins...

[repair.git] / Repair / RepairCompiler / MCC / IR / ConcreteInterferes.java

diff --git a/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java b/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
index af193f7ec4dc7df0ab1d396633a7ef8249ff7e5f..f9e0c3a9d31a780131ab331828bcc11e143b5f91 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
+++ b/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
@@ -252,7 +252,7 @@ public class ConcreteInterferes {
            else if ((update_e instanceof DotExpr)&&(e instanceof DotExpr)) {
                DotExpr de1=(DotExpr)update_e;
                DotExpr de2=(DotExpr)e;
-               if (de1.isValue()&&!firstfield)
+               if (de1.isValue(null)&&!firstfield)
                    return true; /* Could have aliasing from this */
                if (de1.getField()!=de2.getField())
                    return true; /* Different fields: not comparible */