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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added reviewers: xbolva00, dtemirbulatov.
spatel added a comment.

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


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

https://reviews.llvm.org/D70714