replying myself: It was pointed out to me that this is likely to be related to, and fixed by, http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7482 Sorry for wasting your time - regards, -- Sonja Krause-Harder (skh@suse.de) SuSE Linux AG