On 2015.09.01 at 13:15 +0200, Jan Hubicka wrote:
> > > And it breaks quickly during Firefox build, e.g.:
> > >
> > > trippels@gcc2-power8 angle % cat glslang_lex.ii
> > > struct A;
> > > template <typename = int> class B {
> > > typedef A value_type;
> > > void m_fn1(const value_type &);
> > > };
> > > struct A {
> > > int staticUse;
> > > B<> fields;
> > > };
> > >
> > > trippels@gcc2-power8 angle % g++ -g -c glslang_lex.ii
> > > glslang_lex.ii: In instantiation of ‘class B<>’:
> > > glslang_lex.ii:8:5: required from here
> > > glslang_lex.ii:2:33: error: TYPE_CANONICAL is not compatible
> >
> > Hum, but that looks more like an issue for Honzas type verifier (which
> > already has quite a few bugs ...). dwarf2out certainly doesn't
>
> Well, those are usually not verifier bugs but previously latent issues ;))
> And yes, I want to look into them asap.
>
> > modify types.
>
> Yeah, I think the problem here is that types are verified when passed to
> dwarf2out. We certainly do produce bogus types that are not caught by the
> verifier (they are caught by my local tree where I do checking more often). I
> think I already looked into this one. It is good to have a short testcase.
I think the issue is a dup of:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66214
--
Markus
