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

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 46d96efae9237d54788f11d0bbdddf1da051c119..1cf43fb17488e4a401fb97939d7ce2e6fc7d9a94 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -6406,8 +6406,8 @@ uvinfo_free (/*@only@*/ uvinfo u)
 {
   /*drl7x added 6/29/01 */
   /*free null terminated stuff */
-
-  free(u->bufinfo);
+  /*@i22*/
+  //  free(u->bufinfo);
   sfree (u);
 }