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

[splint.git] / test / decl.expect

diff --git a/test/decl.expect b/test/decl.expect
index ede7398a905c91ff5f7e029f947db1e57e05d4b7..2dcbe24fcffe514e9bd4b94ca9ba7cdf40e42d7f 100644 (file)
--- a/test/decl.expect
+++ b/test/decl.expect
@@ -3,16 +3,22 @@ decl.c: (in function main)
 decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
 decl.c:8:2: Path with no return in function declared to return int
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 decl.c:3:5: Function main declared without parameter list
 decl.c: (in function main)
 decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
 decl.c:8:2: Path with no return in function declared to return int
+decl.c: (in function foo1)
+decl.c:13:3: Likely out-of-bounds store: buf[10]
+    Unable to resolve constraint:
+    requires 9 >= 10
+     needed to satisfy precondition:
+    requires maxSet(buf @ decl.c:13:3) >= 10
 decl.c:1:5: Function test declared but not defined
 decl.c:1:5: Function test exported but not declared in header file
 
-Finished LCLint checking --- 5 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers
                 are not identical in variable declarations): int *
@@ -24,4 +30,4 @@ decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char
 decl2.c:9:5: Variable glob redefined
    decl2.c:8:5: Previous definition of glob
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected