]> andersk Git - splint.git/blob - test/blocks.c
noexpand always false.
[splint.git] / test / blocks.c
1 int f (int x)
2 {
3   if (x > 3) ;
4   while (x < 2) ;
5
6   if (x > 3) x++;
7   while (x < 2) x++;
8
9   if (x > 3) { x++; }
10   while (x < 2) { x++; }
11
12   for (; x < 2; x++) ;
13   for (; x < 2; x++) x++;
14
15   if (x == 0) { x = 3; }
16   else if (x == 1) { x = 4; }
17
18   if (x == 0) { x = 3; }
19   else x = 4;
20
21   if (x == 0) ;
22   else ;
23
24   return x;
25 }
This page took 0.041911 seconds and 5 git commands to generate.