Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / controldepth.c
blob9f29001688237b05624ba0eed5e5e31f5e604aea
1 void f (int x, int y)
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++;
11 if (y == 2)
12 x++; /* depth = 2 */
13 else
14 { /* depth = 2 */
15 if (y == 4) /* depth = 3 */
17 x++;
19 else
21 y++;