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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-02-24

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced testcase:
```
[[gnu::noipa]]
int f (int i) {
      return i + 100;
}

int g (int j) [[pre: f (j) < j ]] {
      return j;
}

```
It is the inlining of the contract into g which is causing the ICE.

Reply via email to