efriedma added a comment. In D74935#1886020 <https://reviews.llvm.org/D74935#1886020>, @nhaehnle wrote:
> 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. > > [...] This isn't equivalent. If the memory location is modified, we want to forbid both reads and writes that aren't based on the noalias pointer. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D74935/new/ https://reviews.llvm.org/D74935 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
