[Bug c++/98646] [11 Regression] A static_cast confuses -Wnonnull, causing false positives

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

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

--- Comment #14 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <mse...@gcc.gnu.org>:

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

commit r11-6900-gd6f1cf644c45b76a27b6a6869dedaa030e3c7570
Author: Martin Sebor <mse...@redhat.com>
Date:   Mon Jan 25 12:41:28 2021 -0700

    PR c++/98646 - spurious -Wnonnull calling a member on the result of
static_cast

    gcc/c-family/ChangeLog:

            PR c++/98646
            * c-common.c (check_nonnull_arg): Adjust warning text.

    gcc/cp/ChangeLog:

            PR c++/98646
            * cvt.c (cp_fold_convert): Propagate TREE_NO_WARNING.

    gcc/ChangeLog:

            PR c++/98646
            * tree-ssa-ccp.c (pass_post_ipa_warn::execute): Adjust warning
text.

    gcc/testsuite/ChangeLog:

            PR c++/98646
            * g++.dg/warn/Wnonnull5.C: Adjust text of an expected warning.
            * g++.dg/warn/Wnonnull10.C: New test.
            * g++.dg/warn/Wnonnull9.C: New test.