From: yeom <yeom>
Date: Tue, 17 Aug 2010 22:33:42 +0000 (+0000)
Subject: fix wrong condition.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=459e96667ff420c997993b313f70be6144794d99;p=IRC.git

fix wrong condition.
If one is coarse and others are fine item from same sese, just enqueue scc instead.
---

diff --git a/Robust/src/Analysis/OoOJava/ConflictGraph.java b/Robust/src/Analysis/OoOJava/ConflictGraph.java
index c8b76c87..0e8c9cf1 100644
--- a/Robust/src/Analysis/OoOJava/ConflictGraph.java
+++ b/Robust/src/Analysis/OoOJava/ConflictGraph.java
@@ -619,7 +619,7 @@ public class ConflictGraph {
         // if there is at lease one SCC element, just enqueue SCC and
         // ignore others.
         refinedSet.add(SCCelement);
-      } else if (numCoarse == 1 && (numRead + numWrite == total)) {
+      } else if (numCoarse == 1 && (numRead + numWrite + numCoarse == total)) {
         // if one is a coarse, the othere are reads/write, enqueue SCC.
         WaitingElement we = new WaitingElement();
         we.setQueueID(queueID);