diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c-family/c-common.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1z/launder9.C | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c index cfd12c0..aae1ddb 100644 --- a/gcc/c-family/c-common.c +++ b/gcc/c-family/c-common.c @@ -5815,7 +5815,7 @@ check_function_arguments_recurse (void (*callback) return; } - if (TREE_CODE (param) == CALL_EXPR) + if (TREE_CODE (param) == CALL_EXPR && CALL_EXPR_FN (param)) { tree type = TREE_TYPE (TREE_TYPE (CALL_EXPR_FN (param))); tree attrs; diff --git a/gcc/testsuite/g++.dg/cpp1z/launder9.C b/gcc/testsuite/g++.dg/cpp1z/launder9.C new file mode 100644 index 0000000..89d7ecf --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/launder9.C @@ -0,0 +1,11 @@ +// PR c++/95963 +// { dg-do compile } +// { dg-options "-Wnonnull" } + +struct A { virtual void foo (); }; + +void +bar (A *p) +{ + __builtin_launder (p)->foo (); +} |