]> andersk Git - splint.git/blame - test/innerarray.expect
noexpand always false.
[splint.git] / test / innerarray.expect
CommitLineData
f9e62f40 1
2innerarray.c: (in function fn)
3innerarray.c:4:12: Parameter arr not used
4innerarray.c:9:13: Function parameter arr is incomplete type (inner array must
5 have bounds): int [10][]
6innerarray.c: (in function fn2)
7innerarray.c:9:13: Parameter arr not used
8innerarray.c:14:13: Function parameter arr is incomplete type (inner array must
9 have bounds): int [][]
10innerarray.c: (in function fn3)
11innerarray.c:14:13: Parameter arr not used
12innerarray.c: (in function fn4)
13innerarray.c:19:13: Parameter arr not used
14innerarray.c:24:13: Function parameter arr is incomplete type (inner array must
15 have bounds): int [][10][][4]
16innerarray.c: (in function fn5)
17innerarray.c:24:13: Parameter arr not used
18innerarray.c: (in function main)
19innerarray.c:33:13: Passed storage array not completely defined (*array is
20 undefined): fn (array)
21innerarray.c:32:7: Variable array2 declared but not used
22
23Finished checking --- 10 code warnings, as expected
This page took 0.196339 seconds and 5 git commands to generate.