[PATCH] D64258: [InferFuncAttributes] extend 'dereferenceable' attribute based on loads

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Quick update: I finally put the skeleton of what I wanted to use in the Attributor online: D64975 <https://reviews.llvm.org/D64975>. The bridge to the Attributor is still missing but the `dereferenceable` deduction and propagation part is already there: D64876 <https://reviews.llvm.org/D64876>


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

https://reviews.llvm.org/D64258