Generalize definition of SumExpr a little...Lets sum all elements of
[repair.git] / Repair / RepairCompiler / MCC / IR / LiteralExpr.java
index b9d09e1630fb540e0a176c9b695dc622b4e508b7..2a9e01af7b991fbf03d6ee3724fe5f271c4b6e85 100755 (executable)
@@ -12,4 +12,11 @@ public abstract class LiteralExpr extends Expr {
         return new HashSet();
     }
 
+    public boolean isInvariant(Set vars) {
+       return true;
+    }
+
+    public Set findInvariants(Set vars) {
+       return new HashSet(); /* We won't lift literals...gcc can do this */
+    }
 }