]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Avoid forced loading of System.Priority in CodePeer mode
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 17 Apr 2020 11:34:53 +0000 (13:34 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:20 +0000 (05:08 -0400)
commit0f7b6a2eb31828b17bba64423249a61266090d5d
tree4e15637a217af082d2372bd2a97a9646ad5c0ad7
parent606e70fd3d8abf2a74fab56faeecfb8e249178ca
[Ada] Avoid forced loading of System.Priority in CodePeer mode

2020-06-18  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.
gcc/ada/sem_eval.adb