From fce6467b1ef93c162f955a10d9bdb2bfb2e12c1c Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 19 Nov 2019 22:28:22 +0100 Subject: [PATCH] re PR c++/92414 (internal compiler error: tree check: expected constructor, have error_mark in cxx_eval_store_expression, at cp/constexpr.c:4009) PR c++/92414 * constexpr.c (cxx_eval_outermost_constant_expr): If DECL_INITIAL on object is erroneous, return t without trying to evaluate a constexpr dtor. * g++.dg/cpp2a/constexpr-dtor4.C: New test. From-SVN: r278468 --- gcc/cp/ChangeLog | 7 +++++++ gcc/cp/constexpr.c | 2 ++ gcc/testsuite/ChangeLog | 7 ++++++- gcc/testsuite/g++.dg/cpp2a/constexpr-dtor4.C | 15 +++++++++++++++ 4 files changed, 30 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp2a/constexpr-dtor4.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2313a824b48..0d78df6db2b 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2019-11-19 Jakub Jelinek + + PR c++/92414 + * constexpr.c (cxx_eval_outermost_constant_expr): If DECL_INITIAL + on object is erroneous, return t without trying to evaluate + a constexpr dtor. + 2019-11-12 Jason Merrill * call.c (same_fn_or_template): Change to cand_parms_match. diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c index 8c79b0484fc..9ce768bb2e6 100644 --- a/gcc/cp/constexpr.c +++ b/gcc/cp/constexpr.c @@ -5834,6 +5834,8 @@ cxx_eval_outermost_constant_expr (tree t, bool allow_non_constant, gcc_assert (object && VAR_P (object)); gcc_assert (DECL_DECLARED_CONSTEXPR_P (object)); gcc_assert (DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P (object)); + if (error_operand_p (DECL_INITIAL (object))) + return t; ctx.ctor = unshare_expr (DECL_INITIAL (object)); TREE_READONLY (ctx.ctor) = false; /* Temporarily force decl_really_constant_value to return false diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fc275fa0a7f..2cc8db57170 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,9 +1,14 @@ +2019-11-19 Jakub Jelinek + + PR c++/92414 + * g++.dg/cpp2a/constexpr-dtor4.C: New test. + 2019-11-19 Dragan Mladjenovic * gcc.target/mips/msa-ds.c: New test. 2019-11-19 Richard Sandiford -gcc/ + Revert: 2019-11-18 Richard Sandiford diff --git a/gcc/testsuite/g++.dg/cpp2a/constexpr-dtor4.C b/gcc/testsuite/g++.dg/cpp2a/constexpr-dtor4.C new file mode 100644 index 00000000000..68ad69c186d --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/constexpr-dtor4.C @@ -0,0 +1,15 @@ +// PR c++/92414 +// { dg-do compile { target c++2a } } + +struct A { virtual void foo (); }; + +struct B : A { + constexpr B (int); // { dg-warning "used but never defined" } + constexpr ~B () { } +}; + +struct D : B { + constexpr D () : B (42) { } // { dg-error "used before its definition" } +}; + +constexpr D d; // { dg-message "in 'constexpr' expansion of" } -- 2.30.2