http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56937
--- Comment #12 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to Thomas Koenig from comment #11) > A big part is fixed now. > > Do people think that the case of comment#8 is worth fixing? At least it's worth having one PR open for it IMO.