Improve warning suppression for inlined functions.
authorMartin Sebor <msebor@redhat.com>
Tue, 6 Jul 2021 19:41:02 +0000 (13:41 -0600)
committerMartin Sebor <msebor@redhat.com>
Tue, 6 Jul 2021 19:43:11 +0000 (13:43 -0600)
commit6d3bab5d5adb3e28ddb16c97b0831efdea23cf7d
treee01626f7d19dbd576102341cc414accad07f4fbb
parent03b634c8e0d3e8628ced79fc4f40873e12a3039c
Improve warning suppression for inlined functions.

Resolves:
PR middle-end/98871 - Cannot silence -Wmaybe-uninitialized at declaration site
PR middle-end/98512 - #pragma GCC diagnostic ignored ineffective in conjunction with alias attribute

gcc/ChangeLog:

* builtins.c (warn_string_no_nul): Remove %G.
(maybe_warn_for_bound): Same.
(warn_for_access): Same.
(check_access): Same.
(check_strncat_sizes): Same.
(expand_builtin_strncat): Same.
(expand_builtin_strncmp): Same.
(expand_builtin): Same.
(expand_builtin_object_size): Same.
(warn_dealloc_offset): Same.
(maybe_emit_free_warning): Same.
* calls.c (maybe_warn_alloc_args_overflow): Same.
(maybe_warn_nonstring_arg): Same.
(maybe_warn_rdwr_sizes): Same.
* expr.c (expand_expr_real_1): Remove %K.
* gimple-fold.c (gimple_fold_builtin_strncpy): Remove %G.
(gimple_fold_builtin_strncat): Same.
* gimple-ssa-sprintf.c (format_directive): Same.
(handle_printf_call): Same.
* gimple-ssa-warn-alloca.c (pass_walloca::execute): Same.
* gimple-ssa-warn-restrict.c (maybe_diag_overlap): Same.
(maybe_diag_access_bounds): Same.  Call gimple_location.
(check_bounds_or_overlap): Same.
* trans-mem.c (ipa_tm_scan_irr_block): Remove %K.  Simplify.
* tree-ssa-ccp.c (pass_post_ipa_warn::execute): Remove %G.
* tree-ssa-strlen.c (maybe_warn_overflow): Same.
(maybe_diag_stxncpy_trunc): Same.
(handle_builtin_stxncpy_strncat): Same.
(maybe_warn_pointless_strcmp): Same.
* tree-ssa-uninit.c (maybe_warn_operand): Same.

gcc/testsuite/ChangeLog:

* gcc.dg/Wobjsize-1.c: Prune expected output.
* gcc.dg/Warray-bounds-71.c: New test.
* gcc.dg/Warray-bounds-71.h: New test header.
* gcc.dg/Warray-bounds-72.c: New test.
* gcc.dg/Warray-bounds-73.c: New test.
* gcc.dg/Warray-bounds-74.c: New test.
* gcc.dg/Warray-bounds-75.c: New test.
* gcc.dg/Wfree-nonheap-object-4.c: Adjust expected output.
* gcc.dg/Wfree-nonheap-object-5.c: New test.
* gcc.dg/Wfree-nonheap-object-6.c: New test.
* gcc.dg/pragma-diag-10.c: New test.
* gcc.dg/pragma-diag-9.c: New test.
* gcc.dg/uninit-suppress_3.c: New test.
* gcc.dg/pr79214.c: Xfail tests.
* gcc.dg/tree-ssa/builtin-sprintf-warn-27.c: New test.
* gcc.dg/format/c90-printf-1.c: Adjust expected output.
27 files changed:
gcc/builtins.c
gcc/calls.c
gcc/expr.c
gcc/gimple-fold.c
gcc/gimple-ssa-sprintf.c
gcc/gimple-ssa-warn-alloca.c
gcc/gimple-ssa-warn-restrict.c
gcc/testsuite/gcc.dg/Warray-bounds-71.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-71.h [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-72.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-73.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-74.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-75.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wfree-nonheap-object-4.c
gcc/testsuite/gcc.dg/Wfree-nonheap-object-5.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wfree-nonheap-object-6.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wobjsize-1.c
gcc/testsuite/gcc.dg/format/c90-printf-1.c
gcc/testsuite/gcc.dg/pr79214.c
gcc/testsuite/gcc.dg/pragma-diag-10.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pragma-diag-9.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-27.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-suppress_3.c [new file with mode: 0644]
gcc/trans-mem.c
gcc/tree-ssa-ccp.c
gcc/tree-ssa-strlen.c
gcc/tree-ssa-uninit.c