[PATCH] D115615: [MemCpyOpt] Make capture check during call slot optimization more precise

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Hm, I did think of one concerning case.  What about well defined synchronization inside the callee?  I think your change is still correct since the capture can't outlive the call (i.e. the callee must arrange for the other thread to be done working with storage before returning), but that point is a bit subtle.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115615