http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53880
--- Comment #17 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-07-26 17:15:43 UTC --- > --- Comment #14 from Paolo Carlini <paolo.carlini at oracle dot com> > 2012-07-24 10:13:24 UTC --- > Thanks Steven for looking into this! Indeed, thank you Steven!