]> andersk Git - splint.git/blob - test/loopexec.expect
noexpand always false.
[splint.git] / test / loopexec.expect
1
2 loopexec.c: (in function g2)
3 loopexec.c:35:2: Out storage x not defined before return
4
5 Finished checking --- 1 code warning, as expected
6
7 loopexec.c: (in function g)
8 loopexec.c:13:2: Out storage x not defined before return
9 loopexec.c: (in function g1)
10 loopexec.c:24:2: Out storage x not defined before return
11 loopexec.c: (in function g2)
12 loopexec.c:35:2: Out storage x not defined before return
13
14 Finished checking --- 3 code warnings, as expected
This page took 0.042389 seconds and 5 git commands to generate.