Path: csiph.com!eternal-september.org!feeder.eternal-september.org!nntp.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: Expression statements (was Re: Meaning of "expression")
Date: Sun, 23 Aug 2026 06:18:13 -0700
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <86cxv9ynze.fsf@linuxsc.com>
References: <10v7b32$2u85v$1@dont-email.me> <86bjdpayv0.fsf@linuxsc.com> <10vv49k$1aoa2$4@kst.eternal-september.org> <1107aq2$3grso$2@kst.eternal-september.org> <11093p9$1nauc$1@dont-email.me> <11095su$1obc$1@dont-email.me> <110981v$1nauc$2@dont-email.me> <1109ai6$1aa$1@dont-email.me> <110a4cv$b2kq$4@kst.eternal-september.org> <110etqg$1naub$9@dont-email.me> <110f1c5$1ltqf$1@dont-email.me> <110fdaf$1naub$11@dont-email.me> <110fkk2$1qf9f$2@kst.eternal-september.org> <111pr2q$5rbd$1@dont-email.me> <111q697$3cgp8$1@kst.eternal-september.org> <86qzlq7gkr.fsf@linuxsc.com> <111shoe$3vq40$3@kst.eternal-september.org> <86wlts5tbr.fsf@linuxsc.com> <115o0en$2rq0k$2@kst.eternal-september.org> <86ecfu15za.fsf@linuxsc.com> <11659ir$314h2$1@kst.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Sun, 23 Aug 2026 13:18:16 +0000 (UTC)
Injection-Info: dont-email.me; logging-data="2038578"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX187Y9CFZ501MDYs71DWgHfK7ZXb0KbqZ9Q="; posting-host="f66050aa85370b7b068c3e444f0a8412"
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:wc+UrFn7Pr2ogd7KvOwksayQm30= sha1:kGPKimF0VmCFCApBJVRKjtE4Dys= sha256:36EtOWrQTinyQb+ndNuwouM+bZmvBg5B0W0I+9ZsInQ= sha1:UmLtb3+BvFjc3YFJMpaW/x3yE64= sha256:rvmZhtBLTrj1VAgUy3vJKVNaqKU8B/M26pN5/VlmBv4=
Xref: csiph.com comp.lang.c:401431

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:

> Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
> [...]
>
>> I'm glad to know we are in agreement.
>
> We're not.

I don't know why you say this.  I said this:

   printf() could know if an argument were of an incorrect type,
   if an implementation chose to do so.

You said this:

   Certainly printf has no way defined by the language to know
   whether its arguments are of the correct types.  An
   implementation could provide that information via some
   system-specific method,

To me that statement implies that an implementation could provide a
printf() function that took advantage of the argument types you say
an implementation could provide, and thus could know if an argument
were of an incorrect type.  What part of what you think I am saying
do you not agree with?