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  }