OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR ada/5690 (renaming subprograms and default_expression)

Browse Source 
* sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional
        case of a body created for a Renaming_As_Body, on which
        conformance checks are not performed. Fixes PR ada/5690.

From-SVN: r60158
This commit is contained in:
Geert Bosch 2002-12-15 17:18:20 +01:00 committed by Geert Bosch
parent 595416a87f
commit 93a81b023f
2 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/ChangeLog
View File

@ -1,3 +1,9 @@
2002-12-14 Geert Bosch <bosch@gnat.com>
* sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional
case of a body created for a Renaming_As_Body, on which
conformance checks are not performed. Fixes PR ada/5690.
2002-11-18 Nathanael Nerode <neroden@gcc.gnu.org> 2002-11-18 Nathanael Nerode <neroden@gcc.gnu.org>
* adaint.c (__gnat_tmp_name): Better, but good enough for now, * adaint.c (__gnat_tmp_name): Better, but good enough for now,
solution to buffer overflow bug on GNU/Linux. solution to buffer overflow bug on GNU/Linux.

10
gcc/ada/sem_ch6.adb
View File

@ -1056,9 +1056,15 @@ package body Sem_Ch6 is
-- and the test can lead to spurious errors on nested defaults. -- and the test can lead to spurious errors on nested defaults.
if Present (Spec_Decl) if Present (Spec_Decl)
and then Nkind (Original_Node (Spec_Decl)) =
N_Subprogram_Renaming_Declaration
and then not Comes_From_Source (N) and then not Comes_From_Source (N)
and then
(Nkind (Original_Node (Spec_Decl)) =
N_Subprogram_Renaming_Declaration
or else (Present (Corresponding_Body (Spec_Decl))
and then Nkind
(Unit_Declaration_Node (Corresponding_Body (Spec_Decl))) = + N_Subprogram_Renaming_Declaration))
then then
Conformant := True; Conformant := True;
else else