[Ada] Add early return to Apply_Universal_Integer_Attribute_Checks

2020-06-17  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* checks.adb (Apply_Universal_Integer_Attribute_Checks): Do not do
	anything when the type of the node is already Universal_Integer.

diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index 43829516c56d844437420c53b0f3c0e5095823ee..ad60a45273de3c96f49aaeaa91fcdc8ebca7c138 100644 (file)
--- 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)