From: bdemsky <bdemsky>
Date: Wed, 6 Apr 2011 23:33:51 +0000 (+0000)
Subject: D2 bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=53f9c16531fe921289b231ae175eda12fca41ee3;p=IRC.git

D2 bug
---

diff --git a/Robust/src/Analysis/Pointer/BasicBlock.java b/Robust/src/Analysis/Pointer/BasicBlock.java
index 6e78ce62..c7f03a82 100644
--- a/Robust/src/Analysis/Pointer/BasicBlock.java
+++ b/Robust/src/Analysis/Pointer/BasicBlock.java
@@ -86,7 +86,7 @@ public class BasicBlock {
 	  break;
 	}
 	fn=pm.getNext(fn,0);
-	if (fn.numPrev()>1) {
+	if (pm.numPrev(fn)>1) {
 	  //new basic block
 	  if (!map.containsKey(fn)) {
 	    BBlock newb=new BBlock();