From 01df16e076809cdc5c8ff53b17e3178e5a91ccf8 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 5 Nov 2010 17:45:17 +0000
Subject: [PATCH] head pointer might be NULL, as is checked a few lines down,
 so add another clause to if

---
 Robust/src/Runtime/mlp_runtime.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/mlp_runtime.c b/Robust/src/Runtime/mlp_runtime.c
index ddf0a70e..2adeb1d1 100644
--- a/Robust/src/Runtime/mlp_runtime.c
+++ b/Robust/src/Runtime/mlp_runtime.c
@@ -978,7 +978,9 @@ void resolvePointer(REntry* rentry){
     val=(struct Queue*)0x1;
     val=(struct Queue*)LOCKXCHG((unsigned INTPTR*)&(table->unresolvedQueue), (unsigned INTPTR)val);
   } while(val==(struct Queue*)0x1); 
-  if(val!=NULL && getHead(val)->objectptr==rentry){
+  if(val!=NULL && 
+     getHead(val)!=NULL &&
+     getHead(val)->objectptr==rentry){
     // handling pointer is the first item of the queue
     // start to resolve until it reaches unresolved pointer or end of queue
     INTPTR currentSESE=0;
-- 
2.34.1