Re: Formal semantics for C
On 27-Dec-2001, Matthias Felleisen <firstname.lastname@example.org> wrote:
> What's the boundary of a pointer?
If the pointer points to an element of an array object,
then the bounds are the bounds of that array (see C99 6.5.6 [#8]).
If the pointer points to an object that is not an element of an array,
then it "behaves the same as a pointer to the first element of an array
of length one" (C99 6.5.6 [#7]).
Fergus Henderson <email@example.com> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.