[LLVMbugs] [Bug 22514] Wrong transformation due to semantic gap between C11 and LLVM semantics

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Mon Feb 9 11:19:21 PST 2015


Richard Smith <richard-llvm at metafoo.co.uk> changed:

           What    |Removed                     |Added
             Status|REOPENED                    |RESOLVED
                 CC|                            |richard-llvm at metafoo.co.uk
         Resolution|---                         |INVALID

--- Comment #3 from Richard Smith <richard-llvm at metafoo.co.uk> ---
(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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150209/0f06c04c/attachment.html>

More information about the llvm-bugs mailing list