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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D74935#1888506 <https://reviews.llvm.org/D74935#1888506>, @arsenm wrote:

> Another related point I’ve never been clear on is if a readnone function is allowed to read constant memory


Right, ... I basically did assume something for the Attributor readnone deduction but I am certain it is under-specified.
As far as I can tell, current behavior would suggest `readnone` *is allowed* to read constant memory.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74935