re PR c/41163 (verify_gimple fails)
authorRichard Guenther <rguenther@suse.de>
Wed, 26 Aug 2009 13:23:04 +0000 (13:23 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 26 Aug 2009 13:23:04 +0000 (13:23 +0000)
commit6b8b9e4262617040a6879600a8e411f95ec30b1b
tree0a7c596dcfad5b0a80e1635e57a2911b24a32034
parent5c89ef5a3f267a25ffab1735adc754d43c486e0f
re PR c/41163 (verify_gimple fails)

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.

From-SVN: r151122
gcc/ChangeLog
gcc/gimplify.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/pr41163.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr35899.c
gcc/tree-cfg.c
gcc/tree-ssa.c