http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58844
--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> --- yes, the patch looks good to me. Thank you for looking into that.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58844
--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> --- yes, the patch looks good to me. Thank you for looking into that.