Fix c++/67337 (segfault in mangle.c)
authorMarkus Trippelsdorf <markus@trippelsdorf.de>
Wed, 2 Dec 2015 19:57:55 +0000 (19:57 +0000)
committerMarkus Trippelsdorf <trippels@gcc.gnu.org>
Wed, 2 Dec 2015 19:57:55 +0000 (19:57 +0000)
PR c++/67337
* mangle.c (write_template_prefix): Guard against context==NULL.

From-SVN: r231203

gcc/cp/ChangeLog
gcc/cp/mangle.c
gcc/testsuite/g++.dg/template/pr67337.C [new file with mode: 0644]

index 6d344ffdf3c77bdb23c44188e872a3671033905a..ce26e5daa2fb3752df8eab6d7dd7c7d28389a43e 100644 (file)
@@ -1,3 +1,8 @@
+2015-12-02  Markus Trippelsdorf  <markus@trippelsdorf.de>
+
+       PR c++/67337
+       * mangle.c (write_template_prefix): Guard against context==NULL.
+
 2015-12-02  Jason Merrill  <jason@redhat.com>
 
        * call.c (build_new_op_1): Don't fold arguments to
index 6f8bf68d9510f236b38890e4489985262fe23f48..3ff30663f08402bdd8013fa936c90d2cc77de6c4 100644 (file)
@@ -1145,7 +1145,7 @@ write_template_prefix (const tree node)
      So, for the example above, `Outer<int>::Inner' is represented as a
      substitution candidate by a TREE_LIST whose purpose is `Outer<int>'
      and whose value is `Outer<T>::Inner<U>'.  */
-  if (TYPE_P (context))
+  if (context && TYPE_P (context))
     substitution = build_tree_list (context, templ);
   else
     substitution = templ;
diff --git a/gcc/testsuite/g++.dg/template/pr67337.C b/gcc/testsuite/g++.dg/template/pr67337.C
new file mode 100644 (file)
index 0000000..df2651b
--- /dev/null
@@ -0,0 +1,25 @@
+template <class> class A
+{
+  void m_fn1 (int *, int);
+};
+
+template <class> class B
+{
+public:
+  typedef int Type;
+};
+
+template <class> class C
+{
+public:
+  C (int);
+  template <template <class> class T> void m_fn2 (typename T<void>::Type);
+};
+
+template <>
+void
+A<int>::m_fn1 (int *, int)
+{
+  C<int> a (0);
+  a.m_fn2<B> (0);
+}