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-Thread: a07f3367d7,b44a149ee4e73a99 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!l2g2000prg.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: Re: Runtime check : what about you ? Date: Fri, 17 Jun 2011 11:59:37 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: NNTP-Posting-Host: 66.126.103.122 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1308337288 26608 127.0.0.1 (17 Jun 2011 19:01:28 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 17 Jun 2011 19:01:28 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: l2g2000prg.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: ARLUEHNKC X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.0; WOW64; Trident/4.0; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR 3.5.30729; .NET CLR 3.0.30618; .NET4.0C),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:19927 Date: 2011-06-17T11:59:37-07:00 List-Id: On Jun 17, 10:53=A0am, Jeffrey Carter wrote: > On 06/17/2011 02:42 AM, Yannick Duch=EAne (Hibou57) wrote: > > > > > Just out of curiosity as much as because this may be worth to discuss i= t to some > > (at least because there are some reflex with that) : how many of your t= ypically > > compile releases with runtime check and how many of you typically compi= le > > releases without runtime check ? > > The description of the language in the ARM includes run-time checks. If c= hecks > are turned off, then you're using some other language, not Ada. Then I guess the RM sections on the Suppress pragma must be a big fat misprint. Obviously, they're rogue pages that sneaked into the RM from the standard for some other language. Really, I don't see the point of statements like that. Ada is a tool, to be used for practical purposes. It's not a religion. And it was certainly part of the intent of Ada's designers that developers would develop their programs with checking turned on but then turn it off after the program has been tested and is ready to be put into production. It's interesting to me that no one here has admitted doing this; I don't know what this means, except that perhaps they're only developing programs for which the computation time is small to the amount of time spent waiting for the user to figure out where to move the cursor, or something. Or that no one is developing programs that require a long intensive algorithm on a large 2-D array or something like that, for which turning off checking could easily make a huge difference. -- Adam