[Bug lto/41606] New: Not all types are fixed up

[Bug lto/41606] New: Not all types are fixed up

[rguenth at gcc dot gnu dot org]

Not all types of the IL and its trees are fixed up by lto_fixup_decls as can
be seen by attached patch.


-- 
           Summary: Not all types are fixed up
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code, memory-hog
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41606

[Bug lto/41606] Not all types are fixed up

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-06 15:49 -------
Created an attachment (id=18726)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18726&action=view)
patch for debugging


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41606

[Bug lto/41606] Not all types are fixed up

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-10-07 09:50 -------
I am looking into this.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-07 09:50:11
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41606

[Bug lto/41606] Not all types are fixed up

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-10-07 14:57 -------
It's mostly

 a) target specific builtin types and decls that do not get fixed up

 b) LTO (or rather generic) builtin functions and types not get fixed up

 c) the tree.c local canonical type machinery that isn't giving the same
    answer as gimple_register_type () does.

with that "fixed" the sanity-checking patch works fine.

For a more proper patch I have to think about the tree.c type hashing
and unification some more.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41606