realized strong updates has incorrect conditions, made comment to fix, will do this...

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 95c7c4f0a247ad8c8d4c54ec6e47d5f51fbad8ed..3af151cec76a0cfcc7e9620c8e0e6af34394b345 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -427,6 +427,13 @@ public class OwnershipGraph {
        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() &&