diff options
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index fa1c0555d97..2221f0ea292 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -93,6 +93,8 @@ package Checks is -- Sets Do_Overflow_Check flag in node N, and handles possible local raise. -- Always call this routine rather than calling Set_Do_Overflow_Check to -- set an explicit value of True, to ensure handling the local raise case. + -- Note that this call has no effect for MOD, REM, and unary "+" for which + -- overflow is never possible in any case. procedure Activate_Range_Check (N : Node_Id); pragma Inline (Activate_Range_Check); |