From 6c1f54c2fb1a9e704086eba9e6f01af38ecebec2 Mon Sep 17 00:00:00 2001 From: jjenista Date: Wed, 7 Apr 2010 18:11:32 +0000 Subject: [PATCH] just improved some output --- Robust/src/Analysis/Disjoint/ReachGraph.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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 ) ) { -- 2.34.1