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

[Sanjoy Das via llvm-commits]

sanjoy added a subscriber: sanjoy.
sanjoy added a comment.

The overall idea seems reasonable, but isn't this increasing our dependence on pointee types?


http://reviews.llvm.org/D17611