test/unreachable.expect

   1
   2 unreachable.c: (in function f)
   3 unreachable.c:6:4: Unreachable code: x++
   4 unreachable.c: (in function tu)
   5 unreachable.c:21:7: Unreachable code: return
   6 unreachable.c: (in function s)
   7 unreachable.c:33:29: Unreachable code: z--
   8 unreachable.c:34:10: Fall through case (no preceding break)
   9 unreachable.c:45:4: Unreachable code: z++
  10
  11 Finished checking --- 5 code warnings, as expected
  12
  13 unreachable.c: (in function s)
  14 unreachable.c:34:10: Fall through case (no preceding break)
  15 unreachable.c:46:2: Path with no return in function declared to return int
  16
  17 Finished checking --- 2 code warnings, as expected
  18
  19 switch.c: (in function f3)
  20 switch.c:31:2: Path with no return in function declared to return int
  21 switch.c: (in function f5)
  22 switch.c:49:6: Missing case in switch: THREE
  23 switch.c:50:2: Path with no return in function declared to return int
  24 switch.c: (in function f6)
  25 switch.c:70:2: Path with no return in function declared to return int
  26
  27 Finished checking --- 4 code warnings, as expected