6.4 Overflow Check Handling in GNAT

This section explains how to control the handling of overflow checks.