[Bug middle-end/49210] [4.7 regression] verify_gimple fails building ada/einfo.o at -O3

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-30 13:12:27 UTC ---
Author: rguenth
Date: Mon May 30 13:12:23 2011
New Revision: 174435

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174435
Log:
2011-05-30  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/49210
    * ipa-split.c (split_function): Care for the case where the
    call result is not trivially convertible to the result holding
    variable.

    * gnat.dg/boolean_subtype2.adb: New testcase.
    * gnat.dg/boolean_subtype2.ads: Likewise.
    * gnat.dg/boolean_subtype2_pkg.ads: Likewise.

Added:
    trunk/gcc/testsuite/gnat.dg/boolean_subtype2.adb
    trunk/gcc/testsuite/gnat.dg/boolean_subtype2.ads
    trunk/gcc/testsuite/gnat.dg/boolean_subtype2_pkg.ads
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-split.c
    trunk/gcc/testsuite/ChangeLog