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

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1156
     non-null and non-dereferenceable (up to ``<n>`` bytes) at the same
     time. All non-null pointers tagged with
     ``dereferenceable_or_null(<n>)`` are ``dereferenceable(<n>)``.
----------------
hfinkel wrote:
> We also need to add the "at its definition" qualifier here?
Ignore this (old comment).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D61652