[Ada] AI12-0307: uniform resolution rules for aggregates
authorEd Schonberg <schonberg@adacore.com>
Wed, 12 Aug 2020 21:30:29 +0000 (17:30 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:19 +0000 (08:11 -0400)
commitc44885927186c7ab498618c0e6173d6ef0d3b633
tree5667ee597c6a698a50af8344645071dbd0eca186
parent1c583927a57a06e9f94de4c982ae827d227543ab
[Ada] AI12-0307: uniform resolution rules for aggregates

gcc/ada/

* sem_util.ads, sem_util.adb (Check_Ambiguous_Aggregate): When a
subprogram call is found to be ambiguous, check whether
ambiguity is caused by an aggregate actual.  and indicate that
it should carry a type qualification.
* sem_ch4.adb (Traverse_Hoonyms, Try_Primitive_Operation): Call
it.
* sem_res.adb (Report_Ambiguous_Argument): Call it.
gcc/ada/sem_ch4.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads