1 /* { dg-do run } */
2 /* { dg-options "-O2 -fno-tree-vrp" } */
3 
4 extern void abort (void);
5 
main()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 }
23