additional buffer checking annotations

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index 82d4526b0cd2ba9fecf673249560a0499dbf1264..51f1d67a3a90066098e5e04601528c23efe2af26 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -1032,10 +1032,8 @@ constraint constraint_undump (FILE *f)
 
   char *os;
 
-  s = mstring_create (MAX_DUMP_LINE_LENGTH);
+  os = mstring_create (MAX_DUMP_LINE_LENGTH);
 
-  os = s;
-  
   s = fgets(os, MAX_DUMP_LINE_LENGTH, f);
 
   /*@i33*/ /*this should probably be wrappered...*/