def reach has to use PointerMethod to detect CFG edges that the analysis cares about

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

diff --git a/Robust/src/Tests/disjoint/definite/test.java b/Robust/src/Tests/disjoint/definite/test.java
index 5970eff5189c692518ca1f3639b8f167b81df45e..e3ef1b1fafb186e930b6be8a45b4c288608b39d4 100644 (file)
--- a/Robust/src/Tests/disjoint/definite/test.java
+++ b/Robust/src/Tests/disjoint/definite/test.java
@@ -18,10 +18,11 @@ public class Test {
 
     Foo z = x;
     while( false ) {
+      gendefreach QWQ2; 
       z = z.f;
     }
 
-    gendefreach QWQ2;
+    gendefreach QWQ3;
 
     /*
     gendefreach yn1;