diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-15 10:15:49 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-15 10:15:49 +0100 |
| commit | 1f163ef7ac70375b21ab891ec543a2bca7205dda (patch) | |
| tree | c43cf174da633a8771c76dd0a61ddba4871bb105 /gcc/ada/sem_elab.ads | |
| parent | b3e42de5be47e747f427cda06482e2bddc3b9947 (diff) | |
| download | gcc-1f163ef7ac70375b21ab891ec543a2bca7205dda.zip gcc-1f163ef7ac70375b21ab891ec543a2bca7205dda.tar.gz gcc-1f163ef7ac70375b21ab891ec543a2bca7205dda.tar.bz2 | |
[multiple changes]
2012-03-15 Robert Dewar <dewar@adacore.com>
* errout.ads: Add entry for translating -gnateinn to
/MAX_INSTANTIATIONS for VMS.
* hostparm.ads (Max_Instantiations): Moved to Opt.
* opt.ads (Maximum_Instantiations): Moved from Hostparm, and renamed.
* sem_ch12.adb (Maximum_Instantiations): New name of
Max_Instantiations (Analyze_Package_Instantiation): Change error
msg for too many instantiations (mention -gnateinn switch).
* switch-c.adb (Scan_Front_End_Switches): Implement -gnateinn switch.
* switch.ads: Minor comment update.
* usage.adb (Usage): Output line for -maxeinn switch.
* vms_data.ads: Add entry for MAX_INSTANTIATIONS (-gnateinn).
2012-03-15 Yannick Moy <moy@adacore.com>
* alfa.ads Update the decription of ALI sections.
(Alfa_File_Record): Add a component Unit_File_Name to store the
unit file name for subunits.
* get_alfa.adb, put_alfa.adb Adapt to the possible presence of
a unit file name.
* lib-xref-alfa.adb (Add_Alfa_File): For subunits, retrieve the
file name of the unit.
2012-03-15 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Check_Subprogram_Contract): Do
not issue warning on missing 'Result in postcondition if all
postconditions and contract-cases already get a warning for only
referring to pre-state.
2012-03-15 Bob Duff <duff@adacore.com>
* debug.adb: Add new debug switch -gnatd.U, which disables the
support added below, in case someone trips over a cycle, and needs
to disable this.
* sem_attr.adb (Analyze_Access_Attribute):
Treat Subp'Access as a call for elaboration purposes.
* sem_elab.ads, sem_elab.adb (Check_Elab_Call): Add support
for Subp'Access.
From-SVN: r185422
Diffstat (limited to 'gcc/ada/sem_elab.ads')
| -rw-r--r-- | gcc/ada/sem_elab.ads | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/sem_elab.ads b/gcc/ada/sem_elab.ads index 2bea37d..abae4dd 100644 --- a/gcc/ada/sem_elab.ads +++ b/gcc/ada/sem_elab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1997-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1997-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -122,8 +122,9 @@ package Sem_Elab is (N : Node_Id; Outer_Scope : Entity_Id := Empty; In_Init_Proc : Boolean := False); - -- Check a call for possible elaboration problems. The node N is either - -- an N_Function_Call or N_Procedure_Call_Statement node. The Outer_Scope + -- Check a call for possible elaboration problems. The node N is either an + -- N_Function_Call or N_Procedure_Call_Statement node or an access + -- attribute reference whose prefix is a subprogram. The Outer_Scope -- argument indicates whether this is an outer level call from Sem_Res -- (Outer_Scope set to Empty), or an internal recursive call (Outer_Scope -- set to entity of outermost call, see body). Flag In_Init_Proc should be |