]> andersk Git - splint.git/blame - test/break.expect
noexpand always false.
[splint.git] / test / break.expect
CommitLineData
885824d3 1
2break.c: (in function f)
3break.c:12:4: Break preceded by loopbreak is breaking a switch
4break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
5 modified by test or loop body.
6break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
7 modified by test or loop body.
8break.c:34:24: Break preceded by innerbreak is not in a deep loop
9
11db3170 10Finished checking --- 4 code warnings, as expected
885824d3 11
12break.c: (in function f)
13break.c:12:4: Break preceded by loopbreak is breaking a switch
14break.c:14:4: Break statement in switch inside loop
15break.c:21:8: Break statement in nested loop
16break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
17 modified by test or loop body.
18break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
19 modified by test or loop body.
20break.c:34:24: Break preceded by innerbreak is not in a deep loop
21
11db3170 22Finished checking --- 6 code warnings, as expected
885824d3 23
24break.c: (in function f)
25break.c:12:4: Break preceded by loopbreak is breaking a switch
26break.c:14:4: Break statement in switch inside loop
27break.c:17:14: Suspected infinite loop. No value used in loop test (x) is
28 modified by test or loop body.
29break.c:3:10: Suspected infinite loop. No value used in loop test (x) is
30 modified by test or loop body.
31break.c:34:24: Break preceded by innerbreak is not in a deep loop
32
11db3170 33Finished checking --- 5 code warnings, as expected
This page took 0.666893 seconds and 5 git commands to generate.