https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112619
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org,
| |jason at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The created TRY_CATCH_EXPR certainly violates the try_catch_may_fallthrough
expectations, that the second operand of TRY_CATCH_EXPR is a STATEMENT_LIST,
which either a series of CATCH_EXPRs, or containing EH_FILTER_EXPR, or
statements
ending with RESX. In this case the second operand is just MODIFY_EXPR.
So, shall we change try_catch_may_fallthrough to accept that as well and just
return false if second argument is not a STATEMENT_LIST, or handle such case as
if a single statement STATEMENT_LIST, something else?
