[PATCH] D77722: [analyzer] Do not report NSError null dereference for _Nonnull params

Wed Apr 8 07:34:22 PDT 2020

NoQ added a comment.

In D77722#1969391 <https://reviews.llvm.org/D77722#1969391>, @Szelethus wrote:

> Wait, we don't already assume `nonnull` attributed parameters as, well, not null? That's crazy.

That's only for the top frame. For nested stack frames we're not only assuming they're not null, we're also emitting a warning when they're null. But, yeah, it's clearly an unfortunate omission.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77722