Re: [PATCH] c++: Endless loop with targ deduction in member tmpl [PR95888]

2021-02-11 Thread Jason Merrill via Gcc-patches
On 2/9/21 5:41 PM, Marek Polacek wrote: My r10-7007 patch tweaked tsubst not to reduce the template level of template parameters when tf_partial. That caused infinite looping in is_specialization_of: we ended up with a class template specialization whose TREE_TYPE (CLASSTYPE_TI_TEMPLATE (t)) ==

[PATCH] c++: Endless loop with targ deduction in member tmpl [PR95888]

2021-02-09 Thread Marek Polacek via Gcc-patches
My r10-7007 patch tweaked tsubst not to reduce the template level of template parameters when tf_partial. That caused infinite looping in is_specialization_of: we ended up with a class template specialization whose TREE_TYPE (CLASSTYPE_TI_TEMPLATE (t)) == t, so the second for loop in is_specializa