------- Comment #2 from jakub at gcc dot gnu dot org 2008-12-30 11:07 ------- The patch looks good to me. Have you (or could you if not) posted it to gcc-patches for review? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37877