1 /*@exits@*/ void f (void)
6 x++; /* 1. Unreachable code */
21 return; /* 2. Unreachable code */
24 y++; /* 3. Unreachable code: no longer reported because of previous error. */
33 case 3: z++; return z; z--; /* 4. Unreachable code */
34 case 4: /* 5. Fall through case */
45 z++; /* 6. Unreachable code */