Re: Run-time checking and speed

[kdm@puppy.rational.com (Kent Mitchell)]

Robert Dewar (dewar@cs.nyu.edu) wrote:
: 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.

Can you explain how runtime checking can create code that cannot be
executed.  It would seem that if the checking code is in there is *is*
going to do the check.  I've worked on a lot of "safety critical" software
projects and I've never seen the checks turned off because of the reason
you state (though I've seen a lot of other reasons).

--
Kent Mitchell                   | One possible reason that things aren't
Technical Consultant            | going according to plan is .....
Rational Software Corporation   | that there never *was* a plan!