projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8472d81) | patch
[Ada] Ada_2020: shared variable control aspects on formal derived types
authorEd Schonberg <schonberg@adacore.com>
Mon, 10 Feb 2020 00:30:05 +0000 (19:30 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:53 +0000 (03:50 -0400)
commit2f7294f23e87c4e0a48e50814ab7bb9a4a756a9f
tree683b4dc1ab0ef4073de87628ba97e5659266bdectree
parent8472d81ea00dc16a55b55a21ed34499390604941commit | diff
[Ada] Ada_2020: shared variable control aspects on formal derived types

2020-06-08  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* par-ch12.adb (P_Formal_Derived_Type_Definition): Handle
properly formal derived types that include aspect
specifications, so that the "with" keyword appears twice in the
formal type declaration.
* sem_ch13.adb (Has_Generic_Parent): Return true if the type
itself is a generic formal.
gcc/ada/par-ch12.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history