Thanks to all who have provided input on this issue, which showed that the situation is not quite crystal clear. For the records, it turns out that the concerns expressed here had already been raised a while ago, in http://gcc.gnu.org/ml/gcc/2001-11/msg00047.html Thanks again, Olivier