>I can't reproduce it any more with g++ (GCC) 3.4 20030423. Do you >have any idea what might have caused it? But in any case, if it is not >reproducible any more, I guess we can only close it... dunno, mainline has been pretty flaky lately. I'll close it. thanks, benjamin