------- Comment #7 from hjl dot tools at gmail dot com 2008-02-09 16:55 ------- I posted a patch for gcc 4.2 at http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00283.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31868