------- Comment #14 from rguenth at gcc dot gnu dot org 2008-02-12 23:19 ------- It looks like simply deleting from dependent_type_p:
/* If there are no template parameters in scope, then there can't be any dependent types. */ if (!processing_template_decl) { /* If we are not processing a template, then nobody should be providing us with a dependent type. */ gcc_assert (type); gcc_assert (TREE_CODE (type) != TEMPLATE_TYPE_PARM); return false; } fixes the testcase - so we are probably not setting processing_template_decl correctly(?). Or is it even correct and the check in the context of the caller make_typename_type is simply bogus? -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jason at redhat dot com, | |mark at codesourcery dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950