The patch I send was mistakenly reversed; please disregard. Here is the correct patch. -- Ludovic Brenta.
Attachment: gcc-4.1.0-1-patch-10.patch.gz Description: Patch #10 to be applied to gcc-4.1 4.1.0-1 after #1 .. #9