gcc/testsuite/gcc.c-torture/execute/980526-1.c

   1 /* { dg-require-effective-target label_values } */
   2
   3 void abort (void);
   4 void exit (int);
   5
   6 int expect_do1 = 1, expect_do2 = 2;
   7
   8 static int doit(int x){
   9   __label__ lbl1;
  10   __label__ lbl2;
  11   static int jtab_init = 0;
  12   static void *jtab[2];
  13
  14   if(!jtab_init) {
  15     jtab[0] = &&lbl1;
  16     jtab[1] = &&lbl2;
  17     jtab_init = 1;
  18   }
  19   goto *jtab[x];
  20 lbl1:
  21   return 1;
  22 lbl2:
  23   return 2;
  24 }
  25
  26 static void do1(void) {
  27   if (doit(0) != expect_do1)
  28     abort ();
  29 }
  30
  31 static void do2(void){
  32   if (doit(1) != expect_do2)
  33     abort ();
  34 }
  35
  36 int main(void){
  37   exit(0);
  38 }