[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  <rguent...@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