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

sem_ch10.adb (Analyze_Compilation_Unit): For a library subprogram body that acts as spec...

Browse Source 
2011-12-02  Thomas Quinot  <quinot@adacore.com>

	* sem_ch10.adb (Analyze_Compilation_Unit): For a library subprogram
	body that acts as spec, do not create a shallow copy of the context
	clause for the synthetized spec (instead, use the same list as
	in the body).

From-SVN: r181918
This commit is contained in:
Thomas Quinot 2011-12-02 14:56:34 +00:00 committed by Arnaud Charlet
parent 414b312e6c
commit 81435e80be
2 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/ChangeLog
View File

@ -1,3 +1,10 @@
2011-12-02 Thomas Quinot <quinot@adacore.com>
* sem_ch10.adb (Analyze_Compilation_Unit): For a library subprogram
body that acts as spec, do not create a shallow copy of the context
clause for the synthetized spec (instead, use the same list as
in the body).
2011-12-02 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Clarify usage of -p binder switch.

13
gcc/ada/sem_ch10.adb
View File

@ -807,9 +807,20 @@ package body Sem_Ch10 is
begin
Set_Comes_From_Source_Default (False);
-- Checks for redundant USE TYPE clauses have a special
-- exception for the synthetic spec we create here. This
-- special case relies on the two compilation units
-- sharing the same context clause.
-- Note: We used to do a shallow copy (New_Copy_List),
-- which defeated those checks and also created malformed
-- trees (subtype mark shared by two distinct
-- N_Use_Type_Clause nodes) which crashed the compiler.
Lib_Unit :=
Make_Compilation_Unit (Loc,
Context_Items => New_Copy_List (Context_Items (N)),
Context_Items => Context_Items (N),
Unit =>
Make_Subprogram_Declaration (Sloc (N),
Specification =>