Path: csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 15 Sep 2011 14:26:37 -0500
Message-ID: <4E72516D.5E80@mindspring.com>
Date: Thu, 15 Sep 2011 15:26:37 -0400
From: pete <pfiland@mindspring.com>
Reply-To: pfiland@mindspring.com
Organization: PF
X-Mailer: Mozilla 3.04Gold (WinNT; I)
MIME-Version: 1.0
Newsgroups: comp.lang.c
Subject: Re: Address of array && address of pointer to array
References: <285449fe-33f9-4c81-893d-1d9349da0e95@x11g2000prb.googlegroups.com> <0.043e10b933bc7ff0fade.20110914144111BST.87sjnzz1fs.fsf@bsb.me.uk> <a5df2719-174b-41e0-a39d-659878de44f3@h7g2000yqm.googlegroups.com> <4E720A7B.2010401@verizon.net>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Lines: 30
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 4.154.221.1
X-Trace: sv3-KgK86C7GEyjbG0bMUTAfimCXzGjpxWj8sGECxZA5PTDHPllhFvAI6lPV5N2blkRfxv8HfyIFye+Bdm8!9g3RU5QBUGrvMfw6ykMnpDbkW2XNM4JufH6Ehx5EU3hyGMJlF/+kkHI7L7nncUWh/az9ZIdconi4!IAF9+IS7
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1973
Xref: x330-a1.tempe.blueboxinc.net comp.lang.c:10289

James Kuyper wrote:
> 
> On 09/15/2011 08:22 AM, Stanley Rice wrote:

> > So What you mean is that the compiler does most of things for us? I
> > have tried to compare the address of function, say
> >
> > void foo() { }
> >
> > assert((void *)foo == (void *)&foo);
> >
> > and it passes. Is it the reason as the issue of the array talk above ?
> 
> No, the rule for arrays doesn't apply here. However, as he said above,
> there is a similar rule for functions,
> and that is what makes this code work.



That code would be fine without the casts, 

    assert(foo == &foo);

but 
the result of a pointer to a function
being cast to a pointer to an incomplete type such as (void *), 
is undefined.

-- 
pete