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.
next prev 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