]> andersk Git - splint.git/blame - test/controldepth.c
noexpand always false.
[splint.git] / test / controldepth.c
CommitLineData
885824d3 1void f (int x, int y)
2{
3 if (x > y)
4 { /* depth = 1 */
5 { /* still, depth = 1 */
6 while (x > 3)
7 /* depth = 2 */
8 if (y == 2) /* depth = 3 */
9 x++;
10
11 if (y == 2)
12 x++; /* depth = 2 */
13 else
14 { /* depth = 2 */
15 if (y == 4) /* depth = 3 */
16 {
17 x++;
18 }
19 else
20 {
21 y++;
22 }
23 }
24 }
25 }
26}
This page took 0.062885 seconds and 5 git commands to generate.