[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