noalias, again

[Doug Gwyn]

In article <10188 at ulysses.homer.nj.att.com> jss at hector (Jerry Schwarz) writes:
>Only by an auxilliary description that describes the semantics
>of strcpy can we be sure what is allowed.  In particular, I assume
>the committee will endorse the rule that any non-overlapping areas
>are ok, but overlapping areas aren't.

You may be right.  I thought one could deduce from "const noalias"
and "noalias" that overlapping was unsafe, but perhaps not.  In any
event, the current draft standard specification for strcpy() does
contain explicit non-overlapping wording.