Fixed problem with handleing oldsytle function declarations.

[splint.git] / src / cstring.c

diff --git a/src/cstring.c b/src/cstring.c
index 04fa8a299c9d642ff4b7d198678b5e026e9463ab..987e58b470408185f37c191e2b134b8188d83c1d 100644 (file)
--- a/src/cstring.c
+++ b/src/cstring.c
@@ -513,6 +513,9 @@ void cstring_free (/*@only@*/ cstring s)
 {
   if (cstring_isDefined (s)) 
     {
+      /*drl 2/3/2002*/
+      s[0] = '\0';
+      
       sfree (s);
     }
 }