From 9219cffeff4156a18c3202f5f89b4850aa0c6798 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 9 Apr 2010 17:56:36 +0000
Subject: [PATCH] set temp descriptor for a waiting element.

---
 Robust/src/Analysis/MLP/ConflictGraph.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/MLP/ConflictGraph.java b/Robust/src/Analysis/MLP/ConflictGraph.java
index 2520b841..bb67390d 100644
--- a/Robust/src/Analysis/MLP/ConflictGraph.java
+++ b/Robust/src/Analysis/MLP/ConflictGraph.java
@@ -908,7 +908,9 @@ public class ConflictGraph {
 									newElement.setWaitingID(seseLock.getID());
 									newElement.setStatus(seseLock.getNodeType(liveInNode));
 									if(isFineElement(newElement.getStatus())){
-										newElement.setDynID(node.getTempDescriptor().toString());
+									    // for fine waiting element, set temp descriptor to handle unresolved pointer case.
+									        newElement.setDynID(node.getTempDescriptor().toString());
+										newElement.setTempDesc(node.getTempDescriptor());
 									}
 									if(!waitingElementSet.contains(newElement)){
 										waitingElementSet.add(newElement);
-- 
2.34.1