diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index 43829516c56..ad60a45273d 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)