[PATCH] D20764: Reduce dependence on pointee types when deducing dereferenceability

[Artur Pilipenko via llvm-commits]

apilipenko accepted this revision.
apilipenko added a comment.
This revision is now accepted and ready to land.

LGTM. As I mentioned, since we don't support opaque types here, we don't need isPointerDereferenceable. Corresponding logic should be moved to getPointerDereferenceableBytes.


http://reviews.llvm.org/D20764