projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bfcf0b) | patch
[Ada] Handle defaults in declare_expressions in postconditions
authorEd Schonberg <schonberg@adacore.com>
Sat, 9 Jan 2021 21:57:21 +0000 (16:57 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 May 2021 08:19:01 +0000 (04:19 -0400)
commit052a00e8943d088aab64140bcda671b9eba54e47
treeb99b21b19ce17d61ad77ada5dc4a150d86e5b219tree | snapshot
parent0bfcf0b33d3198cbd6072191815104f9431fc330commit | diff
[Ada] Handle defaults in declare_expressions in postconditions

gcc/ada/

* sem_ch3.adb (Find_Type_Of_Object):  When In_Spec_Expression is
set and the object declaration generates a subtype indication,
build the corresponding subtype declaration and place it in tree
without the use of Insert_Actions, which is disabled in this
context.
gcc/ada/sem_ch3.adb diff | blob | history
Domain: System / Toolchain;