Improved precision of computation of maximum set sizes. Removed generation of

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

diff --git a/Repair/RepairCompiler/MCC/IR/Expr.java b/Repair/RepairCompiler/MCC/IR/Expr.java
index d45280d91f616d48beb656eb22348f60bb03eaef..51ae61360906a92f2568787aa8f795f8e38ec5cf 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Expr.java
+++ b/Repair/RepairCompiler/MCC/IR/Expr.java
@@ -82,6 +82,13 @@ public abstract class Expr {
        return null; /* unknown value */
     }
 
        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;
     }
     public boolean isSafe() {
        return true;
     }