From f73557a180a842082fe7d706a084cca4a10be567 Mon Sep 17 00:00:00 2001 From: jjenista Date: Thu, 7 Aug 2008 22:49:53 +0000 Subject: [PATCH] I erroneously added this sanity check and wondered why I see the output without crashing the analysis. Actually, when an edge in the callee HRN1->HRN2 is being mapped into the caller, if HRN1 is a callee parameter object then it's ID will definitely not be in the caller already. And the method getHRNSetThatPossiblyMapToCalleeHRN() recognizes that and does the right thing already, so the sanity check was reporting a non-existent problem. --- .../Analysis/OwnershipAnalysis/OwnershipGraph.java | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java index a955920e..96693ecc 100644 --- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java +++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java @@ -937,17 +937,6 @@ public class OwnershipGraph { // So now make a set of possible source heaps in the caller graph // and a set of destination heaps in the caller graph, and make // a reference edge in the caller for every possible (src,dst) pair - if( !ogCallee.id2hrn.contains( idChildCallee ) ) { - System.out.println( "Houston, we got a problem." ); - System.out.println( "idCallee is "+idCallee ); - System.out.println( "idChildCallee is "+idChildCallee ); - - try { - writeGraph ( "caller", false, false, false, false ); - ogCallee.writeGraph( "callee", false, false, false, false ); - } catch( IOException e ) {} - } - HashSet possibleCallerSrcs = getHRNSetThatPossiblyMapToCalleeHRN( ogCallee, idCallee, -- 2.34.1