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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@ChuanqiXu Your first function already contains:

  store i32 42, ptr %__promise.reload.addr.i.i, align 8, !tbaa !3, !alias.scope !18
  store ptr null, ptr %.reload.addr, align 8, !alias.scope !18
  %1 = load ptr, ptr %0, align 8
  musttail call fastcc void %1(ptr nonnull %0) #5, !noalias !18

which says that the store and the call don't alias. I don't think the `noalias` argument on the function would even matter in that case. The incorrect noalias metadata must be introduced at some earlier point already.


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

https://reviews.llvm.org/D139295