Hi!
I'd like to ping the
https://gcc.gnu.org/pipermail/gcc-patches/2024-November/668699.html
patch.
The patches it depended on are already committed and there is a patch
which depends on this (the builtins shift from nonnull to nonnull_if_nonzero
where needed) which has been approved but can't be committed.
Thanks
> 2024-11-14 Jakub Jelinek <ja...@redhat.com>
>
> PR c/117023
> gcc/analyzer/
> * sm-malloc.cc (malloc_state_machine::on_stmt): Handle
> also nonnull_if_nonzero attributes.
> gcc/testsuite/
> * c-c++-common/analyzer/call-summaries-malloc.c
> (test_use_without_check): Pass 4 rather than sz to memset.
> * c-c++-common/analyzer/strncpy-1.c (test_null_dst,
> test_null_src): Pass 42 rather than count to strncpy.
Jakub
