Actually, I'm mistaken. GCC 2.7.2.2 does exhibit the same behaviour. The question remains whether or not this is correct, though...