On 2015.08.24 at 13:44 +0200, Markus Trippelsdorf wrote:

ping

> decl_mangling_context() in mangle.c returns a NULL_TREE in case of
> template type parameters. write_template_prefix() needs to handle this
> situation.
> 
> Tested on ppc64le.
> 
> This is a regression from gcc=4.8.
> OK for trunk, gcc-5 and gcc-4.9?
> 
> Thanks.
> 
>       PR c++/67337
>       * mangle.c (write_template_prefix): Guard against context==NULL.
> 
> diff --git a/gcc/cp/mangle.c b/gcc/cp/mangle.c
> index 342cb93e68b3..a9993f40b94d 100644
> --- a/gcc/cp/mangle.c
> +++ b/gcc/cp/mangle.c
> @@ -1149,7 +1149,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
> index 000000000000..df2651bc9a57
> --- /dev/null
> +++ b/gcc/testsuite/g++.dg/template/pr67337.C
> @@ -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);
> +}
> -- 
> Markus
> 

-- 
Markus

Reply via email to