[Bug c/112428] Wnonnull outputs wrong type

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112428

Andrew Pinski  changed:

   What|Removed |Added

   Target Milestone|--- |14.0

[Bug c/112428] Wnonnull outputs wrong type

[uecker at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112428

uecker at gcc dot gnu.org changed:

   What|Removed |Added

 CC||uecker at gcc dot gnu.org
 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

--- Comment #2 from uecker at gcc dot gnu.org ---
Fixed on trunk because the specific incorrect warning version is removed and
replaced by the more generic but correct version using the nonnull attribute.

[Bug c/112428] Wnonnull outputs wrong type

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112428

--- Comment #1 from CVS Commits  ---
The master branch has been updated by Martin Uecker :

https://gcc.gnu.org/g:c58b426d64ac2513dc0ed19165740604e891e9df

commit r14-5353-gc58b426d64ac2513dc0ed19165740604e891e9df
Author: Martin Uecker 
Date:   Thu Jul 27 13:41:33 2023 +0200

c: Synthesize nonnull attribute for parameters declared with static
[PR110815]

Parameters declared with `static` are nonnull. We synthesize
an artifical nonnull attribute for such parameters to get the
same warnings and optimizations.

Bootstrapped and regression tested on x86.

PR c/110815
PR c/112428

gcc/c-family:
* c-attribs.cc (build_attr_access_from_parms): Synthesize
nonnull attribute for parameters declared with `static`.

gcc:
* gimple-ssa-warn-access.cc
(pass_waccess::maybe_check_access_sizes):
remove warning for parameters declared with `static`.

gcc/testsuite:
* gcc.dg/Wnonnull-8.c: Adapt test.
* gcc.dg/Wnonnull-9.c: New test.