From 51c89f78daa215be83bf62d6ea81d2758f76178a Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Sat, 20 Aug 2011 10:56:25 +0000
Subject: [PATCH] bug fix on the definitely written check:  Field read does not
 need to remove OW set.

---
 Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
index c6d2b358..331a32b5 100644
--- a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
+++ b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
@@ -962,7 +962,6 @@ public class DefinitelyWrittenCheck {
         // of callee: callee has 'read' requirement!
         for (Iterator iterator = calleeUnionBoundReadSet.iterator(); iterator.hasNext();) {
           NTuple<Descriptor> read = (NTuple<Descriptor>) iterator.next();
-
           Hashtable<FlatNode, Boolean> gen = curr.get(read);
           if (gen == null) {
             gen = new Hashtable<FlatNode, Boolean>();
@@ -1029,7 +1028,6 @@ public class DefinitelyWrittenCheck {
     // transform all READ/OVERWRITE set from the any possible
     // callees to the
     // caller
-
     calleeUnionBoundReadSet.clear();
     calleeIntersectBoundOverWriteSet.clear();
 
@@ -1380,7 +1378,6 @@ public class DefinitelyWrittenCheck {
             readSet.add(read);
           }
         }
-        writtenSet.removeAll(calleeUnionBoundReadSet);
 
         // add heap path, which is an element of OVERWRITE_bound set, to the
         // caller's WT set
@@ -1388,7 +1385,7 @@ public class DefinitelyWrittenCheck {
           NTuple<Descriptor> write = (NTuple<Descriptor>) iterator.next();
           writtenSet.add(write);
         }
-      }
+      } 
 
     }
       break;
-- 
2.34.1