+++ /dev/null
-void fail1(void)
-{
- abort ();
-}
-void fail2(void)
-{
- abort ();
-}
-void fail3(void)
-{
- abort ();
-}
-void fail4(void)
-{
- abort ();
-}
-
-
-void foo(long x)
-{
- switch (x)
- {
- case -6:
- fail1 (); break;
- case 0:
- fail2 (); break;
- case 1: case 2:
- break;
- case 3: case 4: case 5:
- fail3 ();
- break;
- default:
- fail4 ();
- break;
- }
- switch (x)
- {
-
- case -3:
- fail1 (); break;
- case 0: case 4:
- fail2 (); break;
- case 1: case 3:
- break;
- case 2: case 8:
- abort ();
- break;
- default:
- fail4 ();
- break;
- }
-}
-
-int main(void)
-{
- foo (1);
- exit (0);
-}