https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702
Bug ID: 96702 Summary: Failure to optimize comparisons involving result of subtraction Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: gabravier at gmail dot com Target Milestone: --- bool f(int a, int b) { int c = (a - b); return c >= a && c != 0; } This can be optimized to `return (b <= 0) && (a != b);`. This transformation is done by LLVM, but not by GCC.