projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
make sure strong updates do not affect benchmark results, currently
[IRC.git]
/
Robust
/
src
/
Analysis
/
OwnershipAnalysis
/
OwnershipGraph.java
diff --git
a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 3af151cec76a0cfcc7e9620c8e0e6af34394b345..95c7c4f0a247ad8c8d4c54ec6e47d5f51fbad8ed 100644
(file)
--- a/
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@
-427,13
+427,6
@@
public class OwnershipGraph {
ReferenceEdge edgeY = itrYhrn.next();
HeapRegionNode hrnY = edgeY.getDst();
ReferenceEdge edgeY = itrYhrn.next();
HeapRegionNode hrnY = edgeY.getDst();
-
-
- // THIS IS WRONG!!!! It doesn't always have to be a single object
- // heap region, not when there is only one reference into the source
- // heap region (I think!) CHECK AND CHANGE!
-
-
// we can do a strong update here if one of two cases holds
if( f != null &&
hrnX.isSingleObject() &&
// we can do a strong update here if one of two cases holds
if( f != null &&
hrnX.isSingleObject() &&