Properly use transitive closure of allocation sites when resolving

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test01 / test01.java

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
index 161abb190b6d3a3b157684d6dc696b98b38d0d38..9349ccca2697c0d917b1126dbe11aedf2901ff54 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
@@ -26,7 +26,7 @@ public class Voo {
 }
 
 public class Baw {
-    flag g; int y;
+    int y;
     Foo f;
 
     public Baw() {}
@@ -50,14 +50,6 @@ public class Foo {
 // look for the parameter s as a label referencing
 // a heap region that is multi-object, flagged, not summary
 task Startup( StartupObject s{ initialstate } ) {
- 
-    /*
-    Foo a = new Foo();
-    Foo b = new Foo();
-    Foo c = new Foo();
-    
-    c.ruinSomeFoos( a, b );
-    */
 
     while( false ) {
        Foo a = new Foo();
@@ -68,7 +60,7 @@ task Startup( StartupObject s{ initialstate } ) {
     taskexit( s{ !initialstate } );
 }
 
-/*
+
 
 // this task allocates a new object, so there should
 // be a heap region for the parameter, and several
@@ -99,16 +91,29 @@ task Branch( Voo v{ f } ) {
 
 
 task NoAliasNewInLoop( Voo v{ f } ) {
-    Voo w = new Voo();
 
     for( int i = 0; i < 10; ++i ) {
-       w.b = new Baw();
+       Voo w = new Voo();
+       w.b   = new Baw();
        w.b.f = new Foo();
     }
 
     taskexit( v{ !f } );
 }
 
+task NoAliasNewInLoopAnotherWay( Voo v{ f } ) {
+
+    for( int i = 0; i < 10; ++i ) {
+       Voo w = new Voo();
+       Baw b = new Baw();
+       Foo f = new Foo();
+
+       w.b = b;
+       b.f = f;
+    }
+
+    taskexit( v{ !f } );
+}
 
 task ClobberInitParamReflex( Voo v{ f }, Voo w{ f } ) {
     v.b = v.bb;
@@ -116,4 +121,3 @@ task ClobberInitParamReflex( Voo v{ f }, Voo w{ f } ) {
     taskexit( v{ !f }, w{ !f } );
 }
 
-*/