re PR c++/65340 ([C++14]ICE in mark_used, at decl2.c:5040)

2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>

	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  <paolo.carlini@oracle.com>

	PR c++/65340
	* g++.dg/cpp1y/pr65340.C: New.

From-SVN: r221483

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 01484bf260419c042816fac9f53ca10d40740742..c8135ffa56fcb95c8fdcd41e262a693254e47499 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,11 @@
+2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       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  <jason@redhat.com>
 
        PR c++/65061

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index fdd8436d53e7bc4ed99804da709df9f49f338910..31d2b9c2c9e1cd65146c147425abc842d2266bfa 100644 (file)
--- 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 a4a5ebf58ea12426580ee37970e7b0f605bb0dfc..a2d1eae2015662cd6683fae887e548a956d9dc01 100644 (file)
--- 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 %<auto%>", 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 9b252b05eba415e4ea5499c314cf6ec9ac511829..16605f35f2a428d669862f486e10751d3c738740 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/65340
+       * g++.dg/cpp1y/pr65340.C: New.
+
 2015-03-17 Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
        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 (file)
index 0000000..848eff9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/pr65340.C
@@ -0,0 +1,19 @@
+// PR c++/65340
+// { dg-do compile { target c++14 } }
+
+template <typename Type> Type constant;
+namespace reflect {
+namespace functors {
+  struct recurse { auto operator()(, ); }; // { dg-error "expected" }
+}
+  auto &recurse = constant < functors :: recurse > ;
+}
+namespace functors {
+struct traverse {
+  template <typename Algo, typename Value>
+  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" }