https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83433
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Specifically, it says
"warn about other cases where a comparison is simplified to a constant"
^^^^^^^^^^^^
Calling abs(INT_MIN) is not a comparison.
