From: jjenista <jjenista>
Date: Tue, 16 Mar 2010 17:12:43 +0000 (+0000)
Subject: checkin a crash fix so yonghun can run on benchmarks while I keep wokring on reachability
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=17a6bb5a6c4b8fa78b8681449c504bd1b9ec07e8;p=IRC.git

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 07552410..188c6d75 100644
--- 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 ) {