[Patch] Fix bogus 'function does return' warning

Eric Botcazou ebotcazou@adacore.com
Sat Oct 17 10:26:00 GMT 2009


> I'm not sure how to extend the pass, this would mean detecting unreachable
> gotos and returns.  Eliminating them in "lower" seems easier, maybe I can
> restrict my patch and eliminate only them.

What about this?


        * gimple-low.c (lower_stmt) <GIMPLE_CALL>: If the call is noreturn,
        remove a subsequent GOTO or RETURN statement.


-- 
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.diff
Type: text/x-diff
Size: 789 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20091017/998a5c9f/attachment.bin>


More information about the Gcc-patches mailing list