[PATCH] D70714: [Attributor] Deduce dereferenceable based on accessed bytes map

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D70714#1760179 <https://reviews.llvm.org/D70714#1760179>, @spatel wrote:

> There's also a question about whether this proposed Attributor functionality obsoletes: 
>  D37579 <https://reviews.llvm.org/D37579>


Not in it's present state, no.
There's an upcoming RFC from @jdoerfert that will be aiming to improve that problem.


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

https://reviews.llvm.org/D70714