http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659
--- Comment #21 from dnovillo at google dot com <dnovillo at google dot com> 2013-04-29 16:46:27 UTC --- On 2013-04-29 11:25 , jakub at gcc dot gnu.org wrote: > Any progress with this? We'd like to do 4.8.1-rc1 in mid-May, would be nice > to > have this resolved till then. > None at all, sorry. I will try to work on this after I get back (early next week). Diego.