Fixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index b73a1f059004a76063f758393b036e4a7843bef6..ee5fe0d1db9a0493a195d0c0c770684ff2afaf46 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -5872,7 +5872,14 @@ void sRef_free (/*@only@*/ sRef s)
       /*@i43@*/ /* valueTable_free (s->state); */
       sinfo_free (s);
       
-      /*@i32@*/ sfree (s); 
+      
+      /* drl added to help locate use after release*/
+      s->expinfo = stateInfo_undefined;
+      s->aliasinfo = stateInfo_undefined;
+      s->definfo = stateInfo_undefined;
+      s->nullinfo = stateInfo_undefined;
+
+      /*@i32@*/ sfree (s);
     }
 }