1/* Test that tablejump insns are correctly handled.  If the compiler
2   loses track of the jump targets, it will report that x and y can be
3   used uninitialized.
4
5   This is broken in egcs 1998/10/06 for mips in pic mode.  */
6/* { dg-do assemble } */
7/* For MIPS at least, pic is needed to trigger the problem. */
8/* { dg-options "-w -Wuninitialized -Werror -fpic" } */
9/* { dg-options "-w -Wuninitialized -Werror" { target { { rs6000-*-aix* powerpc*-*-aix* arm*-*-* fr30-*-* sh-*-hms h8300*-*-* cris-*-elf* mmix-*-* } || { ! fpic } } } } */
10/* { dg-require-effective-target label_values } */
11
12int foo (int a, int b)
13{
14  __label__ z;
15  int x; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */
16  int y; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */
17  static void *p;
18
19  switch (a) {
20  case 2:
21    x = 4;
22    break;
23  case 4:
24    x = 6;
25    break;
26  case 8: case 10: case 13: case 11: case 17: case 19:
27    x = 7;
28    break;
29  default:
30    x = -1;
31    break;
32  }
33  switch (b) {
34  case 2:
35    y = 4;
36    break;
37  case 4:
38    y = 6;
39    break;
40  case 8: case 10: case 13: case 11: case 17: case 19:
41    y = 7;
42    break;
43  default:
44    y = -1;
45    break;
46  }
47 z:
48  p = &&z;
49  return x * y;
50}
51int main (int argc, char *argv[])
52{
53  return 1 == foo (argc, argc + 1);
54}
55