On Thu, Feb 15, 2018 at 5:56 PM, Paolo Carlini <paolo.carl...@oracle.com> wrote: > this issue is very easy to explain and the testcase minimal: > check_special_function_return_type ICEs on a TEMPLATE_TEMPLATE_PARM as > optype, because it tries to use CLASSTYPE_TI_TEMPLATE on it. Today, > triangulating with other compilers too, I came to believe that here > essentially we only have to provide sensible diagnostic and below is what > I'm finishing testing on x86_64-linux (what about an additional inform using > DECL_SOURCE_LOCATION (TYPE_STUB_DECL (optype))? I'm not sure, the rest of > the function emits quite terse messages).
No need for an inform, I think. The patch is OK.