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: 103376,b44a149ee4e73a99 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Niklas Holsti Newsgroups: comp.lang.ada Subject: Re: Runtime check : what about you ? Date: Sat, 18 Jun 2011 11:04:09 +0300 Organization: Tidorum Ltd Message-ID: <9634fpF3o2U1@mid.individual.net> References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: individual.net iTsYx+vUkGI09G3CPX8xUgUMJjlqozIVUJxjk8xCjw8Ya8HLtD Cancel-Lock: sha1:4yi3G/62KKNxWAI3EQPed8BPD1w= User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328) In-Reply-To: Xref: g2news1.google.com comp.lang.ada:19949 Date: 2011-06-18T11:04:09+03:00 List-Id: Adam Beneschan wrote: > On Jun 17, 10:53 am, Jeffrey Carter > wrote: >> On 06/17/2011 02:42 AM, Yannick Duch�ne (Hibou57) wrote: >> >> >> >>> Just out of curiosity as much as because this may be worth to discuss it to some >>> (at least because there are some reflex with that) : how many of your typically >>> compile releases with runtime check and how many of you typically compile >>> releases without runtime check ? >> The description of the language in the ARM includes run-time checks. If checks >> 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; We effectively did that in my preceding Ada project (the platform on-board SW for the GOCE satellite) where we tested on a workstation using native compilation with checks on, but released cross-compiled target code with checks off. The target compiler does not support standard exception handling so we did not even have to think about whether and how we could have handled check failures on the target. (We did of course run the tests on the target, too, not just on the workstation.) -- Niklas Holsti Tidorum Ltd niklas holsti tidorum fi . @ .