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-Tag: basepoints/gcc-12~6407
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9e48b0d475407bbc79be88c6d086a9d837d4ca3;p=thirdparty%2Fgcc.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 b22d6f38fdba..8ead721d4435 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;