From: jjenista <jjenista>
Date: Fri, 5 Nov 2010 17:45:17 +0000 (+0000)
Subject: head pointer might be NULL, as is checked a few lines down, so add another clause... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=01df16e076809cdc5c8ff53b17e3178e5a91ccf8;p=IRC.git

head pointer might be NULL, as is checked a few lines down, so add another clause to if
---

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;