little bug fix

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 69492e216e88c7283c11703c3748d960650cc96c..25a353491c00d7b7856fe9bf82927e4fc179bf0a 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -1297,6 +1297,11 @@ public class DisjointAnalysis {
     case FKind.FlatSESEEnterNode:
       sese = (FlatSESEEnterNode) fn;
 
+      if( sese.getIsCallerSESEplaceholder() ) {
+        // ignore these dummy rblocks!
+        break;
+      }
+
       if( doEffectsAnalysis && fmContaining != fmAnalysisEntry ) {
         
         // always remove ALL stall site taints at enter

diff --git a/Robust/src/Tests/disjoint/taintTest1/test.java b/Robust/src/Tests/disjoint/taintTest1/test.java
index 13fc494b383bc25dc9e6db3669b43c30599d274b..814e2307e6416d9e5ad535828388cc92856542b7 100644 (file)
--- a/Robust/src/Tests/disjoint/taintTest1/test.java
+++ b/Robust/src/Tests/disjoint/taintTest1/test.java
@@ -13,6 +13,13 @@ public class Test {
     Foo b = new Foo();
 
     rblock r1 {
+
+      rblock c2 {
+        Foo k = a.g;
+      }
+      
+      a.f = new Foo();
+
       Foo x = doSomething( a, b );
 
       // 1 - STALL
@@ -24,6 +31,7 @@ public class Test {
   static Foo doSomething( Foo a, Foo b ) {
 
     Foo z = new Foo();
+    a.g = z;
 
     rblock c1 {
       z.g = new Foo();
@@ -31,7 +39,7 @@ public class Test {
 
     // 1 (this line commented)
     // 2 (STALL HERE!)
-    //z.g = b;
+    z.g = b;
 
     return z;
   }