[PATCH] D17611: NFC. Introduce Value::isPointerDereferenceable

[Artur Pilipenko via llvm-commits]

apilipenko added inline comments.

================
Comment at: lib/IR/Value.cpp:556
@@ -555,1 +555,3 @@
 
+bool Value::isPointerDereferenceable(bool &CanBeNull) const {
+  assert(getType()->isPointerTy() && "must be pointer");
----------------
majnemer wrote:
> I'd expect this to call isDereferenceableFromAttribute.
Can you elaborate? isDereferenceableFromAttribute is an internal function in Loads.cpp, while this is a public API to get inherent property of the value.


http://reviews.llvm.org/D17611