From: Piotr Trojanek <trojanek@adacore.com>
Date: Sun, 10 May 2020 08:03:35 +0000 (+0200)
Subject: [Ada] Avoid forced loading of System.Priority in CodePeer mode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9e48b0d475407bbc79be88c6d086a9d837d4ca3;p=gcc.git

[Ada] Avoid forced loading of System.Priority in CodePeer mode

gcc/ada/

	* checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.
---

diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index b22d6f38fdb..8ead721d443 100644
--- a/gcc/ada/checks.adb
+++ b/gcc/ada/checks.adb
@@ -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;