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:23:16: Storage x is released
  15 cases2.c: (in function f3)
  16 cases2.c:37:5: Variable x is released in one possible execution, but live in
  17                   other possible execution.
  18    cases2.c:36:16: Storage x is released
  19
  20 Finished checking --- 2 code warnings, as expected
  21
  22 cases2.c: (in function f2)
  23 cases2.c:26:5: Variable x is released in one possible execution, but live in
  24                   other possible execution.
  25    cases2.c:23:16: Storage x is released
  26 cases2.c: (in function f3)
  27 cases2.c:37:5: Variable x is released in one possible execution, but live in
  28                   other possible execution.
  29    cases2.c:36:16: Storage x is released
  30 cases2.c:1:24: Function g declared but not defined
  31
  32 Finished checking --- 3 code warnings, as expected
  33
  34 cases2.c: (in function f2)
  35 cases2.c:28:12: Variable x used after being released
  36    cases2.c:23:16: Storage x released
  37 cases2.c: (in function f3)
  38 cases2.c:39:12: Variable x used after being released
  39    cases2.c:36:16: Storage x released
  40 cases2.c:1:24: Function g declared but not defined
  41
  42 Finished checking --- 3 code warnings, as expected