set temp descriptor for a waiting element.

diff --git a/Robust/src/Analysis/MLP/ConflictGraph.java b/Robust/src/Analysis/MLP/ConflictGraph.java
index 2520b8413dad92378bb30fa6911b22104d4a6ac8..bb67390d4ad6885a4145fee2e82658d4de27ef4c 100644 (file)
--- 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);