Well, I don't have the slightest idea if it is actually a bug and if it is a bug of the C compiler or who knows what, but salva says it should not, and I don't know whether to trust him, but definitely he seems to be knowledgeable, certainly (much much) more than I am, so I'd take his word for the moment...