------- Additional Comments From fxcoudert at gcc dot gnu dot org 2005-07-30 20:59 ------- Thomas, I guess your patch is doing the right thing. Could you submit it to gcc- patches so that it gets reviewed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22143