diff options
| -rw-r--r-- | gcc/ada/checks.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 4382951..ad60a45 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -3823,6 +3823,11 @@ package body Checks is if Inside_A_Generic then return; + -- Nothing to do if the result type is universal integer + + elsif Typ = Universal_Integer then + return; + -- Nothing to do if checks are suppressed elsif Range_Checks_Suppressed (Typ) |