comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Runtime check : what about you ?
Date: Fri, 17 Jun 2011 19:26:29 -0500
Date: 2011-06-17T19:26:29-05:00	[thread overview]
Message-ID: <itgrbo$d20$1@munin.nbi.dk> (raw)
In-Reply-To: e0ac441f-db3e-4874-95ce-393524deef79@l2g2000prg.googlegroups.com

"Adam Beneschan" <adam@irvine.com> wrote in message 
news:e0ac441f-db3e-4874-95ce-393524deef79@l2g2000prg.googlegroups.com...
...
>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've done it, but not much recently. Even computationally intensive programs 
like my Solitare solver only needed it in a couple of very limited 
locations. And in the most recent such cases, I restructured the code (and 
admittedly, made the compiler smarter) so that the checks aren't generated 
in the first place -- which is of course the best of both worlds -- fast 
code which the compiler has proved to have no check failures.

                                    Randy.


 





  parent reply	other threads:[~2011-06-18  0:26 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-06-17  9:42 Runtime check : what about you ? Yannick Duchêne (Hibou57)
2011-06-17  9:56 ` Niklas Holsti
2011-06-17 10:06 ` Martin
2011-06-17 10:43 ` Simon Wright
2011-06-17 11:35 ` J-P. Rosen
2011-06-17 16:06 ` björn lundin
2011-06-17 19:18   ` Robert A Duff
2011-06-17 20:13     ` björn lundin
2011-06-17 20:34     ` Simon Wright
2011-06-17 17:53 ` Jeffrey Carter
2011-06-17 18:59   ` Adam Beneschan
2011-06-17 20:30     ` björn lundin
2011-06-18  0:19     ` Randy Brukardt
2011-06-18  0:26     ` Randy Brukardt [this message]
2011-06-18  3:08     ` tmoran
2011-06-18  7:16     ` J-P. Rosen
2011-06-18  8:04     ` Niklas Holsti
2011-06-17 20:12   ` Vinzent Hoefler
2011-06-17 20:12 ` Vinzent Hoefler
2011-06-18  0:15 ` Randy Brukardt
2011-06-18  0:29   ` Robert A Duff
2011-06-18  8:03     ` Dmitry A. Kazakov
2011-06-18  6:56 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox