http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51253
--- Comment #7 from Akim Demaille <akim.demaille at gmail dot com> --- Hi all, I'd really love to have some feedback on this issue. It looks like nobody is having a look at this. Thanks for all the good work, and sorry for insisting.