[PATCH] D64954: [IR][Verifier] Allow IntToPtrInst to be !dereferenceable

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle added a comment.

Thanks! Could you please also add a test to Analysis/ValueTracking/memory-dereferenceable.ll?



================
Comment at: docs/LangRef.rst:8622
 attribute on parameters and return values. This metadata can only be applied
-to loads of a pointer type.
+to a pointer type.
 
----------------
Propose a change of the wording here to: `This metadata can only be applied to certain instructions producing a pointer value.`

After all, the metadata is not applied to the type itself. Same goes in the next paragraph.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D64954