By default, GNAT generates all run-time checks, except stack overflow checks, and checks for access before elaboration on subprogram calls. The latter are not required in default mode, because all necessary checking is done at compile time.
The gnat switch,
-gnatp allows this default to be modified. See
Our experience is that the default is suitable for most development purposes.
Elaboration checks are off by default, and also not needed by default, since GNAT uses a static elaboration analysis approach that avoids the need for run-time checking. This manual contains a full chapter discussing the issue of elaboration checks, and if the default is not satisfactory for your use, you should read this chapter.
For validity checks, the minimal checks required by the Ada Reference
Manual (for case statements and assignments to array elements) are on
by default. These can be suppressed by use of the
Note that in Ada 83, there were no validity checks, so if the Ada 83 mode
is acceptable (or when comparing GNAT performance with an Ada 83 compiler),
it may be reasonable to routinely use
-gnatVn. Validity checks
are also suppressed entirely if
-gnatp is used.
Note that the setting of the switches controls the default setting of
the checks. They may be modified using either
pragma Suppress (to
remove checks) or
pragma Unsuppress (to add back suppressed
checks) in the program source.