oops...freeVars can return null.

diff --git a/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java b/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
index 31db16c97707ce6bb2879d8916d7ae2d4d546e06..68ed221802d5bf5a3e525e687fcf0726ae9b3547 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
+++ b/Repair/RepairCompiler/MCC/IR/AbstractInterferes.java
@@ -155,16 +155,17 @@ class AbstractInterferes {
                } else return false; // bad match
            }
            Set freevars=rexpr1.freeVars();
-           for(Iterator it=freevars.iterator();it.hasNext();) {
-               VarDescriptor vd=(VarDescriptor)it.next();
-               if (vd.isGlobal())
-                   continue; //globals are fine
-               else if (varmap.containsKey(vd)&&onetoone) //the mapped variable is fine if we have a 1-1 mapping
-                   continue;
-               else if (termination.maxsize.getsize(vd.getSet())==1)
-                   continue;
-               return false;
-           }
+           if (freevars!=null)
+               for(Iterator it=freevars.iterator();it.hasNext();) {
+                   VarDescriptor vd=(VarDescriptor)it.next();
+                   if (vd.isGlobal())
+                       continue; //globals are fine
+                   else if (varmap.containsKey(vd)&&onetoone) //the mapped variable is fine if we have a 1-1 mapping
+                       continue;
+                   else if (termination.maxsize.getsize(vd.getSet())==1)
+                       continue;
+                   return false;
+               }
            return rexpr1.equals(varmap,rexpr2);
        }
        return false;