diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2016-04-20 10:19:57 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 12:19:57 +0200 |
| commit | 5c63aafa2e9b9854ee03481d33b8cc009c818e4e (patch) | |
| tree | fbc908f1eaee497bacf39f846a2908c0f26aa8eb /gcc/ada/sem_util.ads | |
| parent | 7e22a38c2f5f173ac220cd9ec70b55ce08243797 (diff) | |
| download | gcc-5c63aafa2e9b9854ee03481d33b8cc009c818e4e.zip gcc-5c63aafa2e9b9854ee03481d33b8cc009c818e4e.tar.gz gcc-5c63aafa2e9b9854ee03481d33b8cc009c818e4e.tar.bz2 | |
sem_ch12.adb (Qualify_Universal_Operands): New routine.
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Qualify_Universal_Operands): New routine.
(Save_References_In_Operator): Add explicit qualifications in
the generic template for all operands of universal type.
* sem_type.adb (Disambiguate): Update the call to Matches.
(Matches): Reimplemented.
* sem_util.ads, sem_util.adb (Yields_Universal_Type): New routine.
From-SVN: r235254
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 84a436c..36cae43 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2295,4 +2295,7 @@ package Sem_Util is -- * A synchronized interface type -- * A task type + function Yields_Universal_Type (N : Node_Id) return Boolean; + -- Determine whether unanalyzed node N yields a universal type + end Sem_Util; |