gcc/testsuite/gcc.dg/torture/pr90553.c

   1 /* { dg-do run } */
   2
   3 __attribute__((__noipa__))
   4 void f1(int x, void (*p1 []) (int, int))
   5 {
   6   int i;
   7   for (i = 0; i < x; i++)
   8     p1[i](42, 666);
   9 }
  10
  11 int z1_called = 0;
  12 int w1_called = 0;
  13
  14 __attribute__((__noipa__))
  15 void z1(int a, int b)
  16 {
  17   if (w1_called || z1_called)
  18     __builtin_abort();
  19   z1_called++;
  20 }
  21
  22 __attribute__((__noipa__))
  23 void w1(int a, int b)
  24 {
  25   if (w1_called || !z1_called)
  26     __builtin_abort();
  27   w1_called++;
  28 }
  29
  30 int z2_called = 0;
  31 int w2_called = 0;
  32
  33 __attribute__((__noipa__))
  34 void z2(void)
  35 {
  36   if (w2_called || z2_called)
  37     __builtin_abort();
  38   z2_called++;
  39 }
  40
  41 __attribute__((__noipa__))
  42 void w2(void)
  43 {
  44   if (w2_called || !z2_called)
  45     __builtin_abort();
  46   w2_called++;
  47 }
  48
  49 void (*p2 []) () = { w2, z2 };
  50
  51 __attribute__((__noipa__))
  52 void f2(int x)
  53 {
  54   void (**q) (void) = p2 + x;
  55   int i;
  56   for (i = 0; i < x; i++)
  57     (*(--q))();
  58 }
  59
  60 __attribute__((__noipa__))
  61 void f3(int x, int (*p3 []) (int))
  62 {
  63   int i;
  64   int next = x;
  65   for (i = 0; i < x; i++)
  66     next = p3[i](next);
  67 }
  68
  69 int z3_called = 0;
  70 int w3_called = 0;
  71
  72 __attribute__((__noipa__))
  73 int z3(int a)
  74 {
  75   if (w3_called || z3_called || a != 2)
  76     __builtin_abort();
  77   z3_called++;
  78   return 42;
  79 }
  80
  81 __attribute__((__noipa__))
  82 int w3(int a)
  83 {
  84   if (w3_called || !z3_called || a != 42)
  85     __builtin_abort();
  86   w3_called++;
  87   return 4096;
  88 }
  89
  90 int (*p4 []) (int) = { z3, w3 };
  91
  92 __attribute__((__noipa__))
  93 void f4(int x)
  94 {
  95   int (**q) (int) = p4;
  96   int (**r) (int) = p4 + x;
  97
  98   int next = x;
  99   for (; q < r; q++)
 100     next = (*q)(next);
 101 }
 102
 103 int main(void)
 104 {
 105   static int (*p3 []) (int) = { z3, w3 };
 106
 107   static void (*p1 []) (int, int) = { z1, w1 };
 108
 109   f1(2, p1);
 110   if (z1_called != 1 || w1_called != 1)
 111     __builtin_abort();
 112
 113   f2(2);
 114   if (z2_called != 1 || w2_called != 1)
 115     __builtin_abort();
 116
 117   f3(2, p3);
 118   if (z3_called != 1 || w3_called != 1)
 119     __builtin_abort();
 120
 121   z3_called = 0;
 122   w3_called = 0;
 123   f4(2);
 124   if (z3_called != 1 || w3_called != 1)
 125     __builtin_abort();
 126
 127   __builtin_exit(0);
 128 }