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