http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53880
--- Comment #20 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-07-26 21:11:16 UTC --- "stevenb.gcc at gmail dot com" <gcc-bugzi...@gcc.gnu.org> a écrit: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53880 > > --- Comment #19 from stevenb.gcc at gmail dot com <stevenb.gcc at gmail dot > com> 2012-07-26 19:44:59 UTC --- > Dodji, please see > http://gcc.gnu.org/ml/gcc-patches/2012-07/msg01204.html Ah, right. I missed that patch. It all looks good to me. Thank you.