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
       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  }