Dear Gnu, I sent a bug report 2 days ago to bug-gcc@gnu.org. This is the same report but I included the file here. I'm not sure if my first report went to the right place (or person). Regards, Charles.