Next: , Previous: Pragma Subtitle, Up: Implementation Defined Pragmas

Pragma Suppress


     pragma Suppress (Identifier [, [On =>] Name]);

This is a standard pragma, and supports all the check names required in the RM. It is included here because GNAT recognizes one additional check name: Alignment_Check which can be used to suppress alignment checks on addresses used in address clauses. Such checks can also be suppressed by suppressing range checks, but the specific use of Alignment_Check allows suppression of alignment checks without suppressing other range checks.