https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112324
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Sam James from comment #6) > Someone filed a bug for LLVM for x <= abs(x) being always true > (https://github.com/llvm/llvm-project/issues/72653) and it looks like we're > missing that too. Not sure if that's a dupe though. Filed as PR 112626.