two methods for generating a reach graph at any desired program point, one is a dummy...

[IRC.git] / Robust / src / Analysis / Disjoint / PointerMethod.java

diff --git a/Robust/src/Analysis/Disjoint/PointerMethod.java b/Robust/src/Analysis/Disjoint/PointerMethod.java
index 396474d3c2f9199bcf0179891171ef202eafba6d..c3625e942bf6ff58a72cb09654d3ab69f478f81d 100644 (file)
--- a/Robust/src/Analysis/Disjoint/PointerMethod.java
+++ b/Robust/src/Analysis/Disjoint/PointerMethod.java
@@ -97,6 +97,7 @@ public class PointerMethod {
     case FKind.FlatBackEdge:
     case FKind.FlatSESEEnterNode:
     case FKind.FlatSESEExitNode:
+    case FKind.FlatGenReachNode:
       return true;
     case FKind.FlatCastNode:
       FlatCastNode fcn=(FlatCastNode)fn;