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

Wed Aug 14 09:50:47 PDT 2019

xbolva00 added a comment.

In D66161#1629559 <https://reviews.llvm.org/D66161#1629559>, @reames wrote:

> I have no problem with this patch (i.e. it can land if Johannes approves)
>
> A conceptual point worth mentioning is that seems to essentially be inferring non-null for the intrinsics in question.  We have a nonnull attribute on params and nonnull + deref_or_null should already be converted to deref.  (If not, we should fix that.)  It might be worth thinking about how to leverage the more generic code.

Next step (https://reviews.llvm.org/D53342) :)

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

https://reviews.llvm.org/D66161