]> andersk Git - splint.git/blame - test/ud.expect
noexpand always false.
[splint.git] / test / ud.expect
CommitLineData
885824d3 1
2ud.c: (in function f)
3ud.c:8:7: Variable y used before definition
4ud.c:10:7: Variable z used before definition
5ud.c:25:7: Variable z3 used before definition
6ud.c:26:7: Variable z4 used before definition
7ud.c:31:7: Variable z6 used before definition
8ud.c:38:11: Variable j used before definition
9ud.c:49:6: Variable i used before definition
10ud.c:50:6: Variable z5 used before definition
11ud.c:56:7: Variable z5 used before definition
12
11db3170 13Finished checking --- 9 code warnings, as expected
885824d3 14
15ud2.c: (in function g)
80ee600a 16ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y
885824d3 17ud2.c: (in function h)
80ee600a 18ud2.c:20:7: Passed storage &x not completely defined: f2 (&x)
885824d3 19ud2.c:23:7: Variable y used before definition
20
11db3170 21Finished checking --- 3 code warnings, as expected
This page took 0.474737 seconds and 5 git commands to generate.