Re: CONSTRAINT_ERROR - why?

[Alfred Hilscher <Alfred.Hilscher@t-online.de>]

Dennis Lee Bieber schrieb:
> 
> From the user guide:
> 
> -gnato
>    Enables overflow checking for integer operations. This causes GNAT
> to generate slower and larger executable programs by adding code to
> check for overflow (resulting in raising Constraint_Error as required
> by standard Ada semantics). These overflow checks correspond to
> situations in which the true value of the result of an operation may be

"... the result of an operation ..." The result of the operation "/"
_does_ fit into a BYTE.

> outside the base range of the result type. The following example shows
> the distinction: