[Ada] Avoid forced loading of System.Priority in CodePeer mode
authorPiotr Trojanek <trojanek@adacore.com>
Sun, 10 May 2020 08:03:35 +0000 (10:03 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:35:34 +0000 (07:35 -0400)
gcc/ada/

* checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.

gcc/ada/checks.adb

index b22d6f38fdbaf1bf51dd301b6ae9a57db6573888..8ead721d4435a06e6a38ff9e34f3006ad30d3f45 100644 (file)
@@ -3326,7 +3326,7 @@ package body Checks is
                         --  provide a wider range.
 
                         if not CodePeer_Mode
-                          or else Target_Typ /= RTE (RE_Priority)
+                          or else not Is_RTE (Target_Typ, RE_Priority)
                         then
                            Bad_Value;
                         end if;