Default Settings (GNAT User’s Guide for Native Platforms)

#### 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 has no effect on the method used for computing intermediate results. The pragma `Unsuppress (Overflow_Check)` enables overflow checking but has no effect on the method used for computing intermediate results.