https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113130
--- Comment #1 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Note that the first example (and the suggested one with ABS_EXPR) has undefined behavior for a == INT_MIN, while the second has undefined behavior for c == INT_MIN (and is also not equivalent to the first for negative c).
