2 /* { dg-options "--param allow-store-data-races=0" } */
3 /* { dg-final { simulate-thread } } */
6 #include "../../gcc.dg/simulate-thread/simulate-thread.h"
8 /* Store into <c> should not clobber <d>. */
18 static int global = 0;
20 void simulate_thread_other_threads()
26 int simulate_thread_step_verify()
30 printf("FAIL: invalid intermediate result\n");
36 int simulate_thread_final_verify()
40 printf("FAIL: invalid final result\n");
46 __attribute__((noinline))
47 void update_c(struct bits *p, int val)
52 __attribute__((noinline))
53 void simulate_thread_main()
60 simulate_thread_main();
61 simulate_thread_done();