Re: Zoo question

[Ted Dennison <dennison@escmail.orl.mmc.com>]

Bob Gilbert wrote:
> 
> In article <321207F7.4D24@lmtas.lmco.com>, Ken Garlington <garlingtonke@lmtas.lmco.com> writes:
> > Bob Gilbert wrote:
> > >
> > > Right, so depending on the particular (Ada 83) compiler, the code may or
> > > may not produce the desired result, depending on whether the constraint
> > > check is performed within the begin block or not.
> >
> > Under what circumstances would it be acceptable to not generate a range
> > check when assigning a value of 6 to an object declared with range 1 .. 5?
> 
> Geez... did I actually type that?  I guess the only acceptable way to not
> generate the range check would be to compile with the checking turned off.

...or the check could be placed around the next USE of the value. This could
well be a useful optmization in some circumstances.

-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |