[PATCH] D74935: [LangRef][AliasAnalysis] Clarify `noalias` affects only modified objects

Nicolai Hähnle via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 21 01:53:21 PST 2020


nhaehnle added a comment.

I find this phrasing pretty confusing. How about the following:

> This indicates that objects accessed via pointer values based on the argument or return value are not **modified**, during the execution of the function, via pointer values not based on the argument or return value. The attribute on a return value also has additional semantics [...]

Does this exactly capture your intended meaning? If yes, can we please use that instead because it seems much clearer at least to me. If not, can you give an example for why it is different?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74935





More information about the cfe-commits mailing list