https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112324
--- Comment #7 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. Yes and there is no dup filed so far. Let me file about them.