------- Comment #3 from debian-gcc at lists dot debian dot org 2009-05-16 12:48 ------- a patch would be appreciated, even if it's not applied directly in the 4.4 branch. Matthias -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40157