reames added a comment. In http://reviews.llvm.org/D12771#243656, @majnemer wrote: > Can't a readonly, argmemonly function trap? Absolutely. But that's not an aliasing property. That's handled by isGuaranteedToExecute. http://reviews.llvm.org/D12771