Re: Formal semantics for C

On 27-Dec-2001, Matthias Felleisen <matthias@ccs.neu.edu> 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 <fjh@cs.mu.oz.au>  |  "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.