[PATCH] D89645: [InferAttrs] Add nocapture/writeonly to string/mem libcalls

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

FWIW, we should make "nocapture-maybe-return" an enum attribute, the Attributor uses that internally and can also put it in the IR if you are interested. It's quite helpful for capture analysis as we can simplify follow the return value, and therefore for aliasing.


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

https://reviews.llvm.org/D89645