[patch] Fix spurious 'noreturn' function does return warning at -O0 (2)

[Eric Botcazou]

This fixes a spurious 'noreturn' function does return warning at -O0 on code 
involving an exception block.  I overlooked this case when I implemented the 
mechanism in gimple-low.c during the 4.5 development phase.

Tested on x86_64-suse-linux, OK for the mainline?


2012-07-18  Eric Botcazou  <ebotcazou@adacore.com>

	* gimple-low.c (lower_try_catch): New function.
	(lower_stmt) <GIMPLE_TRY>: Use it to lower GIMPLE_TRY_CATCH.
	<GIMPLE_CATCH>: Delete.
	<GIMPLE_EH_FILTER>: Likewise.


2012-07-18  Eric Botcazou  <ebotcazou@adacore.com>

	* gnat.dg/noreturn5.ad[sb]: New test.


-- 
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.diff
Type: text/x-patch
Size: 4832 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120718/10e9bec2/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: noreturn5.adb
Type: text/x-adasrc
Size: 622 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120718/10e9bec2/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: noreturn5.ads
Type: text/x-adasrc
Size: 154 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120718/10e9bec2/attachment-0002.bin>