[PATCH] Canonical types (1/3)

[Doug Gregor]

On 1/3/07, Jan Hubicka <hubicka@ucw.cz> wrote:
> I am looking into it.  I think it is more likely IPA SSA from major
> part.  Something weird is however going on when compiling Gerald's
> tramp3d:
>  tramp3d-v4.cpp:55266: warning: canonical types differ for identical  types Mesh<MeshTraits<3, T, MeshTag, SphericalTag, 3> > and > Mesh<MeshTraits<3, T,
> +MeshTag, SphericalTag, 3> >
>   <bound_template_template_parm 0x2ba077eb06c0 Mesh type_0 type_6 VOID
>      align 8 symtab 0 alias set -1 canonical type 0x2ba077eb06c0
>     index 0 level 1 orig_level 2
>      chain <type_decl 0x2ba078e8fb60 Mesh>>
>   <bound_template_template_parm 0x2ba07810b3c0 Mesh type_0 type_6 VOID
>      align 8 symtab 0 alias set -1 canonical type 0x2ba07810b3c0
>     index 0 level 1 orig_level 2
>      chain <type_decl 0x2ba078e8fb60 Mesh>>
>
> I would expect those to be ICE and not happening at all.

That indicates a bug in the handling of canonical types. If you had
compiled with --disable-checking, it would probably ICE or fail to
compile tramp3d.

It would be much easier for me to fix the problem if I could reproduce
it locally. Is there an easy way for me to build tramp3d?

  Cheers,
  Doug