diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 16:15:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 16:15:16 +0200 |
| commit | 0613fb3358d0a523ed8148c589852c28b4aa1eb9 (patch) | |
| tree | bb3332d903d9e7eb4e1c17f1cef9127fabb3e2b7 /gcc/ada/sem_ch6.ads | |
| parent | 5dcab3ca08db53487bf2a2dbdd380009ea1bc927 (diff) | |
| download | gcc-0613fb3358d0a523ed8148c589852c28b4aa1eb9.zip gcc-0613fb3358d0a523ed8148c589852c28b4aa1eb9.tar.gz gcc-0613fb3358d0a523ed8148c589852c28b4aa1eb9.tar.bz2 | |
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Move_Activation_Chain): Rewritten. The routine
no longer needs to search through the entities of the return
statement scope to find the _chain.
* sem_ch5.adb: Add with and use clauses for Exp_Ch6 and Sem_Ch6.
(Analyze_Block_Statement): Add local variable
Is_BIP_Return_Statement. Add machinery to install all entities
produced by the expansion of the return object declaration.
(Install_Return_Entities): New routine.
* sem_ch6.ads, sem_ch6.adb (Install_Entity): Moved from body to spec.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_Context): Apply simple fixup if context
of subunit is incomplete.
(Analyze_Proper_Body): If parent spec is not available, do not
attempt analysis.
From-SVN: r178549
Diffstat (limited to 'gcc/ada/sem_ch6.ads')
| -rw-r--r-- | gcc/ada/sem_ch6.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch6.ads b/gcc/ada/sem_ch6.ads index 1ca6f3b..6d5496c 100644 --- a/gcc/ada/sem_ch6.ads +++ b/gcc/ada/sem_ch6.ads @@ -179,6 +179,9 @@ package Sem_Ch6 is -- Determines if two subtype definitions are fully conformant. Used -- for entry family conformance checks (RM 6.3.1 (24)). + procedure Install_Entity (E : Entity_Id); + -- Place a single entity on the visibility chain + procedure Install_Formals (Id : Entity_Id); -- On entry to a subprogram body, make the formals visible. Note that -- simply placing the subprogram on the scope stack is not sufficient: |