1 /* { dg-do run } */
2 /* { dg-additional-options "-fallow-store-data-races" } */
3 
4 static int x = 1;
5 static volatile int y = -1;
6 int
main()7 main()
8 {
9   for (int i = 0; i < 128; ++i)
10     {
11       if (i == y)
12 	x = i;
13     }
14   if (x != 1)
15     __builtin_abort ();
16   return 0;
17 }
18