Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / test / constannot.expect

diff --git a/test/constannot.expect b/test/constannot.expect
index d8670ce65806ddfe29bbb15f29e59187ce74844a..c0c2071df2135bf6c9c94f0e2d278fe4024e44ae 100644 (file)
--- a/test/constannot.expect
+++ b/test/constannot.expect
@@ -1,15 +1,17 @@
 
 constannot.c: (in function foo2)
-constannot.c:11:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : maxSet ((str @ constannot.c:11:3 ) )  >=  ( 20 ) 
+constannot.c:11:3: Possible out-of-bounds store: str[20]
+    Unable to resolve constraint:
+    requires maxSet(str @ constannot.c:11:3) >= 20
      needed to satisfy precondition:
-    requires: : maxSet ((str @ constannot.c:11:3 ) )  >=  ( 20 ) 
+    requires maxSet(str @ constannot.c:11:3) >= 20
 constannot.c: (in function foo3)
-constannot.c:20:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : (<const int=20> )   <=  ( 19 ) 
+constannot.c:20:3: Likely out-of-bounds store: foo(buf)
+    Unable to resolve constraint:
+    requires <const int=20> <= 19
      needed to satisfy precondition:
-    requires: : maxSet ((buf @ constannot.c:20:8 ) )  >=  (<const int=20> ) 
-     derived from foo precondition: requires: :
-    maxSet ((<parameter 1> ) )  >=  (<const int=20> ) 
+    requires maxSet(buf @ constannot.c:20:8) >= <const int=20>
+     derived from foo precondition: requires maxSet(<parameter 1>) >= <const
+    int=20>
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected