[PATCH] D48239: [LangRef] Clarify meaning of "dereferencable" attribute/metadata.

[Richard Smith - zygoloid via Phabricator via llvm-commits]

rsmith added a comment.

> There's an alternative model where "dereferenceable" only applies at the point of the call/load. That might be more generally useful? But it doesn't match the implementation of Value::getPointerDereferenceableBytes.

Would it be feasible (and still useful to the optimizer) to add an annotation providing the alternative semantics? Most of the places where Clang emits this annotation mean only "dereferenceable at the point of call", not "dereferenceable for the duration of the function".


Repository:
  rL LLVM

https://reviews.llvm.org/D48239