Hi!
On Fri, Dec 06, 2024 at 05:07:40PM +0100, Jakub Jelinek wrote:
> 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.
Gentle ping on this one.
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
