From 41cee85a347099bbd151f46cc55f8974970624ba Mon Sep 17 00:00:00 2001 From: Paolo Carlini Date: Wed, 18 Mar 2015 10:31:24 +0000 Subject: 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 ++++++- 3 files changed, 15 insertions(+), 2 deletions(-) (limited to 'gcc/cp') diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 01484bf..c8135ff 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 fdd8436..31d2b9c 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 a4a5ebf..a2d1eae 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) -- cgit v1.1