2 /* { dg-options "--param allow-store-data-races=0" } */
3 /* { dg-final { simulate-thread } } */
8 #include "simulate-thread.h"
11 /* Test that speculative stores do not happen for --param
12 allow-store-data-races=0. */
16 __attribute__((noinline))
17 void simulate_thread_main()
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)
30 simulate_thread_main ();
31 simulate_thread_done ();
35 void simulate_thread_other_threads ()
41 int simulate_thread_step_verify ()
46 int simulate_thread_final_verify ()
50 printf("FAIL: g_13 was incorrectly cached\n");