bug2.c:6:8: Fall through case (no preceding break)
bug2.c:10:10: Fall through case (no preceding break)
bug2.c:16:8: Fall through case (no preceding break)
-bug2.c:5:5: Statement after switch is not a case: printf("here 1")
+bug2.c:5:5: Statement after switch is not a case: printf("here 1");
bug2.c:20:2: Path with no return in function declared to return int
Finished checking --- 5 code warnings, as expected