https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65802
--- Comment #8 from vries at gcc dot gnu.org --- (In reply to Richard Biener from comment #7) > (In reply to vries from comment #6) > > (In reply to vries from comment #5) > > > So the question is: should ifn_va_arg have ECF_NOTHROW? > > > > Adding ECF_NOTHROW to ifn_va_arg also fixes the ICE. > > > > And at gimplify_va_arg_expr, the VA_ARG_EXPR tree is non-throwing: > > Is that always the case (try -fnon-call-exceptions)? Then doing that looks > obvious. > > Richard. > Yep, that's also the case with -fnon-call-exceptions: ... (gdb) call debug_generic_expr (*expr_p) VA_ARG_EXPR <c> (gdb) call tree_could_throw_p (*expr_p ) $1 = false (gdb) p flag_non_call_exceptions $2 = 1 ...