From: bdemsky <bdemsky>
Date: Sat, 9 Oct 2010 08:41:25 +0000 (+0000)
Subject: fix several bugs...
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2b205598691450dea4c0a21243fb046b08ec7feb;p=IRC.git

fix several bugs...
---

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 628a669b..a546a6c4 100644
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -124,10 +124,9 @@ public class RuntimeConflictResolver {
     
     //Add to Global conflicts
     for(Taint t: conflicts.keySet()) {
-      if(globalConflicts.contains(t)) {
+      if(globalConflicts.containsKey(t)) {
         globalConflicts.get(t).addAll(conflicts.get(t));
-      }
-      else {
+      } else {
         globalConflicts.put(t, conflicts.get(t));
       }
     }
@@ -139,10 +138,9 @@ public class RuntimeConflictResolver {
     toTraverse.add(new TraversalInfo(fn, rg, tempDesc));
     
     for(Taint t: conflicts.keySet()) {
-      if(globalConflicts.contains(t)) {
+      if(globalConflicts.containsKey(t)) {
         globalConflicts.get(t).addAll(conflicts.get(t));
-      }
-      else {
+      } else {
         globalConflicts.put(t, conflicts.get(t));
       }
     }
@@ -1088,15 +1086,14 @@ public class RuntimeConflictResolver {
       // rehash all effects (as a 5-tuple) by their affected allocation site
       for (Taint t : effects.keySet()) {
         Set<Effect> localConflicts = conflicts.get(t);
-
         for (Effect e : effects.get(t)) {
           BucketOfEffects bucket;
           if ((bucket = table.get(e.getAffectedAllocSite())) == null) {
             bucket = new BucketOfEffects();
             table.put(e.getAffectedAllocSite(), bucket);
           }
-          printDebug(javaDebug, "Added Taint" + t + " Effect " + e + "Conflict Status = " + localConflicts.contains(e));
-          bucket.add(t, e, localConflicts.contains(e));
+          printDebug(javaDebug, "Added Taint" + t + " Effect " + e + "Conflict Status = " + (localConflicts!=null?localConflicts.contains(e):false));
+          bucket.add(t, e, localConflicts!=null?localConflicts.contains(e):false);
         }
       }
     }