https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96707 --- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> --- PS: This transformation can also be done with a very similar pattern where the return statement is replaced with this : `return (x / y) <= x;`