From f37519938471a720ebdefa9c8ff64b8be4c348da Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 28 Mar 2011 05:51:18 +0000
Subject: [PATCH] another bug fix...need to visit everything once also..

---
 Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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;
-- 
2.34.1