From: jjenista <jjenista>
Date: Wed, 7 Apr 2010 18:11:32 +0000 (+0000)
Subject: just improved some output
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6c1f54c2fb1a9e704086eba9e6f01af38ecebec2;p=IRC.git

just improved some output
---

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index e6b531fc..860cc2a4 100644
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -2449,7 +2449,10 @@ public class ReachGraph {
 	// see what type variable we are assigning it to
 	if( !isSuperiorType( returnTemp.getType(), reCallee.getType() ) ) {
 	  System.out.println( "*** NOT EXPECTING TO SEE THIS: Throwing out "+
-                              reCallee+" for return temp "+returnTemp );
+                              reCallee+
+                              " for return temp "+returnTemp+
+                              " of type "+returnTemp.getType() 
+                              );
 	  // prune
 	  continue;
 	}	
@@ -4101,7 +4104,8 @@ public class ReachGraph {
         // not every node at an allocation is referenced
         // (think of it as garbage-collected), etc.
         if( !pruneGarbage        ||
-            hrn.isOutOfContext()
+            hrn.isOutOfContext() ||
+            (hrn.isFlagged() && hrn.getID() > 0 && !hrn.isWiped()) // a non-shadow flagged node
             ) {
           
           if( !visited.contains( hrn ) ) {