1 /* { dg-do run } */
2 /* { dg-options "-fpredictive-commoning" } */
3 
4 extern void abort (void);
5 int a[6] = { 0, 0, 0, 0, 7, 0 };
6 static int *p = &a[4];
7 
8 int
main()9 main ()
10 {
11   int i;
12   for (i = 0; i < 4; ++i)
13     {
14       a[i + 1] = a[i + 2] > i;
15       *p &= ~1;
16     }
17   if (a[4] != 0)
18     abort ();
19   return 0;
20 }
21