diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 12 | ||||
| -rw-r--r-- | gcc/cp/method.c | 10 | ||||
| -rw-r--r-- | gcc/cp/parser.c | 12 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/nsdmi15.C | 8 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/pr88987.C | 9 |
6 files changed, 57 insertions, 4 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 6344e4e..1ce758b 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,15 @@ +2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/89488 + * method.c (process_subob_fn): When maybe_instantiate_noexcept + returns false don't call merge_exception_specifiers. + +2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/88987 + * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE + for a non-constant parsed expression. + 2019-02-26 Jakub Jelinek <jakub@redhat.com> PR c++/89481 diff --git a/gcc/cp/method.c b/gcc/cp/method.c index 6e0df68..477d3271 100644 --- a/gcc/cp/method.c +++ b/gcc/cp/method.c @@ -1256,9 +1256,13 @@ process_subob_fn (tree fn, tree *spec_p, bool *trivial_p, if (spec_p) { - maybe_instantiate_noexcept (fn); - tree raises = TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn)); - *spec_p = merge_exception_specifiers (*spec_p, raises); + if (!maybe_instantiate_noexcept (fn)) + *spec_p = error_mark_node; + else + { + tree raises = TYPE_RAISES_EXCEPTIONS (TREE_TYPE (fn)); + *spec_p = merge_exception_specifiers (*spec_p, raises); + } } if (!trivial_fn_p (fn) && !dtor_from_ctor) diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index e976008..d9824e4 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -25143,7 +25143,17 @@ cp_parser_noexcept_specification_opt (cp_parser* parser, parser->type_definition_forbidden_message = G_("types may not be defined in an exception-specification"); - expr = cp_parser_constant_expression (parser); + bool non_constant_p; + expr + = cp_parser_constant_expression (parser, + /*allow_non_constant=*/true, + &non_constant_p); + if (non_constant_p + && !require_potential_rvalue_constant_expression (expr)) + { + expr = NULL_TREE; + return_cond = true; + } /* Restore the saved message. */ parser->type_definition_forbidden_message = saved_message; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 71ff3fa..2365a4f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,13 @@ +2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/89488 + * g++.dg/cpp0x/nsdmi15.C: New. + +2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/88987 + * g++.dg/cpp0x/pr88987.C: New. + 2019-02-27 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/89280 diff --git a/gcc/testsuite/g++.dg/cpp0x/nsdmi15.C b/gcc/testsuite/g++.dg/cpp0x/nsdmi15.C new file mode 100644 index 0000000..32bdad0 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/nsdmi15.C @@ -0,0 +1,8 @@ +// PR c++/89488 +// { dg-do compile { target c++11 } } + +struct zl { + struct { + int x2 = zl (); // { dg-error "default member" } + } fx; +}; diff --git a/gcc/testsuite/g++.dg/cpp0x/pr88987.C b/gcc/testsuite/g++.dg/cpp0x/pr88987.C new file mode 100644 index 0000000..c26b571 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/pr88987.C @@ -0,0 +1,9 @@ +// { dg-do compile { target c++11 } } + +int sm; + +template <typename T> T +pk () noexcept (sm) // { dg-error "constant expression" } +{ + return 0; +} |