🚀 go-pugleaf

In article <14633@ulysses.att.com> kpv@ulysses.att.com (Phong Vo[drew]) writes:
   Just to make this concrete, the following example is mathematically correct
   given all the usual definitions of the C operators. It is incorrect because
   it is not portable.

The "usual" definitions usually assume various nonportable things;
part of the ANSI effort was to better specify the language.  As an
aside, K&R2 says that if the pointer resulting from address arithmatic
points outside the array, the effect is undefined.  Surely you
couldn't show that example to be "mathematically correct" given that
rule.