> Do you know whether they have a problem-report and/or fix easily > available for application on our 3.3 ? The debian gcc maintainers may > be interested in applying the fix... I have reported the bug to GCC developers last week. They seems to have identified the problem. I can't tell you much more about it. -- Manuel