Thanks. I've incorporated your feedback in the attached patch. OK for wwwdocs? Diego. -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: 00.diff URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120202/16c3a145/attachment.ksh>