Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.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: Re: A Famous Security Bug
Date: Fri, 22 Mar 2024 13:14:49 -0400
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <utkea9$31sr2$1@dont-email.me>
References: <bug-20240320191736@ram.dialup.fu-berlin.de>
 <20240320114218.151@kylheku.com>
 <20240321211306.779b21d126e122556c34a346@gmail.moc>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 22 Mar 2024 17:14:50 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="a1b08a0f50df3424e24db82030d31985";
	logging-data="3208034"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/iFVO8OHBya6sGTju2kCV8f7wdDzA6AMw="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nwe2Oq/POjgC3HI7JhsNbaq3ZG0=
In-Reply-To: <20240321211306.779b21d126e122556c34a346@gmail.moc>
Content-Language: en-US
Bytes: 1925

On 3/21/24 14:13, Anton Shepelev wrote:
....
> I think this behavior (of a C compiler) rather stupid.  In a
> low-level imperative language, the compiled program shall
> do whatever the programmer commands it to do.

C is NOT that low a level of language. The standard explicitly allows
implementations to use any method they find convenient to produce
observable behavior which is consistent with the requirements of the
standard. Despite describing how that behavior might be produced by the
abstract machine, it explicitly allows an implementation to achieve that
behavior by other means.

If you want to tell a system not only what a program must do, but also
how it must do it, you need to use a lower-level language than C. That's
not what C is for.