In message <200508020708.j7278rtU025240@vtn1.victoria.tc.ca>, John Nemeth write
s:
>     It's debatable whether compilers should be doing this sort of
>thing.  On the one hand, it helps to optimise code.  On the other, it
>can make things more tricky.  I'm guessing that the standard allows the
>compiler to do things like this?  Actually, I'm guessing the standard
>considers the compiler and libc to be parts of the same package?

Yup, on both counts.  If a strictly conforming program can't tell that you
did something, it's allowed.

-s