diff mbox

C++ PATCH for c++/61433 (ICE with -fcompare-debug)

Message ID 53ADE4B5.9040002@redhat.com
State New
Headers show

Commit Message

Jason Merrill June 27, 2014, 9:40 p.m. UTC 
dump_template_bindings tries to do tsubsting in order to print what 
dependent types used in the template signature actually resolve to.  But 
that doesn't work to well when we're in a clone context, where we don't 
have a reasonable DECL_LANG_SPECIFIC to work with.

Tested x86_64-pc-linux-gnu, applying to trunk.
diff mbox

Patch

commit 2b1389491f53fd7ecc9dfe90b55c1d48c4c4548a
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Jun 27 16:19:47 2014 -0400

    	PR c++/61433
    	* error.c (dump_template_bindings): Don't tsubst in a clone.

diff --git a/gcc/cp/error.c b/gcc/cp/error.c
index 27a167a..fa3bdc4 100644
--- a/gcc/cp/error.c
+++ b/gcc/cp/error.c
@@ -318,6 +318,11 @@  dump_template_bindings (cxx_pretty_printer *pp, tree parms, tree args,
   if (vec_safe_is_empty (typenames) || uses_template_parms (args))
     return;
 
+  /* Don't try to print typenames when we're processing a clone.  */
+  if (current_function_decl
+      && !DECL_LANG_SPECIFIC (current_function_decl))
+    return;
+
   FOR_EACH_VEC_SAFE_ELT (typenames, i, t)
     {
       if (need_semicolon)
diff --git a/gcc/testsuite/g++.dg/debug/dwarf2/pr61433.C b/gcc/testsuite/g++.dg/debug/dwarf2/pr61433.C
new file mode 100644
index 0000000..a63b8a9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/debug/dwarf2/pr61433.C
@@ -0,0 +1,23 @@ 
+// PR c++/61433
+// { dg-do compile { target c++11 } }
+// { dg-options "-O -fcompare-debug -fno-inline -fno-ipa-pure-const -fipa-sra" }
+
+template <class T>
+struct A
+{
+  template <class V>
+  struct B
+  {
+    int MEM;
+  };
+};
+struct D {};
+struct C: public A<int>::B<D>
+{};
+template <class T, class U, class V>
+auto k(T t, U u, V v) -> decltype (t.U::template B<V>::MEM)
+{}
+int main()
+{
+  k( C(), A<int>(), D() );
+}