]> andersk Git - splint.git/blame - test/decl.expect
Made allocations involving sizeof work correctly (test/malloc.c).
[splint.git] / test / decl.expect
CommitLineData
885824d3 1
2decl.c: (in function main)
3decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
4decl.c:8:2: Path with no return in function declared to return int
5
11db3170 6Finished checking --- 2 code warnings, as expected
885824d3 7
8decl.c:3:5: Function main declared without parameter list
9decl.c: (in function main)
10decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
11decl.c:8:2: Path with no return in function declared to return int
6317f163 12decl.c: (in function foo1)
13decl.c:13:3: Likely out-of-bounds store: buf[10]
14 Unable to resolve constraint:
15 requires 9 >= 10
16 needed to satisfy precondition:
17 requires maxSet(buf @ decl.c:13:3) >= 10
885824d3 18decl.c:1:5: Function test declared but not defined
19decl.c:1:5: Function test exported but not declared in header file
20
6317f163 21Finished checking --- 6 code warnings, as expected
885824d3 22
23decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers
24 are not identical in variable declarations): int *
25 decl2.h:3:12: Previous declaration of glob2: int []
26decl2.c:4:5: Variable glob2 redefined
27 decl2.c:3:6: Previous definition of glob2
28decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char
29 decl2.h:4:12: Previous declaration of glob3: int
30decl2.c:9:5: Variable glob redefined
31 decl2.c:8:5: Previous definition of glob
32
11db3170 33Finished checking --- 4 code warnings, as expected
This page took 0.070666 seconds and 5 git commands to generate.