https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112324
Sam James <sjames at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sjames at gcc dot gnu.org --- Comment #6 from Sam James <sjames at gcc dot gnu.org> --- 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.