projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3b418ba
)
I erroneously added this sanity check and wondered why I see the output without crash...
author
jjenista
<jjenista>
Thu, 7 Aug 2008 22:49:53 +0000
(22:49 +0000)
committer
jjenista
<jjenista>
Thu, 7 Aug 2008 22:49:53 +0000
(22:49 +0000)
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
patch
|
blob
|
history
diff --git
a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index a955920e176e8bd1531cd6ca01681cd862eea581..96693ecc013cc3bd4bb74ef35791fb337ffbbce2 100644
(file)
--- 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
// 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<HeapRegionNode> possibleCallerSrcs =
getHRNSetThatPossiblyMapToCalleeHRN( ogCallee,
idCallee,
HashSet<HeapRegionNode> possibleCallerSrcs =
getHRNSetThatPossiblyMapToCalleeHRN( ogCallee,
idCallee,