[Bug lto/46648] New: [4.6 Regression] type mismatch in array reference; verify_stmts failed

[Bug lto/46648] New: [4.6 Regression] type mismatch in array reference; verify_stmts failed

[d.g.gorbachev at gmail dot com]

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

           Summary: [4.6 Regression] type mismatch in array reference;
                    verify_stmts failed
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: d.g.gorbachev@gmail.com
                CC: rguenth@gcc.gnu.org


Created attachment 22515
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22515
testcase

[Bug lto/46648] [4.6 Regression] type mismatch in array reference; verify_stmts failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.11.25 13:56:04
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-25 13:56:04 UTC ---
Ugh.  Basically the way we treat SCC members during type merging isn't correct.

I have a patch.

[Bug lto/46648] [4.6 Regression] type mismatch in array reference; verify_stmts failed

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-26 16:12:57 UTC ---
Author: rguenth
Date: Fri Nov 26 16:12:49 2010
New Revision: 167183

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167183
Log:
2010-11-26  Richard Guenther  <rguenther@suse.de>

    PR lto/46648
    * gimple.c (gtc_visit): Do not return true for members of an
    SCC still being processed but the current lattice value of
    the member.  Treat SCC members comparison state as lattice,
    starting at equal, eventually dropping to unequal.
    (gimple_types_compatible_p_1): Likewise.

    * gcc.dg/lto/20101125-1_0.c: New testcase.
    * gcc.dg/lto/20101125-1_1.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/lto/20101125-1_0.c
    trunk/gcc/testsuite/gcc.dg/lto/20101125-1_1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple.c
    trunk/gcc/testsuite/ChangeLog

[Bug lto/46648] [4.6 Regression] type mismatch in array reference; verify_stmts failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-26 16:14:13 UTC ---
Fixed.