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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D66161#1628077 <https://reviews.llvm.org/D66161#1628077>, @xbolva00 wrote:

> I think this should be safe now.


`if (!F->nullPointerIsDefined(AS))` is what I was expecting.

And a test is missing.


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

https://reviews.llvm.org/D66161