[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)
commita9e48b0d475407bbc79be88c6d086a9d837d4ca3
treecdf12739b3ea93a8843808a6beac97e39d5622a9
parent90a1abf304ff076f2e96a5d039f549e99124a606
[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