http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53707 --- Comment #16 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-07-03 13:09:01 UTC --- The code as written might be considered as undefined.