case 3 of definite reach, all coded but has bugs because test case does the messy...

[IRC.git] / Robust / src / Tests / disjoint / definite3 / test.java

diff --git a/Robust/src/Tests/disjoint/definite3/test.java b/Robust/src/Tests/disjoint/definite3/test.java
new file mode 100644 (file)
index 0000000..e332422
--- /dev/null
+++ b/Robust/src/Tests/disjoint/definite3/test.java
@@ -0,0 +1,56 @@
+public class Foo {
+  public Foo f;
+  public Foo g;
+}
+
+public class Test {
+
+  
+
+  static public void main( String args[] ) {
+
+    Foo a = getFlagged();
+    Foo b = getUnflagged();
+    a.f = b;
+
+    // a is flagged and b is reachable from
+    // at most one object from that site
+    gendefreach z0;
+    genreach z0;
+
+    Foo c = new Foo();
+    a.g = c;
+
+    Foo t = getFlagged();
+    t = getFlagged();
+
+    Foo u = getUnflagged();
+    u = getUnflagged();
+
+    // a is flagged and b is reachable from
+    // at most one object from that site, even
+    // though a and b are summarized now.  a
+    // has a reference to a new object c
+    gendefreach z1;
+    genreach z1;
+
+    c.f = b;
+
+    // if we had definite reachability analysis
+    // we would realize b is already reachable
+    // from a
+    gendefreach z3;
+    genreach z3;
+
+    System.out.println( " "+a+b+c );
+  }
+
+  static public Foo getFlagged() {
+    return disjoint jupiter new Foo();
+  }
+
+  static public Foo getUnflagged() {
+    return new Foo();
+  }
+
+}