1) Checking in filesystem example

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

diff --git a/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java b/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
index affa0354239bd36d432d88bc34465bbdd832f27d..5ae9aaac4beb8b97d73c7e82c051fc533828d4ac 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
+++ b/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
@@ -159,6 +159,12 @@ class AbstractInterferes {
                 (op2==Opcode.LE)))
                return false;
                
+           if (((op1==Opcode.EQ)||(op1==Opcode.GE)||(op1==Opcode.LE))&&
+               ((op2==Opcode.EQ)||(op2==Opcode.GE)||(op2==Opcode.LE))&&
+               expr1.equals(null,expr2)) {
+               return false;
+           }
+
            if (isInt1&&isInt2) {
                if (((op1==Opcode.EQ)||(op1==Opcode.GE)||(op1==Opcode.LE))&&
                    ((op2==Opcode.EQ)||(op2==Opcode.GE)||(op2==Opcode.LE))&&