------- Comment #6 from jakub at gcc dot gnu dot org  2008-11-28 09:38 -------
The patch looks good to me (if not obvious).  Sebastian, are you going to post
it to gcc-patches?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38262

Reply via email to