Syntax:
pragma Overflow_Mode ( [General =>] MODE [,[Assertions =>] MODE]); MODE ::= STRICT | MINIMIZED | ELIMINATED
This pragma sets the current overflow mode to the given setting. For details
of the meaning of these modes, please refer to the
’Overflow Check Handling in GNAT’ appendix in the
GNAT User’s Guide. If only the General parameter is present,
the given mode applies to all expressions. If both parameters are present,
the General mode applies to expressions outside assertions, and
the Eliminated mode applies to expressions within assertions.
The case of the MODE parameter is ignored,
so MINIMIZED, Minimized and
minimized all have the same effect.
The Overflow_Mode pragma has the same scoping and placement
rules as pragma Suppress, so it can occur either as a
configuration pragma, specifying a default for the whole
program, or in a declarative scope, where it applies to the
remaining declarations and statements in that scope.
The pragma Suppress (Overflow_Check) suppresses
overflow checking, but does not affect the overflow mode.
The pragma Unsuppress (Overflow_Check) unsuppresses (enables)
overflow checking, but does not affect the overflow mode.