re PR middle-end/49210 (verify_gimple fails building ada/einfo.o at -O3)
authorRichard Guenther <rguenther@suse.de>
Mon, 30 May 2011 13:12:23 +0000 (13:12 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 30 May 2011 13:12:23 +0000 (13:12 +0000)
commit42b05b6e884f5b14c3433f12593fe6accae5becf
tree375b1b02da555fc6f5d11e49aff1e203d4746314
parent8a8c12a3cd7b8905616680d458249f2ec865396c
re PR middle-end/49210 (verify_gimple fails building ada/einfo.o at -O3)

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.

From-SVN: r174435
gcc/ChangeLog
gcc/ipa-split.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/boolean_subtype2.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/boolean_subtype2.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/boolean_subtype2_pkg.ads [new file with mode: 0644]