------- Comment #7 from dodji at gcc dot gnu dot org 2008-08-18 15:47 ------- Manuel, yes I know that patches go to gcc-patches@ :-)
I am stacking these here to not loose them, but at the same time, I am not sure if they are solid enough for submission to gcc-patches. I am still working on them. I will submit a patch to gcc-patches when I fill a bit more confident :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36741
