From ee2c7501d1b60a96cfad934d33a8d0ffcf72c504 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Tue, 2 Nov 2010 01:01:36 +0000
Subject: [PATCH] bug fix: add the invar to the coarseConflictSet when the
 invar itself has a conflict.

---
 Robust/src/IR/Flat/RuntimeConflictResolver.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 2d452c01..c26f71d8 100644
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -253,7 +253,7 @@ public class RuntimeConflictResolver {
       if(!created.isEmpty()) {
         for(Iterator<ConcreteRuntimeObjNode> it=created.values().iterator();it.hasNext();) {
           ConcreteRuntimeObjNode obj=it.next();
-          if (obj.hasPrimitiveConflicts()||obj.decendantsConflict()) {
+          if (obj.hasPrimitiveConflicts()||obj.decendantsConflict()||obj.hasDirectObjConflict) {
             rblock.addInVarForDynamicCoarseConflictResolution(invar);
             break;
           }
@@ -642,7 +642,7 @@ public class RuntimeConflictResolver {
       FlatSESEEnterNode fsese=taint.getSESE();
       TempDescriptor tmp=taint.getVar();
       index=fsese.getInVarsForDynamicCoarseConflictResolution().indexOf(tmp);
-    }
+     }
 
     cFile.println(methodName + " {");
     headerFile.println(methodName + ";");
-- 
2.34.1