[Ada] Wording problems with predicates (AI12-0099)
authorGary Dismukes <dismukes@adacore.com>
Sun, 3 May 2020 22:45:37 +0000 (18:45 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:34:51 +0000 (07:34 -0400)
commit60e010e7f39b10bbc8e8b5d8a956335c5b42b39e
tree36a3a6a06a9fbe2e26705538550a0532a1953752
parent37e43fe13e163799618f5e2eb8f84cdcfa4e4f3b
[Ada] Wording problems with predicates (AI12-0099)

gcc/ada/

* sem_aux.adb: Add a with clause for Nlists.
(Nearest_Ancestor): Test for the case of concurrent
types (testing for both Is_Concurrent_Type and
Is_Concurrent_Record_Type), and return the first ancestor in the
Interfaces list if present (otherwise will return Empty if no
interfaces).
* sem_ch13.adb (Build_Predicate_Functions): Add a ??? comment
about missing handling for adding predicates when they can be
inherited from multiple progenitors.
gcc/ada/sem_aux.adb
gcc/ada/sem_ch13.adb