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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to