[Bug lto/41715] New: VIEW_CONVERT_EXPR use for mismatched prevailing decl replacement doesn't work

[Bug lto/41715] New: VIEW_CONVERT_EXPR use for mismatched prevailing decl replacement doesn't work

[rguenth at gcc dot gnu dot org]

Because we end up with VIEW_CONVERT_EXPRs in places where we do not want them.

lto1: internal compiler error: in remap_decls, at tree-inline.c:576

 internal compiler error: tree check: expected tree that contains 'decl common'
structure, have 'view_convert_expr' in remap_decls, at tree-inline.c:542

 internal compiler error: tree check: expected tree that contains 'decl common'
structure, have 'view_convert_expr' in remove_unused_scope_block_p, at
tree-ssa-live.c:450

Breaks 200.sixtrack and 191.fma3d.


-- 
           Summary: VIEW_CONVERT_EXPR use for mismatched prevailing decl
                    replacement doesn't work
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          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=41715

[Bug lto/41715] VIEW_CONVERT_EXPR use for mismatched prevailing decl replacement doesn't work

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-15 12:41 -------
Mine.  It's not exactly clear how to avoid this the easies - probably keeping
some state what we are walking in lto_fixup_*.  In theory we'd only need to
fixup the decl pointers in the reader cache so reading of the IL will pickup
the VIEW_CONVERT_EXPRs.


-- 

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-15 12:41:57
               date|                            |


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

[Bug lto/41715] VIEW_CONVERT_EXPR use for mismatched prevailing decl replacement doesn't work

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-10-16 14:23 -------
Subject: Bug 41715

Author: rguenth
Date: Fri Oct 16 14:23:22 2009
New Revision: 152903

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152903
Log:
2009-10-16  Richard Guenther  <rguenther@suse.de>

        PR lto/41715
        * lto-streamer-in.c (lto_input_tree_ref): Revert last change.
        (maybe_fixup_handled_component): New function.
        (input_gimple_stmt): Fixup mismatched decl replacements.

        lto/
        * lto.c (lto_fixup_tree): Revert last change.

        * gfortran.dg/lto/20091015-1_0.f: New testcase.
        * gfortran.dg/lto/20091015-1_1.f: Likewise.
        * gfortran.dg/lto/20091015-1_2.f: Likewise.

Added:
    trunk/gcc/testsuite/gfortran.dg/lto/20091015-1_0.f
    trunk/gcc/testsuite/gfortran.dg/lto/20091015-1_1.f
    trunk/gcc/testsuite/gfortran.dg/lto/20091015-1_2.f
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lto-streamer-in.c
    trunk/gcc/lto/ChangeLog
    trunk/gcc/lto/lto.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug lto/41715] VIEW_CONVERT_EXPR use for mismatched prevailing decl replacement doesn't work

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-10-16 14:23 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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