http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49896
--- Comment #6 from Harald van Dijk <harald at gigawatt dot nl> 2011-07-30 14:59:09 UTC --- > The initializer results in integer overflow which is undefined behaviour No, it doesn't result in integer overflow. 0x80000000 is a constant of type unsigned int, which is implicitly converted to the desired type of int. Converting an out-of-range integer value to a signed integer type is implementation-defined which has been defined in GCC in a sensible way, documented at <http://gcc.gnu.org/onlinedocs/gcc-4.6.1/gcc/Integers-implementation.html>.
