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 c8b76c873d8db803e1eb589ea0c1586477f871cd..0e8c9cf170dec4757146f2ead89448ac7ba8ec14 100644 (file)
--- 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);