http://llvm.org/bugs/show_bug.cgi?id=22514
Richard Smith <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED CC| |[email protected] Resolution|--- |INVALID --- Comment #3 from Richard Smith <[email protected]> --- (In reply to comment #2) > The R_sc(X,1) in readA() reads-from W_sc(X,1) in writeA() which results in > synchronization That is not correct; no synchronization happens here. > and W_na(a,42) happens-before R_na(a,42) No, there is no happens-before relation here. If you reopen this again, please provide an explanation of why you think there is a happens-before relation here, referencing the rules in [intro.multithread] in the C++ standard to justify the steps in your explanation. -- 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
