Dynamic Semantics

Implementation Permissions

For
the evaluation of a primary
that is a name
denoting an object of an unconstrained numeric subtype, if the value
of the object is outside the base range of its type, the implementation
may either raise Constraint_Error or return the value of the object.