projects
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
90a1abf
)
[Ada] Avoid forced loading of System.Priority in CodePeer mode
author
Piotr Trojanek
<trojanek@adacore.com>
Sun, 10 May 2020 08:03:35 +0000
(10:03 +0200)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Mon, 6 Jul 2020 11:35:34 +0000
(07:35 -0400)
gcc/ada/
* checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.
gcc/ada/checks.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/checks.adb
b/gcc/ada/checks.adb
index b22d6f38fdbaf1bf51dd301b6ae9a57db6573888..8ead721d4435a06e6a38ff9e34f3006ad30d3f45 100644
(file)
--- 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;