[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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |11.4.0
             Status|UNCONFIRMED                 |ASSIGNED
      Known to fail|                            |12.1.0
   Last reconfirmed|                            |2026-01-27
     Ever confirmed|0                           |1
   Target Milestone|---                         |13.5
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I will take a look.

So we start out with:
```
  _11 = __atomic_fetch_sub_4 (asn1_do_lock_val.0_1, 1, 0);

  <bb 3> :
  _3 = (int) _11;
  _12 = _3 + -1;
```

And then convert that into:
```
  _8 = __atomic_sub_fetch_4 (asn1_do_lock_val.0_1, 1, 0);

  <bb 3> :
  _12 = (int) _8;
```

But forgot to remove the eh edge