| /* Test that tablejump insns are correctly handled. If the compiler |
| loses track of the jump targets, it will report that x and y can be |
| used uninitialized. |
| |
| This is broken in egcs 1998/10/06 for mips in pic mode. */ |
| /* { dg-do assemble } */ |
| /* For MIPS at least, pic is needed to trigger the problem. */ |
| /* { dg-options "-w -Wuninitialized -Werror -fpic" } */ |
| /* { dg-options "-w -Wuninitialized -Werror" { target { { rs6000-*-aix* powerpc*-*-aix* arm*-*-* fr30-*-* sh-*-hms h8300*-*-* cris-*-elf* mmix-*-* } || { ! fpic } } } } */ |
| /* { dg-require-effective-target label_values } */ |
| |
| int foo (int a, int b) |
| { |
| __label__ z; |
| int x; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */ |
| int y; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */ |
| static void *p; |
| |
| switch (a) { |
| case 2: |
| x = 4; |
| break; |
| case 4: |
| x = 6; |
| break; |
| case 8: case 10: case 13: case 11: case 17: case 19: |
| x = 7; |
| break; |
| default: |
| x = -1; |
| break; |
| } |
| switch (b) { |
| case 2: |
| y = 4; |
| break; |
| case 4: |
| y = 6; |
| break; |
| case 8: case 10: case 13: case 11: case 17: case 19: |
| y = 7; |
| break; |
| default: |
| y = -1; |
| break; |
| } |
| z: |
| p = &&z; |
| return x * y; |
| } |
| int main (int argc, char *argv[]) |
| { |
| return 1 == foo (argc, argc + 1); |
| } |