From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Tests in a software release
Date: Tue, 14 Nov 2017 18:11:13 -0600
Organization: JSA Research & Innovation
Message-ID: <oug0n1$h7m$1@franka.jacob-sparre.dk>
References: <osqoph$1ves$1@gioia.aioe.org> <oss2c3$1p2m$1@gioia.aioe.org>
 <osvsjs$t4b$1@dont-email.me> <osvvds$s97$1@gioia.aioe.org>
 <ot19fo$7mi$2@dont-email.me> <ot1bvm$ub7$1@gioia.aioe.org>
 <ot82v3$h2c$1@dont-email.me> <ot83l0$1rb1$1@gioia.aioe.org>
 <ot981s$7m5$1@dont-email.me> <ot9cfr$1k6s$1@gioia.aioe.org>
 <oth5k4$eih$1@dont-email.me>
Injection-Date: Wed, 15 Nov 2017 00:11:14 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="17654"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: feeder.eternal-september.org comp.lang.ada:48899
Date: 2017-11-14T18:11:13-06:00
List-Id: <comp.lang.ada>

"G.B." <bauhaus@notmyhomepage.invalid> wrote in message 
news:oth5k4$eih$1@dont-email.me...
...
>> Checks can be removed only when statically proven not to fail.
>
> Programmers may remove checks whenever they think
> they should. No fancy proof is required(*).

Such programmers should be fired at the earliest opportunity. That turns Ada 
into an inferior version of C.

Such removal probably would have no impact on performance (can even harm it 
in some cases by preventing the removal of other checks), and just makes the 
code much less safe.

                    Randy.

P.S. Can you tell this is a hot button issue for me; I'm answering a stupid 
thread from almost a month ago!!