test/cases.expect

   1
   2 cases.c: (in function f)
   3 cases.c:12:10: Fall through case (no preceding break)
   4 cases.c:13:11: Variable i used before definition
   5 cases.c:30:10: Fall through case (no preceding break)
   6 cases.c:37:13: Fall through case (no preceding break)
   7 cases.c:40:2: Path with no return in function declared to return int
   8
   9 Finished checking --- 5 code warnings, as expected
  10
  11 cases2.c: (in function f2)
  12 cases2.c:26:5: Variable x is released in one possible execution, but live in
  13                   other possible execution.
  14    cases2.c:26:5: in one possible execution:
  15    cases2.c:23:16: Storage x released
  16 cases2.c: (in function f3)
  17 cases2.c:37:5: Variable x is released in one possible execution, but live in
  18                   other possible execution.
  19    cases2.c:37:5: in one possible execution:
  20    cases2.c:36:16: Storage x released
  21
  22 Finished checking --- 2 code warnings, as expected
  23
  24 cases2.c: (in function f2)
  25 cases2.c:26:5: Variable x is released in one possible execution, but live in
  26                   other possible execution.
  27    cases2.c:26:5: in one possible execution:
  28    cases2.c:23:16: Storage x released
  29 cases2.c: (in function f3)
  30 cases2.c:37:5: Variable x is released in one possible execution, but live in
  31                   other possible execution.
  32    cases2.c:37:5: in one possible execution:
  33    cases2.c:36:16: Storage x released
  34 cases2.c:1:24: Function g declared but not defined
  35
  36 Finished checking --- 3 code warnings, as expected
  37
  38 cases2.c: (in function f2)
  39 cases2.c:28:12: Variable x used after being released
  40    cases2.c:23:16: Storage x released
  41 cases2.c: (in function f3)
  42 cases2.c:39:12: Variable x used after being released
  43    cases2.c:36:16: Storage x released
  44 cases2.c:1:24: Function g declared but not defined
  45
  46 Finished checking --- 3 code warnings, as expected