From cd8786dd8b05191b9b568e0f754832be42b0fa94 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 27 Oct 2008 23:16:57 +0000
Subject: [PATCH] realized strong updates has incorrect conditions, made
 comment to fix, will do this later

---
 Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java | 7 +++++++
 1 file changed, 7 insertions(+)

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() &&
-- 
2.34.1