[Bug c/41163] [4.5 Regression] verify_gimple fails

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-08-26 13:23 -------
Subject: Bug 41163

Author: rguenth
Date: Wed Aug 26 13:23:04 2009
New Revision: 151122

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

        PR middle-end/41163
        * gimplify.c (gimplify_addr_expr): Canonicalize ADDR_EXPRs if
        the types to not match.
        * tree-cfg.c (verify_gimple_assign_single): Adjust ADDR_EXPR
        verification.
        * tree-ssa.c (useless_type_conversion_p): Conversions to
        pointers to unprototyped functions are useless.

        * gcc.c-torture/compile/pr41163.c: New testcase.
        * gcc.dg/pr35899.c: Adjust.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr41163.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/pr35899.c
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-ssa.c


-- 


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