gcc/testsuite/gcc.dg/pr41454.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 -fno-tree-vrp" } */
   3
   4 extern void abort (void);
   5
   6 int main ()
   7 {
   8   int BM_tab2[0400];
   9   int *BM_tab = BM_tab2;
  10   int *BM_tab_base;
  11
  12   BM_tab_base = BM_tab;
  13   BM_tab += 0400;
  14   while (BM_tab_base != BM_tab)
  15     {
  16       *--BM_tab = 6;
  17       *--BM_tab = 6;
  18     }
  19   if (BM_tab2[0] != 6)
  20     abort ();
  21   return 0;
  22 }