Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: David Brown <david.brown@hesbynett.no>
Newsgroups: comp.lang.c
Subject: Re: Whaddaya think?
Date: Tue, 18 Jun 2024 15:00:16 +0200
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <v4s0d0$1b7h1$3@dont-email.me>
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>
 <87y173196q.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 18 Jun 2024 15:00:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="000ac22a82b477e7b73d30c4bbbc814d";
	logging-data="1416737"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18e0yZwORX4nOA8Qe54cNrAb3Wl8OJVotw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.0
Cancel-Lock: sha1:uWghTBDRPX8hcsnNNao/k5PQU6Q=
In-Reply-To: <87y173196q.fsf@nosuchdomain.example.com>
Content-Language: en-GB
Bytes: 2837

On 18/06/2024 00:44, Keith Thompson wrote:
> 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.
> 

And of course the USA DoD (I assume, when DFS failed to mention the 
country, he meant the USA) is only for one country.  There are a great 
many other countries making missile control software around the world, 
and I know without doubt that Ada is not mandated in all of them.

The open-source RTEMS "Real-Time Executive for Missile Systems" RTOS is 
written in a mix of C and Ada, and supports at least C, Ada and C++ for 
user code.