6.4.4 Default Settings

The default mode for overflow checks is

General => Strict

which causes all computations both inside and outside assertions to use the base type, and is equivalent to -gnato (with no digits following).

The pragma Suppress (Overflow_Check) disables overflow checking, but it has no effect on the method used for computing intermediate results.

The pragma Unsuppress (Overflow_Check) enables overflow checking, but it has no effect on the method used for computing intermediate results.