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

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

In D64258#1759021 <https://reviews.llvm.org/D64258#1759021>, @jdoerfert wrote:

> Attributor catches some of the cases but it doesn't create the access map (see `getArgToOffsetsMap`). @uenoku is that correct?


Right. I'll try to create the access map.


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

https://reviews.llvm.org/D64258