[Bug tree-optimization/123843] [13/14/15/16 Regression] during GIMPLE pass: forwprop ICE: verify_gimple failed: statement marked for throw, but doesn't with -O -ftrapv -finstrument-functions -fnon-call-exceptions

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note it works in GCC 11 by not having the addition as throwing as
-fnon-call-exceptions didn't turn on -fexceptions. Adding -fexceptions gets the
exceptions and the trapping part which leads us to the optimization from
__atomic_fetch_sub_4 to __atomic_sub_fetch_4 was not done in GCC 11. 

So r12-6577-g9896e96d4cae00 added that.