[llvm-bugs] [Bug 42435] New: LangRef NonAtomic documentation incomplete w.r.t volatile and write-write races

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=42435

            Bug ID: 42435
           Summary: LangRef NonAtomic documentation incomplete w.r.t
                    volatile and write-write races
           Product: Documentation
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: General docs
          Assignee: unassignedbugs at nondot.org
          Reporter: gonzalobg88 at gmail.com
                CC: llvm-bugs at lists.llvm.org

The Lang ref mentions here (https://llvm.org/docs/Atomics.html#notatomic) that
when there is a data-race, loads return undef. 

What if the load is volatile? Does it also return undef ?

Does this mean that the write that participates in the race does not invoke
undefined behavior?

What happens with write-write races? What if the NonAtomic writes involved are
volatile?

-- 
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/20190628/977b577c/attachment.html>