Improved precision of computation of maximum set sizes. Removed generation of
[repair.git] / Repair / RepairCompiler / MCC / IR / Expr.java
index d45280d..51ae613 100755 (executable)
@@ -82,6 +82,13 @@ public abstract class Expr {
        return null; /* unknown value */
     }
 
+    public Expr stripCastExpr() {
+       Expr ptr=this;
+       while (ptr instanceof CastExpr)
+           ptr=((CastExpr)ptr).getExpr();
+       return ptr;
+    }
+
     public boolean isSafe() {
        return true;
     }