diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 13:01:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 13:01:32 +0200 |
| commit | a6d25cadecc8f573fa66131b8a89c9047d596794 (patch) | |
| tree | 40189fb2688db0f8dfa38e3d0ebb85abeba0a155 /gcc/ada/scos.h | |
| parent | 27eaddda0f838d0c837d902dea4505c48312ef17 (diff) | |
| download | gcc-a6d25cadecc8f573fa66131b8a89c9047d596794.zip gcc-a6d25cadecc8f573fa66131b8a89c9047d596794.tar.gz gcc-a6d25cadecc8f573fa66131b8a89c9047d596794.tar.bz2 | |
[multiple changes]
2017-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb Add new type Visited_Element
and update the contents of table Elab_Visited. Various code clean up.
(Check_Elab_Call): Determine whether a prior call to
the same subprogram was already examined within the same context.
(Check_Internal_Call_Continue): Register the subprogram being
called as examined within a particular context. Do not suppress
elaboration warnings.
2017-04-27 Gary Dismukes <dismukes@adacore.com>
* xoscons.adb, osint.ads: Minor reformatting.
2017-04-27 Bob Duff <duff@adacore.com>
* g-dyntab.ads, g-dyntab.adb: Misc cleanup. Rename
Table_Count_Type --> Table_Last_Type, because the name
was confusing (a "count" usually starts at zero). Add
functionality supported or needed by other tables packages
(Move, Release_Threshold).
* g-table.ads, g-table.adb: This is now just a thin wrapper
around g-dyntab.ads/g-dyntab.adb. Add functionality supported
or needed by other tables packages (Save, Restore).
* table.ads, table.adb: This is now just a thin wrapper around
* g-table.ads/g-table.adb.
* namet.h, scos.h, uintp.h: These files are reaching into the
private data of some instances of g-table, whose names changed,
so the above change requires some adjustment here. It now uses
public interfaces.
2017-04-27 Bob Duff <duff@adacore.com>
* namet.adb, namet.ads: Minor: remove unused procedures.
2017-04-27 Eric Botcazou <ebotcazou@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Initialize Ok variable too.
(Minimize_Eliminate_Overflows): Initialize Llo and Lhi.
Add pragma Warnings on Rtype variable in nested block. *
* exp_ch3.adb (Build_Init_Statements): Initialize VAR_LOC.
* exp_ch4.adb (Expand_Concatenate): Initialize 3 variables.
(Size_In_Storage_Elements): Add pragma Warnings on Res variable.
* exp_ch7.adb (Build_Adjust_Statements): Initialize Bod_Stmts.
(Process_Component_List_For_Finalize): Initialize Counter_Id.
(Build_Finalize_Statements): Initialize Bod_Stmts.
* exp_disp.adb (Expand_Dispatching_Call): Initialize SCIL_Node.
2017-04-27 Claire Dross <dross@adacore.com>
* a-cfhama.adb, a-cfhamai.ads (=): Generic parameter removed to
allow the use of regular equality over elements in contracts.
(Formal_Model): Ghost package containing model functions that are
used in subprogram contracts.
(Current_To_Last): Removed, model
functions should be used instead.
(First_To_Previous): Removed, model functions should be used instead.
(Strict_Equal): Removed, model functions should be used instead.
(No_Overlap): Removed, model functions should be used instead.
(Equivalent_Keys): Functions over cursors are removed. They were
awkward with explicit container parameters.
* a-cofuma.adb, a-cofuma.ads (Lift_Equivalent_Keys): New lemma
(proof only) procedure to help GNATprove when equivalence over
keys is not equality.
From-SVN: r247320
Diffstat (limited to 'gcc/ada/scos.h')
| -rw-r--r-- | gcc/ada/scos.h | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/ada/scos.h b/gcc/ada/scos.h index 6c1f545..4fb396c 100644 --- a/gcc/ada/scos.h +++ b/gcc/ada/scos.h @@ -45,8 +45,10 @@ struct SCO_Unit_Table_Entry typedef struct SCO_Unit_Table_Entry *SCO_Unit_Table_Type; -extern SCO_Unit_Table_Type scos__sco_unit_table__table; -#define SCO_Unit_Table scos__sco_unit_table__table +/* The following depends on the fact that The_Instance.Table + is the first component. */ +extern SCO_Unit_Table_Type scos__sco_unit_table__the_instance; +#define SCO_Unit_Table scos__sco_unit_table__the_instance extern Int scos__sco_unit_table__first(void); #define SCO_Unit_Table_First scos__sco_unit_table__first @@ -74,8 +76,10 @@ struct SCO_Table_Entry typedef struct SCO_Table_Entry *SCO_Table_Type; -extern SCO_Table_Type scos__sco_table__table; -#define SCO_Table scos__sco_table__table +/* The following depends on the fact that The_Instance.Table + is the first component. */ +extern SCO_Table_Type scos__sco_table__the_instance; +#define SCO_Table scos__sco_table__the_instance extern Int scos__sco_table__first(void); #define SCO_Table_First scos__sco_table__first |