http://llvm.org/bugs/show_bug.cgi?id=22514
soham <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|INVALID |--- --- Comment #2 from soham <[email protected]> --- In the source program x = 1 => x.store(1,std::memory_order_seq_cst) and x == 1 => x.load(std::memory_order_seq_cst) == 1 The R_sc(X,1) in readA() reads-from W_sc(X,1) in writeA() which results in synchronization and W_na(a,42) happens-before R_na(a,42) and thus synchronized. If (x==1) test fails then W(x) and R(x) is not synchronized and in that case R_na(a) does not take place. Thus the source program is race free. -- You are receiving this mail because: You are on the CC list for the bug.
_______________________________________________ LLVMbugs mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
