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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: test/Verifier/dereferenceable-md.ll:91
+  ret i8* %ptr
+}
+; CHECK-NOT: dereferenceable, dereferenceable_or_null apply only to load instructions, use attributes for calls or invokes
----------------
And all other tests as well, e.g., a positive test (not here), wrong type, wrong number of operands, etc.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D64954