Don't try calling lsl when file is missing.
[splint-patched.git] / test / cases.c
blob7e0c011467cd697bf06b0ae7ebf7131558bd7878
1 extern int g(int x);
3 int f(int j)
5 int i;
7 switch (j)
9 case 3: /* okay */
10 i = g(j);
11 printf("3");
12 case 4: /* 2. Fall through case (no preceeding break) */
13 if (i == 3) /* 1. Variable i used before definition */
15 printf("hullo");
16 return 3;
18 else
20 printf("yabba");
21 break;
23 case 5: /* okay */
24 i = g(j++);
25 while (i < 3)
27 i++;
28 if (j == 4) break;
30 case 6: /* 3. Fall through case (no preceeding break) */
31 printf("high");
32 return 3;
33 case 7: /* okay */
34 case 8: /* okay */
35 case 9:
36 printf("nope");
37 default: /* 4. Fall through case (no preceeding break) */
38 printf("splat");
40 } /* 5. Path with no return in function declared to return int */