an example showing empty reach state propagation that we considered for CC submission...
[IRC.git] / Robust / src / Tests / disjoint / worstCaseRecursive / test.java
1 public class Foo {
2   public Foo() {}
3   public Foo f;
4 }
5
6 public class Test {
7   static public void main( String[] args ) {
8     Foo a = new Foo();
9     f1( a );
10   }
11    
12   static public void f1( Foo b ) {
13     Foo c = new Foo();
14     b.f = c;
15     f1( c );
16   }
17 }