diff options
| author | Martin Sebor <msebor@redhat.com> | 2020-07-31 10:27:33 -0600 |
|---|---|---|
| committer | Martin Sebor <msebor@redhat.com> | 2020-07-31 10:27:33 -0600 |
| commit | df5cf47a978aaeb53fc2b18ff0b22eb4531a27d8 (patch) | |
| tree | 7a00548585cab2802e93e64d5924e4d2d178b52e /gcc/c-family/c-common.c | |
| parent | 4143efc1eed44050201b20c78d0206bc266e30c4 (diff) | |
| download | gcc-df5cf47a978aaeb53fc2b18ff0b22eb4531a27d8.tar.gz | |
Set and test no-warning bit to avoid -Wnonnull for synthesized expressions.
Resolves:
PR c++/96003 spurious -Wnonnull calling a member on the result of static_cast
gcc/c-family/ChangeLog:
PR c++/96003
* c-common.c (check_function_arguments_recurse): Return early when
no-warning bit is set.
gcc/cp/ChangeLog:
PR c++/96003
* class.c (build_base_path): Set no-warning bit on the synthesized
conditional expression in static_cast.
gcc/testsuite/ChangeLog:
PR c++/96003
* g++.dg/warn/Wnonnull7.C: New test.
Diffstat (limited to 'gcc/c-family/c-common.c')
| -rw-r--r-- | gcc/c-family/c-common.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c index b97539c0c2a..96ed2334863 100644 --- a/gcc/c-family/c-common.c +++ b/gcc/c-family/c-common.c @@ -5822,6 +5822,9 @@ check_function_arguments_recurse (void (*callback) void *ctx, tree param, unsigned HOST_WIDE_INT param_num) { + if (TREE_NO_WARNING (param)) + return; + if (CONVERT_EXPR_P (param) && (TYPE_PRECISION (TREE_TYPE (param)) == TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (param, 0))))) |