From 41cee85a347099bbd151f46cc55f8974970624ba Mon Sep 17 00:00:00 2001 From: Paolo Carlini Date: Wed, 18 Mar 2015 10:31:24 +0000 Subject: [PATCH] re PR c++/65340 ([C++14]ICE in mark_used, at decl2.c:5040) 2015-03-18 Paolo Carlini PR c++/65340 * call.c (build_over_call): Pass the tsubst_flags_t argument to mark_used. * decl2.c (mark_used): Inline the require_deduced_type call and guard the error call. 2015-03-18 Paolo Carlini PR c++/65340 * g++.dg/cpp1y/pr65340.C: New. From-SVN: r221483 --- gcc/cp/ChangeLog | 8 ++++++++ gcc/cp/call.c | 2 +- gcc/cp/decl2.c | 7 ++++++- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/cpp1y/pr65340.C | 19 +++++++++++++++++++ 5 files changed, 39 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/g++.dg/cpp1y/pr65340.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 01484bf2604..c8135ffa56f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2015-03-18 Paolo Carlini + + PR c++/65340 + * call.c (build_over_call): Pass the tsubst_flags_t argument to + mark_used. + * decl2.c (mark_used): Inline the require_deduced_type call and + guard the error call. + 2015-03-16 Jason Merrill PR c++/65061 diff --git a/gcc/cp/call.c b/gcc/cp/call.c index fdd8436d53e..31d2b9c2c9e 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -7486,7 +7486,7 @@ build_over_call (struct z_candidate *cand, int flags, tsubst_flags_t complain) } if (!already_used - && !mark_used (fn)) + && !mark_used (fn, complain)) return error_mark_node; if (DECL_VINDEX (fn) && (flags & LOOKUP_NONVIRTUAL) == 0 diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c index a4a5ebf58ea..a2d1eae2015 100644 --- a/gcc/cp/decl2.c +++ b/gcc/cp/decl2.c @@ -5037,7 +5037,12 @@ mark_used (tree decl, tsubst_flags_t complain) && uses_template_parms (DECL_TI_ARGS (decl))) return true; - require_deduced_type (decl); + if (undeduced_auto_decl (decl)) + { + if (complain & tf_error) + error ("use of %qD before deduction of %", decl); + return false; + } /* If we don't need a value, then we don't need to synthesize DECL. */ if (cp_unevaluated_operand != 0) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9b252b05eba..16605f35f2a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-03-18 Paolo Carlini + + PR c++/65340 + * g++.dg/cpp1y/pr65340.C: New. + 2015-03-17 Jerry DeLisle PR fortran/64432 diff --git a/gcc/testsuite/g++.dg/cpp1y/pr65340.C b/gcc/testsuite/g++.dg/cpp1y/pr65340.C new file mode 100644 index 00000000000..848eff965e5 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/pr65340.C @@ -0,0 +1,19 @@ +// PR c++/65340 +// { dg-do compile { target c++14 } } + +template Type constant; +namespace reflect { +namespace functors { + struct recurse { auto operator()(, ); }; // { dg-error "expected" } +} + auto &recurse = constant < functors :: recurse > ; +} +namespace functors { +struct traverse { + template + auto operator()(Algo, Value) -> decltype(reflect + :: recurse(0, 0)); // { dg-error "use of" } +}; +} +auto &traverse = constant < functors :: traverse > ; +operator()()->decltype(traverse(0, 0)) // { dg-error "no match|expected" } -- 2.30.2