------- Comment #15 from mikael at gcc dot gnu dot org 2008-11-19 20:56 ------- (In reply to comment #14) > Mikael, if you think the problem you mentioned in comment #4 warrants > its own PR, maybe you could open it. > PR 38184 opened for that.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38135
