https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108917
Iain Sandoe <iains at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #5 from Iain Sandoe <iains at gcc dot gnu.org> ---
with the revised code and c++26 syntax
auto f (int i) -> int {
return i + 100;
}
int g (int j) pre (f (j) < j ) {
int r { j - f (j)};
return 2 * r;
}
auto test () -> void {
g (5);
}
this works on trunk with optimisation and debug enabled.