Daniel, I've submitted a bug report via gccbug about an hour ago, but so far have neither received a confirmation of the report nor a bounce. Is the gccbug parser at gcc-gnats@gcc.gnu.org still operational? Regards. Rainer ----------------------------------------------------------------------------- Rainer Orth, Faculty of Technology, Bielefeld University