From a9e48b0d475407bbc79be88c6d086a9d837d4ca3 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Sun, 10 May 2020 10:03:35 +0200 Subject: [PATCH] [Ada] Avoid forced loading of System.Priority in CodePeer mode gcc/ada/ * checks.adb (Apply_Scalar_Range_Check): Use Is_RTE. --- gcc/ada/checks.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2