================ @@ -7611,17 +7611,32 @@ subset of (or equal to) the set of scopes for that domain in another instruction's `noalias` list, then the two memory accesses are assumed not to alias. +If a domain is declared as having disjoint scopes, two memory accesses are +assumed not to alias if the they both have entries for that domain in their ---------------- brunodf-gf wrote:
Typo: "the they" https://github.com/llvm/llvm-project/pull/218768 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
