Noalias trivia question

[Every system needs one]

In article <5995 at utcsri.UUCP>, norvell at utcsri.UUCP (Theodore Stevens Norvell) writes:
| As an aside: One idea that has been circulating about noalias is
| particularly silly.  That is that the purpose of noalias is to
| make the life of compiler writers easy.  This is bunk.  The more
| you add to a language the more special cases and interactions the
| compiler should handle in order to get the best code possible.
| The purpose of noalias is to allow the user to get the best code
| possible in a machine independent way by allowing the compiler
| to optimize in the 99% of the cases where the optimization is
| safe.

This is not bunk, unless the optimizers are not considered as part of the
compiler.  If an optimizer IS part of the compiler, as is suggested by
"optimizing compiler", then anything that makes writing the optimizer easier
makes writing the compiler easier.  The same applies to making volitile a
keyword rather than a #pragma.

				terry at wsccs