1  /* { dg-do link } */
       2  /* { dg-options "-fno-allow-store-data-races" } */
       3  /* { dg-final { simulate-thread } } */
       4  
       5  #include <stdio.h>
       6  #include <stdlib.h>
       7  
       8  #include "simulate-thread.h"
       9  
      10  /* PR 54139 */
      11  /* Test that speculative stores do not happen for --param
      12     allow-store-data-races=0.  */
      13  
      14  int g_13=1, insns=1;
      15  
      16  __attribute__((noinline))
      17  void simulate_thread_main()
      18  {
      19    int l_245;
      20  
      21    /* Since g_13 is unilaterally set positive above, there should be
      22       no store to g_13 below.  */
      23    for (l_245 = 0; l_245 <= 1; l_245 += 1)
      24      for (; g_13 <= 0; g_13 = 1)
      25        ;
      26  }
      27  
      28  int main()
      29  {
      30    simulate_thread_main ();
      31    simulate_thread_done ();
      32    return 0;
      33  }
      34  
      35  void simulate_thread_other_threads ()
      36  {
      37    ++g_13;
      38    ++insns;
      39  }
      40  
      41  int simulate_thread_step_verify ()
      42  {
      43    return 0;
      44  }
      45  
      46  int simulate_thread_final_verify ()
      47  {
      48    if (g_13 != insns)
      49      {
      50        printf("FAIL: g_13 was incorrectly cached\n");
      51        return 1;
      52      }
      53    return 0;
      54  }