[Bug middle-end/78901] [7 Regression] ICE: verify_gimple failed (error: statement marked for throw in middle of block)

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78901

--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> ---
(In reply to Markus Trippelsdorf from comment #5)
> This is what creduce finally came up with: 

Thanks for the test case.  The ICE goes away if the snprintf declaration is
declared throw() or attribute nothrow, or if __builtin_snprintf is used
directly.