]> andersk Git - splint.git/blob - test/tests2.4/bug2.c
Initial revision
[splint.git] / test / tests2.4 / bug2.c
1 int main () {
2   int i = 1;
3
4   switch (i) {
5     printf ("here 1"); /* should complain about this! */
6   case 1:
7     printf ("here 2");
8     while (i < 2) {
9       printf ("here 3");
10     case 2:      
11       printf ("here 4");
12       i++;
13       printf ("here 5");
14     }
15     printf ("here 6");
16   case 3:
17     printf ("here 7");
18     i++;
19   }
20 }
This page took 0.032192 seconds and 5 git commands to generate.