sdcc/support/regression/tests/gcc-torture-execute-pr24716.c

   1 /*
   2    pr24716.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 /* PR24716, scalar evolution returning the wrong result
  12    for pdest.  */
  13
  14 int Link[] = { -1 };
  15 int W[] = { 2 };
  16
  17 int f (int k, int p)
  18 {
  19   int pdest, j, D1361;
  20   j = 0;
  21   pdest = 0;
  22   for (;;) {
  23     if (pdest > 2)
  24       do
  25         j--, pdest++;
  26       while (j > 2);
  27
  28     if (j == 1)
  29       break;
  30
  31     while (pdest > p)
  32       if (j == p)
  33         pdest++;
  34
  35     do
  36       {
  37         D1361 = W[k];
  38         do
  39           if (D1361 != 0)
  40             pdest = 1, W[k] = D1361 = 0;
  41         while (p < 1);
  42     } while (k > 0);
  43
  44     do
  45       {
  46         p = 0;
  47         k = Link[k];
  48         while (p < j)
  49           if (k != -1)
  50             pdest++, p++;
  51       }
  52     while (k != -1);
  53     j = 1;
  54   }
  55
  56   /* The correct return value should be pdest (1 in the call from main).
  57      DOM3 is mistaken and propagates a 0 here.  */
  58   return pdest;
  59 }
  60
  61 void
  62 testTortureExecute (void)
  63 {
  64   if (!f (0, 2))
  65     ASSERT (0);
  66   return;
  67 }
  68