From: yeom <yeom>
Date: Tue, 16 Mar 2010 21:17:15 +0000 (+0000)
Subject: bug fix.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d33379c45bf57fa24b13faef30ae03b91f96eae2;p=IRC.git

bug fix.
---

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 9fa0c5ad..bd5c3928 100644
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -1204,6 +1204,8 @@ private AllocSite createParameterAllocSite(ReachGraph rg, TempDescriptor tempDes
 	as.setIthOldest(i, id);
 	mapHrnIdToAllocSite.put(id, as);
     }
+    // the oldest node is a summary node
+    as.setSummary( generateUniqueHeapRegionNodeID() );
     
     rg.age(as);
     
@@ -1277,6 +1279,7 @@ private ReachGraph createInitialTaskReachGraph(FlatMethod fm) {
 		    
 		    AllocSite allocSite;
 		    if(type.equals(paramTypeDesc)){
+		    //corresponding allocsite has already been created for a parameter variable.
 			allocSite=as;
 		    }else{
 			allocSite = createParameterAllocSite(rg, td);
@@ -1284,7 +1287,7 @@ private ReachGraph createInitialTaskReachGraph(FlatMethod fm) {
 		    String strDesc = allocSite.toStringForDOT()
 			+ "\\nsummary";
 		    HeapRegionNode hrnSummary = 
-			rg.createNewHeapRegionNode(null, // id or null to generate a new one
+			rg.createNewHeapRegionNode(allocSite.getSummary(), // id or null to generate a new one
 						   false, // single object?
 						   true, // summary?
 						   false, // flagged?
@@ -1346,7 +1349,7 @@ private ReachGraph createInitialTaskReachGraph(FlatMethod fm) {
 	    }	    
 	}	    
     }	
-    //debugSnapshot(rg, fm, true);
+//    debugSnapshot(rg, fm, true);
     return rg;
 }