checkin a crash fix so yonghun can run on benchmarks while I keep wokring on reachability

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 07552410834b4e25064cf14eb45eb046169f64f2..188c6d75538f2c3d2eb5d40490a44f3d67924fcf 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -2848,12 +2848,22 @@ public class ReachGraph {
               assert id2hrn.containsKey( rtOld.getHrnID() );
               B = boldBic.get( rtOld.getHrnID() ); 
             }
-              
-           ReachSet boldB_rtOld_incident = B.get( incidentEdge );
-           if( boldB_rtOld_incident != null &&
-               boldB_rtOld_incident.contains( stateOld ) ) {
-             foundState = true;
-           }
+            /*
+            if( B == null ) {
+              try {
+                writeGraph( "glob", true, false, false, false, true, true );  
+              } catch( IOException e ) {}
+              System.out.println( " need B for "+rtOld );
+            }
+            */
+
+            if( B != null ) {            
+              ReachSet boldB_rtOld_incident = B.get( incidentEdge );
+              if( boldB_rtOld_incident != null &&
+                  boldB_rtOld_incident.contains( stateOld ) ) {
+                foundState = true;
+              }
+            }
          }
           
          if( !foundState ) {