http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46899
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-12-12 21:02:55 UTC --- >it is undefined at compile time? No, it is undefined at runtime. This again is not an undefined behavior at compile time but rather at runtime. What that means is the behavior cannot be diagnosed (at least by the C standard definitions) at compile time and has to compile. There is no undefined at compile time behavior here, only at runtime.