after consulting the C++ standard I found that the behavior I complained about is actually what the standard requires and not a bug, so this bug report may be closed. Thomas