fix a bug for Taint similar to ReachState, when either is an element of an ExistPred...

[IRC.git] / Robust / src / Analysis / Disjoint / Taint.java

diff --git a/Robust/src/Analysis/Disjoint/Taint.java b/Robust/src/Analysis/Disjoint/Taint.java
index 05f6c2015c14f4e19719d7e7341a7f02e23808f8..4d664f3194f9679f1025417859b33fc88f7beeea 100644 (file)
--- a/Robust/src/Analysis/Disjoint/Taint.java
+++ b/Robust/src/Analysis/Disjoint/Taint.java
@@ -100,7 +100,7 @@ public class Taint extends Canonical {
                   ExistPredSet eps) {
     assert
       (sese == null && stallSite != null) ||
-    (sese != null && stallSite == null);
+      (sese != null && stallSite == null);
 
     assert v   != null;
     assert as  != null;
@@ -205,6 +205,10 @@ public class Taint extends Canonical {
   }
 
   public int hashCodeSpecific() {
+    return hashCodeNoPreds() ^ preds.hashCode();
+  }
+
+  public int hashCodeNoPreds() {
     int hash = allocSite.hashCode();
     hash = hash ^ var.hashCode();