Path: ...!news-out.netnews.com!postmaster.netnews.com!us12.netnews.com!not-for-mail
X-Trace: DXC=61m?l3ba=hDlGci3SDSG>CHWonT5<]0TMQ;nb^V>PUfF`L[ofA1LK4AL]Xbg<imJ2D>VP6X<4Dm]FImggNeQQDRNWjB\<Me8\AG@GM\IYO6WZD>Oa:X5b?f8H
X-Complaints-To: support@blocknews.net
Date: Mon, 17 Jun 2024 09:45:36 -0400
MIME-Version: 1.0
User-Agent: Betterbird (Windows)
Subject: Re: Whaddaya think?
Newsgroups: comp.lang.c
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>
Content-Language: en-US
From: DFS <nospam@dfs.com>
In-Reply-To: <v4oiup$gpg0$2@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 20
Message-ID: <66703dfd$0$7081$882e4bbb@reader.netnews.com>
NNTP-Posting-Host: 127.0.0.1
X-Trace: 1718631933 reader.netnews.com 7081 127.0.0.1:57205
Bytes: 1840

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."