Re: Static vs dynamic evaluation anomaly?

["Adam Beneschan" <adam@irvine.com>]

On Feb 7, 4:48 pm, "Jeffrey R. Carter" <jrcar...@acm.org> wrote:

> What's happening (I think) is the base type is 8 bits. Without -gnato,
> there's no check to see if the result exceeds this and should be reduced
> mod the modulus, so an out-of-range value is produced.

Hmmm.  This is certainly not the way I would expect a "perform this
check" or "don't perform this check" flag to work.  To me, if the
semantics of the language say that a value should be reduced by a
modulus, then it should always be reduced regardless of what flags are
present.  The only effect I'd expect a flag like this to have is in a
case where performing a check would raise an exception; then not
performing the check would have different behavior (possibly returning
an out-of-range value or reading out-of-range memory or dying on an
invalid memory access or something).  But I wouldn't expect any change
in behavior in a case where no exception is raised even with checking
turned on.

                              -- Adam