diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-01-09 16:57:21 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-05 04:19:01 -0400 |
| commit | 052a00e8943d088aab64140bcda671b9eba54e47 (patch) | |
| tree | b99b21b19ce17d61ad77ada5dc4a150d86e5b219 /gcc/ada/sem_ch5.adb | |
| parent | 0bfcf0b33d3198cbd6072191815104f9431fc330 (diff) | |
| download | gcc-052a00e8943d088aab64140bcda671b9eba54e47.zip gcc-052a00e8943d088aab64140bcda671b9eba54e47.tar.gz gcc-052a00e8943d088aab64140bcda671b9eba54e47.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
0 files changed, 0 insertions, 0 deletions