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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9da298537a16487e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-23 15:38:06 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!gw1.att.com!fnnews.fnal.gov!uwm.edu!news.alpha.net!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Run-time checking and speed
Date: 23 Jan 1995 18:38:06 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3g1eku$lmd@gnat.cs.nyu.edu>
References: <3ev16u$ojc@pong.lasc.lockheed.com> <3f3deb$4us@gnat.cs.nyu.edu>
 <3fa2pk$kbi@felix.seas.gwu.edu> <EACHUS.95Jan17151835@spectre.mitre.org>
 <3fu902$6al@felix.seas.gwu.edu>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-01-23T18:38:06-05:00
List-Id: <comp.lang.ada>

Mike, you miss the point that in some environments it is REQUIRED to turn
off runtime checking.

Why, because runtime checking can create code that cannot be executed, and
in some verification environments coverage testing is required, so you cannot
have code and logic paths that cannot be executed.