adding a test case

diff --git a/Robust/src/Tests/ssJava/memalloc/makefile b/Robust/src/Tests/ssJava/memalloc/makefile
new file mode 100644 (file)
index 0000000..b6d1119
--- /dev/null
+++ b/Robust/src/Tests/ssJava/memalloc/makefile
@@ -0,0 +1,26 @@
+BUILDSCRIPT=../../../buildscript
+
+PROGRAM=test
+SOURCE_FILES=test.java
+
+BSFLAGS= -32bit -ssjava -ssjavadebug -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -optimize -debug #-nooptimize #src-after-pp #-debug
+
+default: $(PROGRAM)s.bin
+
+$(PROGRAM)s.bin: $(SOURCE_FILES) makefile
+       $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES) 
+
+clean:
+       rm -f  $(PROGRAM)s.bin
+       rm -fr sing
+       rm -f tmp.c
+       rm -f  *~
+       rm -f  *.dot
+       rm -f  *.png
+       rm -f  *.txt
+       rm -f  aliases.txt
+       rm -f  mlpReport*txt
+       rm -f  results*txt
+       rm -f *log
+       rm -f coreprof.dat
+       rm -f trace.out

diff --git a/Robust/src/Tests/ssJava/memalloc/test.java b/Robust/src/Tests/ssJava/memalloc/test.java
new file mode 100644 (file)
index 0000000..2ec80c3
--- /dev/null
+++ b/Robust/src/Tests/ssJava/memalloc/test.java
@@ -0,0 +1,49 @@
+@LATTICE("L<M,M<H")
+@METHODDEFAULT("ML<MM,MM<MH,THISLOC=M,RETURNLOC=M")
+public class test {
+
+  @LOC("H")
+  Foo foo;
+
+  public static void main(@LOC("H") String args[]) {
+    @LOC("H") test t = new test();
+
+    SSJAVA: while (true) {
+      t.memAllocTest();
+    }
+
+  }
+
+  public void memAllocTest() {
+
+       @Loc("MH") Foo fooH=new Foo();  
+    for(int i=0;i<10;i++){
+       @Loc("MM") FooTemp=fooH;
+       fooM.v=50;
+    }
+    @Loc("ML") Foo fooL=fooM;
+    fooL.v=100;
+    
+  }
+
+}
+
+@LATTICE("L<M,M<H,H<C,C*,M*")
+@METHODDEFAULT("T")
+class Foo {
+  @LOC("H")
+  Bar bar1;
+  @LOC("H")
+  Bar bar2;
+  @LOC("H")
+  int v;
+}
+
+@LATTICE("L<M,M<H,H<C,C*,M*")
+@METHODDEFAULT("T")
+class Bar {
+  @LOC("M")
+  int v1;
+  @LOC("M")
+  int v2;
+}