Re: Formal semantics for C

• To: Matthias Felleisen <matthias@ccs.neu.edu>
• Subject: Re: Formal semantics for C
• From: Fergus Henderson <fjh@cs.mu.oz.au>
• Date: Fri, 28 Dec 2001 02:14:00 +1100
• Cc: types@cis.upenn.edu
• In-Reply-To: <20011227142138.647CC206FC@sualocin.ccs.neu.edu>; from matthias@ccs.neu.edu on Thu, Dec 27, 2001 at 09:21:38AM -0500
• References: <200112221456.fBMEunr29447@saul.cis.upenn.edu> <200112221624.fBMGOdq04891@saul.cis.upenn.edu> <200112231526.fBNFQbM08076@saul.cis.upenn.edu> <20011225143316.GA2616@earth.cs.mu.oz.au> <20011226203040.77223206FC@sualocin.ccs.neu.edu> <20011228005417.B8142@hg.cs.mu.oz.au> <20011227142138.647CC206FC@sualocin.ccs.neu.edu>
• User-Agent: Mutt/1.2.5i

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.

• Re: Formal semantics for C
• From: Fergus Henderson <fjh@cs.mu.oz.au>
• Re: Formal semantics for C
• From: Matthias Felleisen <matthias@ccs.neu.edu>
• Re: Formal semantics for C
• From: Fergus Henderson <fjh@cs.mu.oz.au>
• Re: Formal semantics for C
• From: Matthias Felleisen <matthias@ccs.neu.edu>

• Prev: Re: Formal semantics for C
• Next: Component Pascal type system is unsound
• Index(es):
  • Main
  • Thread