From d1dfeff07917739fd5ae157be0825a757c576bef Mon Sep 17 00:00:00 2001 From: Paolo Carlini Date: Mon, 3 Sep 2018 07:57:33 +0000 Subject: [PATCH] re PR c++/84980 ([concepts] ICE with missing typename in concept) /cp 2018-09-03 Paolo Carlini PR c++/84980 * constraint.cc (finish_shorthand_constraint): Early return if the constraint is erroneous. /testsuite 2018-09-03 Paolo Carlini PR c++/84980 * g++.dg/concepts/pr84980.C: New. From-SVN: r264051 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/constraint.cc | 3 +++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/concepts/pr84980.C | 6 ++++++ 4 files changed, 20 insertions(+) create mode 100644 gcc/testsuite/g++.dg/concepts/pr84980.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index cec14d5..55d8290 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2018-09-03 Paolo Carlini + + PR c++/84980 + * constraint.cc (finish_shorthand_constraint): Early return if the + constraint is erroneous. + 2018-09-02 Bernd Edlinger * decl.c (eval_check_narrowing): Remove. diff --git a/gcc/cp/constraint.cc b/gcc/cp/constraint.cc index 9f9fb52..7b32355 100644 --- a/gcc/cp/constraint.cc +++ b/gcc/cp/constraint.cc @@ -1259,6 +1259,9 @@ finish_shorthand_constraint (tree decl, tree constr) if (!constr) return NULL_TREE; + if (error_operand_p (constr)) + return NULL_TREE; + tree proto = CONSTRAINED_PARM_PROTOTYPE (constr); tree con = CONSTRAINED_PARM_CONCEPT (constr); tree args = CONSTRAINED_PARM_EXTRA_ARGS (constr); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e4eaeb7..b8c9e1a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-09-03 Paolo Carlini + + PR c++/84980 + * g++.dg/concepts/pr84980.C: New. + 2018-09-03 Martin Liska PR middle-end/59521 diff --git a/gcc/testsuite/g++.dg/concepts/pr84980.C b/gcc/testsuite/g++.dg/concepts/pr84980.C new file mode 100644 index 0000000..619c0bd --- /dev/null +++ b/gcc/testsuite/g++.dg/concepts/pr84980.C @@ -0,0 +1,6 @@ +// { dg-do compile { target c++14 } } +// { dg-additional-options "-fconcepts" } + +template concept bool C = true; // { dg-error "has not been declared" } + +template struct A; -- 2.7.4