[PATCH] D66161: [SLC] Dereferenceable annonation - handle valid null pointers

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I like it. We don't loose information and it should be always correct. @reames, still concerned?


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

https://reviews.llvm.org/D66161