[PATCH] D63044: [LangRef] Clarify poison semantics

Nuno Lopes via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Jun 9 02:53:48 PDT 2019


nlopes added a comment.

Sounds great!  Just 1 comment inline.



================
Comment at: llvm/docs/LangRef.rst:3275
+Additionally, undefined behavior occurs if a side effect, including any
+:ref:`volatile <volatile>` operation, depends on poison.
 
----------------
This implies that doing a volatile store of a poison to memory is UB. Is this intended? I don't know of a use case that requires such behavior.


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63044/new/

https://reviews.llvm.org/D63044





More information about the llvm-commits mailing list