https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62245
--- Comment #4 from Julian Taylor <jtaylor.debian at googlemail dot com> --- no x86 behaves as documented, the documentation states the sign is retained. You can debate on what largest integer means here, it could be -1 as > -2147483648 but as positive inputs give -2147483647 I think x86 output is as intended.
