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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to