diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-10 10:03:35 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-06 07:35:34 -0400 |
| commit | a9e48b0d475407bbc79be88c6d086a9d837d4ca3 (patch) | |
| tree | cdf12739b3ea93a8843808a6beac97e39d5622a9 /gcc | |
| parent | 90a1abf304ff076f2e96a5d039f549e99124a606 (diff) | |
| download | gcc-a9e48b0d475407bbc79be88c6d086a9d837d4ca3.zip gcc-a9e48b0d475407bbc79be88c6d086a9d837d4ca3.tar.gz gcc-a9e48b0d475407bbc79be88c6d086a9d837d4ca3.tar.bz2 | |
[Ada] Avoid forced loading of System.Priority in CodePeer mode
gcc/ada/
* checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/checks.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index b22d6f3..8ead721 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; |