[PATCH] D139295: [Coroutines] Don't mark the parameter attribute of resume function as noalias

[John McCall via Phabricator via llvm-commits]

rjmccall added a comment.

I don't know what you mean about GEPs violating `noalias`.  As I understand it, `noalias` is like `restrict`; it says that it can be assumed that nothing aliases the parameter except pointers derived from it.  GEPs derive pointers in a way that is explicitly permitted under that.


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

https://reviews.llvm.org/D139295