10 static public void main( String args[] ) {
13 Foo y = getUnflagged();
30 Foo y = getUnflagged();
33 // x is flagged and y is reachable from
34 // at most one object from that site
41 // x is flagged and y is reachable from
42 // at most one object from that site, even
43 // though x is summarized now
49 // if we had definite reachability analysis
50 // we would realize y is already reachable
51 // from x, but we don't and x is summarized
52 // so we conservatively increase the arity
53 // of objects y is reachable from.
58 System.out.println( " "+x+y+z );
61 static public Foo getFlagged() {
62 return disjoint jupiter new Foo();
65 static public Foo getUnflagged() {