https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83433
--- Comment #3 from Shafik Yaghmour ---
I still think it is awkwardly worded but your second point is valid about it
only warning on comparisons.
Please, feel free to close.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83433
--- Comment #2 from Jonathan Wakely ---
Specifically, it says
"warn about other cases where a comparison is simplified to a constant"
Calling abs(INT_MIN) is not a comparison.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83433
--- Comment #1 from Jonathan Wakely ---
The docs don't indicate that to me. The option warns about checking if the
result of abs(x) is non-negative, which is true except for the undefined case
of abs(INT_MIN), it doesn't warn about the call to
