]> git.ipfire.org Git - thirdparty/gcc.git/commit
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 Apr 2016 10:19:57 +0000 (10:19 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 Apr 2016 10:19:57 +0000 (10:19 +0000)
commit6ea76371d7bdb0afffe8c3264a9ba7b660dd561d
treefbc908f1eaee497bacf39f846a2908c0f26aa8eb
parent58e133a606c547ae2a65b3173968c0155124992c
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235254 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_type.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads