Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: James Kuyper <jameskuyper@alumni.caltech.edu>
Newsgroups: comp.lang.c
Subject: =?UTF-8?Q?Re=3A_technology_discussion_=E2=86=92_does_the_world_need?=
 =?UTF-8?B?IGEgIm5ldyIgQyA/?=
Date: Wed, 10 Jul 2024 18:29:06 -0400
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <v6n1vi$239h6$1@dont-email.me>
References: <v66eci$2qeee$1@dont-email.me> <v6ard1$3ngh6$4@dont-email.me>
 <v6b0jv$3nnt6$1@dont-email.me> <87h6d2uox5.fsf@nosuchdomain.example.com>
 <v6d779$6rk5$2@dont-email.me> <v6e76u$c0i9$1@dont-email.me>
 <v6esqm$fian$2@dont-email.me> <v6f7vg$hgam$1@dont-email.me>
 <20240707164747.258@kylheku.com> <v6gl83$s72a$1@dont-email.me>
 <v6h8ao$ur1v$1@dont-email.me> <v6jhk3$1drd6$1@dont-email.me>
 <v6jiud$1dsjb$1@dont-email.me> <877cdur1z9.fsf@bsb.me.uk>
 <v6joi4$1epoj$1@dont-email.me> <871q42qy33.fsf@bsb.me.uk>
 <v6k6i0$1h4d3$1@dont-email.me> <87ed82p28y.fsf@bsb.me.uk>
 <v6m03l$1tf05$1@dont-email.me> <87r0c1nzjj.fsf@bsb.me.uk>
 <v6m716$1urj4$1@dont-email.me> <86ikxd8czu.fsf@linuxsc.com>
 <v6mggd$20g3f$1@dont-email.me> <20240710213910.00000afd@yahoo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 11 Jul 2024 00:29:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7338e67614b36e18c17f3563b3f8bed2";
	logging-data="2205222"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/+BP79bShcV6xR3v14qK8Ig0wu3s7Wrak="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:LfwrQNpNdNcZAi5cYdKUvUcyEHw=
Content-Language: en-US
In-Reply-To: <20240710213910.00000afd@yahoo.com>
Bytes: 2664

On 7/10/24 14:39, Michael S wrote:
....
> ... For functions, it happens in
> all contexts except function call. Or, may be, including function call,

Actually, it is the latter. In a function call expression:

"The expression that denotes the called function104) shall have type
pointer to function ..." (6.5.2.2p1).

Conveniently,

"A function designator is an expression that has function type. Except
when it is the operand of the sizeof operator69) , a typeof operator, or
the unary & operator, a function designator with type "function
returning type" is converted to an expression that has type "pointer to
function returning type"." (6.3.2.1p4).

In K&R C, the function designator had to have a function type, and there
was no implicit conversion to a pointer, but both of those things were
changed when the language was first standardized.