diff options
| author | Robert Dewar <dewar@adacore.com> | 2012-05-15 09:40:25 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-05-15 11:40:25 +0200 |
| commit | 6eaa926a11892f8c650778c66b53c2041f600bdd (patch) | |
| tree | 15504b303918bbe47283e4c1811e669ec6aba4b6 /gcc/ada/sem_eval.adb | |
| parent | bb9c600b570e96332a06075f74affc3f51abe393 (diff) | |
| download | gcc-6eaa926a11892f8c650778c66b53c2041f600bdd.zip gcc-6eaa926a11892f8c650778c66b53c2041f600bdd.tar.gz gcc-6eaa926a11892f8c650778c66b53c2041f600bdd.tar.bz2 | |
s-osprim-mingw.adb, [...]: Minor reformatting
2012-05-15 Robert Dewar <dewar@adacore.com>
* s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
From-SVN: r187510
Diffstat (limited to 'gcc/ada/sem_eval.adb')
| -rw-r--r-- | gcc/ada/sem_eval.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 329a267..2393f6f 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -4669,6 +4669,10 @@ package body Sem_Eval is -- In Ada 2012, subtypes statically match if their static predicates -- match as well. + ---------------------- + -- Predicates_Match -- + ---------------------- + function Predicates_Match return Boolean is Pred1 : Node_Id; Pred2 : Node_Id; @@ -4699,6 +4703,8 @@ package body Sem_Eval is end if; end Predicates_Match; + -- Start of processing for Subtypes_Statically_Match + begin -- A type always statically matches itself @@ -4768,7 +4774,8 @@ package body Sem_Eval is HB2 : constant Node_Id := Type_High_Bound (T2); begin - -- If the bounds are the same tree node, then match + -- If the bounds are the same tree node, then match if and only + -- if any predicates present also match. if LB1 = LB2 and then HB1 = HB2 then return Predicates_Match; |