http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55833
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-02 11:30:37 UTC --- (In reply to comment #3) > Cannot reproduce with xgcc (GCC) 4.6.4 20130102 (prerelease). Make sure to have checking enabled.