]> andersk Git - splint.git/blob - test/controldepth.c
noexpand always false.
[splint.git] / test / controldepth.c
1 void 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.037124 seconds and 5 git commands to generate.