[PATCH] D34188: Don't check side effects for functions outside of SCoP

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

mayReadOrWriteMemory() just checks for the "readnone" attribute (http://llvm.org/docs/LangRef.html#function-attributes).  If it's set, LLVM knows the call can't read from or write to memory; if it isn't set, the call might write to memory, so mayReadOrWriteMemory() conservatively returns true.


Repository:
  rL LLVM

https://reviews.llvm.org/D34188