From: jjenista <jjenista>
Date: Mon, 27 Oct 2008 23:16:57 +0000 (+0000)
Subject: realized strong updates has incorrect conditions, made comment to fix, will do this... 
X-Git-Tag: buildscript^7~66
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cd8786dd8b05191b9b568e0f754832be42b0fa94;p=IRC.git

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 95c7c4f0..3af151ce 100644
--- 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() &&