On 09/06/2012 11:44 AM, Aldy Hernandez wrote:
The current test is failing on some architectures because the
underlying gimple has changed. I believe the best way to test the
speculative store data race is with the simulate-thread/ harness. We
already have a speculative store test in the harness, so this will be
a nice addition.
I have manually inspected that we are performing the speculative store
without --param allow-store-data-races=0, and avoiding it with =1.
Yeah, the test case looks good.
Andrew