[llvm] [LangRef] Spell out alias attribute/metadata violations are UB. (PR #116220)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 14 08:35:54 PST 2024


================
@@ -6936,9 +6938,9 @@ does not carry useful data and need not be preserved.
 noalias memory-access sets. This means that some collection of memory access
 instructions (loads, stores, memory-accessing calls, etc.) that carry
 ``noalias`` metadata can specifically be specified not to alias with some other
-collection of memory access instructions that carry ``alias.scope`` metadata.
-Each type of metadata specifies a list of scopes where each scope has an id and
-a domain.
+collection of memory access instructions that carry ``alias.scope`` metadata. If
+accesses from different collections alias, the behaivor is undefined. Each type
----------------
fhahn wrote:

Should be fixed, thanks!

https://github.com/llvm/llvm-project/pull/116220


More information about the llvm-commits mailing list