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.