> Richard, do you think it would be OK to check in your patch for this > problem (reproduced below)? We have had it in the Debian gcc-3.0 > patchset for almost a year now and it doesn't seem to have caused any > untoward side-effects. I'm assuming this is still a problem... Yes, OK both. R.