projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e22a38) | patch
sem_ch12.adb (Qualify_Universal_Operands): New routine.
authorHristian Kirtchev <kirtchev@adacore.com>
Wed, 20 Apr 2016 10:19:57 +0000 (10:19 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 20 Apr 2016 10:19:57 +0000 (12:19 +0200)
commit5c63aafa2e9b9854ee03481d33b8cc009c818e4e
treefbc908f1eaee497bacf39f846a2908c0f26aa8ebtree
parent7e22a38c2f5f173ac220cd9ec70b55ce08243797commit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_type.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history