[PATCH] D61652: [LangRef][Attr] Clarify dereferenceable(_in_scope)

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D61652#1540764 <https://reviews.llvm.org/D61652#1540764>, @jdoerfert wrote:

> I'm working on all the remaining changes now and I'll update this patch with the mechanics first before I create a new one to move the users. 
>  We can wait with committing both until we merged the `nofree` and `nosync` patches and I updated the `isDerefPointer` helper function to use them.
>  Would that be OK?


Absolutely.  That's exactly what I'm asking for.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D61652