diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-24 16:30:08 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-24 16:30:08 +0000 |
commit | ebadca1de6017da9639a8a086a731b1ee505cdf9 (patch) | |
tree | 6aec8ad587cff01ba9f05b72d71f56e0fad6ff70 /gcc/ada/einfo.adb | |
parent | cab1b01ebef65249e1d316261b3e0003d6a2b433 (diff) | |
download | gcc-ebadca1de6017da9639a8a086a731b1ee505cdf9.tar.gz |
2014-02-24 Robert Dewar <dewar@adacore.com>
* sinfo.ads, sem_ch12.adb, sem_res.adb, sem_ch4.adb, par-ch12.adb:
Minor reformatting.
* atree.ads, atree.adb (Node35): New function.
(Set_Node35): New procedure.
* debug.adb: Define new debug flag -gnatd.X.
* einfo.ads, einfo.adb (Import_Pragma): New field.
* freeze.adb (Wrap_Imported_Procedure): New procedure (not
really active yet, has to be activated with -gnatd.X.
* sem_prag.adb (Set_Imported): Set new Import_Pragma
field (Set_Imported): Don't set Is_Public (see
Freeze.Wrap_Imported_Subprogram)
* par-ch3.adb (P_Component_List): Handle unexpected null component.
2014-02-24 Yannick Moy <moy@adacore.com>
* sem_ch3.adb: Correct reference to SPARK RM in error messages.
* gnat_rm.texi: Correct documentation of attribute Update.
2014-02-24 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): Reject container
iterator in older versions of Ada.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208076 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.adb')
-rw-r--r-- | gcc/ada/einfo.adb | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 1502d446aad..01ec45a457d 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -257,7 +257,7 @@ package body Einfo is -- Contract Node34 - -- (unused) Node35 + -- Import_Pragma Node35 --------------------------------------------- -- Usage of Flags in Defining Entity Nodes -- @@ -1785,6 +1785,12 @@ package body Einfo is return Node4 (Id); end Homonym; + function Import_Pragma (Id : E) return E is + begin + pragma Assert (Is_Subprogram (Id)); + return Node35 (Id); + end Import_Pragma; + function Interface_Alias (Id : E) return E is begin pragma Assert (Is_Subprogram (Id)); @@ -4483,6 +4489,12 @@ package body Einfo is Set_Node4 (Id, V); end Set_Homonym; + procedure Set_Import_Pragma (Id : E; V : E) is + begin + pragma Assert (Is_Subprogram (Id)); + Set_Node35 (Id, V); + end Set_Import_Pragma; + procedure Set_Interface_Alias (Id : E; V : E) is begin pragma Assert @@ -9554,6 +9566,8 @@ package body Einfo is procedure Write_Field35_Name (Id : Entity_Id) is begin case Ekind (Id) is + when Subprogram_Kind => + Write_Str ("Import_Pragma"); when others => Write_Str ("Field35??"); end case; |