On Wed, Dec 18, 2024 at 12:15:15PM +0100, Jakub Jelinek wrote:
> 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.
Ping.
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
