From 33ab300094e87f3c9bc839e2cb022bddbd8bc303 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 15 Mar 2011 10:45:12 +0000
Subject: [PATCH] bug fix...can now analyze specjbb...~44,000 lines of source
 code files in 42 seconds...

---
 Robust/src/Analysis/Pointer/Pointer.java | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index abc70f9b..fcff4a50 100644
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -130,7 +130,7 @@ public class Pointer {
     }
 
     //DEBUG
-    if (true) {
+    if (false) {
       int debugindex=0;
       for(Map.Entry<BBlock, Graph> e:bbgraphMap.entrySet()) {
 	Graph g=e.getValue();
@@ -944,9 +944,11 @@ public class Pointer {
       if (e.dst==singleNode) {
 	//Need to get original edge so that predicate will be correct
 	Edge match=graph.getMatch(e);
-	Edge rewrite=match.rewrite(singleNode, summaryNode);
-	newDelta.removeEdge(match);
-	mergeCallEdge(graph, newDelta, rewrite);
+	if (match!=null) {
+	  Edge rewrite=match.rewrite(singleNode, summaryNode);
+	  newDelta.removeEdge(match);
+	  mergeCallEdge(graph, newDelta, rewrite);
+	}
       }
     }
   }
-- 
2.34.1