On Tue, Jan 07, 2025 at 01:49:04PM +0100, Jakub Jelinek wrote:
> 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.
Ping again.
> 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
