#pragma does only half the job (was Re: Pragma and noalias)

[Wayne A. Christopher]

In article <502 at proxftl.UUCP>, bill at proxftl.UUCP (T. William Wells) writes:
> "[a pragma] causes the implementation to behave in an
> implementation-defined manner...."
> 
> My reading of this says that a pragma changes the implementation,
> not (directly) the interpretation of the program.  However, the
> changed implementation must also be conforming.

You're right, this statement is sort of confusing, but when you think
about it, it has to mean that #pragma can cause a compiler to become
non-conforming.  Otherwise, #pragma noalias wouldn't be possible.
Telling the compiler that a set of parameters is noalias changes the
semantics of the function.

	Wayne