changes to build script to increase java heap memory

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

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java b/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
index 1e03e52cbf3aebf706f19fdf09824b633e662e57..03aedb9b8b7e8536c0f2ddf58b613a95ddbe4054 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java
@@ -41,7 +41,7 @@ task Startup( StartupObject s{ initialstate } ) {
     taskexit( s{ !initialstate } );
 }
 
-/*
+
 task aliasFromObjectAssignment
     ( Parameter p1{!w}, Parameter p2{!w} ) {
     
@@ -103,9 +103,7 @@ task possibleAliasConditional
 
     taskexit( p1{w}, p2{w} );
 }
-*/
 
-/*
 task bunchOfPaths
     ( Parameter p1{!w}, Parameter p2{!w} ) {
 
@@ -138,9 +136,7 @@ task bunchOfPaths
 
     taskexit( p1{w}, p2{w} );
 }
-*/
 
-/*
 task literalTest( Parameter p1{!w} ) {
     Parameter x = null;
     int y = 5;
@@ -177,4 +173,29 @@ task newPossibleAlias
 
     taskexit( p1{w}, p2{w} );
 }
-*/
\ No newline at end of file
+
+task NoAliasNewInLoop( Voo v{ f } ) {
+
+    for( int i = 0; i < 10; ++i ) {
+       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 } );
+}