File: cases.c

package info (click to toggle)
splint 3.1.2.dfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, squeeze, wheezy
  • size: 12,908 kB
  • ctags: 15,816
  • sloc: ansic: 150,306; yacc: 3,463; sh: 3,426; makefile: 2,218; lex: 412
file content (41 lines) | stat: -rw-r--r-- 769 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
extern int g(int x);

int f(int j)
{
  int i;

  switch (j) 
    {
    case 3: /* okay */
      i = g(j);
      printf("3");
    case 4:  /* 2. Fall through case (no preceeding break) */
      if (i == 3) /* 1. Variable i used before definition */
	{
	  printf("hullo");
	  return 3;
	}
      else
	{
	  printf("yabba");
	  break;
	}
    case 5: /* okay */
      i = g(j++);
      while (i < 3)
	{
	  i++;
	  if (j == 4) break;
	}
    case 6: /* 3. Fall through case (no preceeding break) */
      printf("high");
      return 3;
    case 7: /* okay */
    case 8: /* okay */
    case 9:
      printf("nope");
    default: /* 4. Fall through case (no preceeding break) */
      printf("splat");
   }
} /* 5. Path with no return in function declared to return int */