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: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Whaddaya think?
Date: Mon, 17 Jun 2024 15:44:13 -0700
Organization: None to speak of
Lines: 25
Message-ID: <87y173196q.fsf@nosuchdomain.example.com>
References: <666ded36$0$958$882e4bbb@reader.netnews.com>
	<20240616015649.000051a0@yahoo.com> <v4lm16$3s87h$4@dont-email.me>
	<v4lmso$3sl7n$1@dont-email.me> <v4lr0m$3tbpj$1@dont-email.me>
	<8734pd4g3s.fsf@nosuchdomain.example.com>
	<v4ltuj$3trj2$1@dont-email.me>
	<87ed8w3025.fsf@nosuchdomain.example.com> <868qz4kty7.fsf@linuxsc.com>
	<v4oiup$gpg0$2@dont-email.me>
	<66703dfd$0$7081$882e4bbb@reader.netnews.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Tue, 18 Jun 2024 00:44:13 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="aed299878570cb32e21d076f9aa05b90";
	logging-data="1021804"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+dy9uk0tKIsJ4cQ7KFIXKZ"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
Cancel-Lock: sha1:98wUJSrsgpfeAu1Q8rb5aTKASGc=
	sha1:Kmnf54OA1YfcoB7n/MuFrvuX7sg=
Bytes: 2300

DFS <nospam@dfs.com> writes:
> On 6/17/2024 1:52 AM, Janis Papanagnou wrote:
>> On 17.06.2024 07:40, Tim Rentsch wrote:
>>> Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
>>>
>>>> The worst consequence of undefined behavior is having your code
>>>> appear to "work".
>>>
>>> Personally I think causing a missle launch that started a
>>> worldwide thermonuclear war would be a worse consequence.
>>> YMMV.
>> I think I wouldn't code a missile control system in "C". ;-)
>> Janis
>
> Per "Google AI Overview": "In 1987, the Department of Defense mandated
> that Ada be the standard programming language for Defense computer 
> resources used in military command and control systems."

Please don't post AI-based misinformation.

The DOD Ada mandate was introduced in 1991, and effectively dropped in 1997.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */