pragma
SUPPRESS(identifier [, [ON =>] name]);
12 | DIVISION_CHECK | Check that the second operand is not zero for the operations /, rem , and mod .
13 | OVERFLOW_CHECK | Check that the result of a numeric operation does not overflow.
| |
17 | STORAGE_CHECK | Check that execution of an allocator does not require more space than is available for a collection. Check that the space available for a task or subprogram has not been exceeded. |
pragma
SUPPRESS(RANGE_CHECK);
pragma
SUPPRESS(INDEX_CHECK, ON => TABLE);