http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51991
--- Comment #12 from Sebastien Bardeau <bardeau at iram dot fr> 2012-02-08 16:22:47 UTC --- Ok, I did not realize that this patch was just a fix candidate. This bug is not a problem to me, so there is no hurry. Thanks.
