https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112428
--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Uecker <uec...@gcc.gnu.org>: https://gcc.gnu.org/g:c58b426d64ac2513dc0ed19165740604e891e9df commit r14-5353-gc58b426d64ac2513dc0ed19165740604e891e9df Author: Martin Uecker <uec...@tugraz.at> 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.