This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Updated LTO early debug patch
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Richard Biener <rguenther at suse dot de>
- Cc: Markus Trippelsdorf <markus at trippelsdorf dot de>, gcc-patches at gcc dot gnu dot org, Jan Hubicka <hubicka at ucw dot cz>, ccoutant at gmail dot com, hjl dot tools at gmail dot com
- Date: Tue, 1 Sep 2015 13:15:53 +0200
- Subject: Re: [PATCH] Updated LTO early debug patch
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot LSU dot 2 dot 11 dot 1508311642360 dot 5523 at zhemvz dot fhfr dot qr> <20150831161713 dot GB1940 at x4> <alpine dot LSU dot 2 dot 11 dot 1509010913380 dot 5523 at zhemvz dot fhfr dot qr>
> > 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.
Honza