https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92220
--- Comment #3 from John Simon <gcc at mailinator dot com> --- (In reply to Andrew Pinski from comment #1) > No i think there is one case where what you said is incorrect. When both are > INT_MIN. In this case the result will be 0.