From: bdemsky <bdemsky>
Date: Mon, 28 Mar 2011 05:51:18 +0000 (+0000)
Subject: another bug fix...need to visit everything once also..
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f37519938471a720ebdefa9c8ff64b8be4c348da;p=IRC.git

another bug fix...need to visit everything once also..
---

diff --git a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
index 96dc34b9..4267665b 100644
--- a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
+++ b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
@@ -466,7 +466,6 @@ public class RBlockRelationAnalysis {
         FlatMethod fm = (FlatMethod) me.getValue();
 
         flatNodesToVisit.remove( fn );
-        visited.add( fn );
 
         // the "is potential stall site" strategy is to propagate
         // "false" from the beginning of a task until you hit a
@@ -548,10 +547,11 @@ public class RBlockRelationAnalysis {
         isPotentialStallSite = isPrevPossibleStallSite || isPotentialStallSite;
         
         Boolean currentStatus=fn2isPotentialStallSite.get(fn);
-        if(currentStatus==null) {
+        if(currentStatus==null||!visited.contains(fn)) {
           //first visit
           hasChanges=true;
-        }else{
+	  visited.add( fn );
+        } else {
           //not first visit
           if(isPotentialStallSite!=currentStatus){
             hasChanges=true;