diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 12:01:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 12:01:58 +0200 |
| commit | 9fb1e654f463fe3e30dccee2b6622c95edcf5d25 (patch) | |
| tree | d3b790355af00b0aa6795455db68661ca27241ea /gcc/ada/scos.ads | |
| parent | 68ec1a494cc8c24b59a99294f86991523cd9832c (diff) | |
| download | gcc-9fb1e654f463fe3e30dccee2b6622c95edcf5d25.zip gcc-9fb1e654f463fe3e30dccee2b6622c95edcf5d25.tar.gz gcc-9fb1e654f463fe3e30dccee2b6622c95edcf5d25.tar.bz2 | |
[multiple changes]
2017-09-06 Yannick Moy <moy@adacore.com>
* treepr.adb (Print_Entity_Info): Do not print empty Elist.
2017-09-06 Yannick Moy <moy@adacore.com>
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do not consider calls
to subprograms in other units as possibly inlined.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Entity): For a derived type that has no
explicit delayed aspects but may inherit delayed aspects from its
parent type, analyze aspect at freeze point for proper capture
of an inherited aspect.
2017-09-06 Arnaud Charlet <charlet@adacore.com>
* lib-xref.adb (Get_Through_Renamings): Get through subprogram
renamings; also, avoid repeated calls to Renamed_Object when getting
through object renamings.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Array_Type_Declaration): Handle properly an
array type declaration in a private part, when an index is a
subtype indication of a discrete type with a private partial view.
2017-09-06 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb (Expand_Modular_Op): Force generating
temporary to improve the generated code.
2017-09-06 Tristan Gingold <gingold@adacore.com>
* s-fatgen.adb: Minor typo fix in comment.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb (Make_Field_Assign): If the type
of the right-hand side has stored constraint, use its values
(except for those that are renamings of parent discriminants)
to produce additional assignments for the discriminants of the
left-hand side, which are invisible in the righ-hand side and
not retrievable as selected components.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Needs_One_Formal): The first formal of such a
function must be a controlling formal, so that Obj.F (X, Y)
can have the interpretation F(Obj)(X, Y).
* sem_util.ads: Clarify documentation.
2017-09-06 Eric Botcazou <ebotcazou@adacore.com>
* table.ads, table.adb: Restore original implementation.
* namet.h (Names_Ptr): Adjust back.
(Name_Chars_Ptr): Likewise.
* uintp.h (Uints_Ptr): Likewise.
(Udigits_Ptr): Likewise.
* g-table.ads: Remove pragma Compiler_Unit_Warning.
* par_sco.adb: Do not with GNAT.Table and use Table consistently.
* scos.ads: Replace GNAT.Table with Table and adjust instantiations.
* spark_xrefs.ads: Likewise.
* scos.h: Undo latest changes.
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Propagate
No_Return flag to instance if pragma applies to generic unit. This
must be done explicitly because the pragma does not appear
directly in the generic declaration (unlike the corresponding
aspect specification).
From-SVN: r251765
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index 412a45b..e99ace6 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2009-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 2009-2017, 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- -- @@ -29,10 +29,9 @@ -- is used in the ALI file. with Namet; use Namet; +with Table; with Types; use Types; -with GNAT.Table; - package SCOs is -- SCO information can exist in one of two forms. In the ALI file, it is @@ -383,12 +382,13 @@ package SCOs is -- For the SCO for a pragma/aspect, gives the pragma/apsect name end record; - package SCO_Table is new GNAT.Table ( + package SCO_Table is new Table.Table ( Table_Component_Type => SCO_Table_Entry, Table_Index_Type => Nat, Table_Low_Bound => 1, Table_Initial => 500, - Table_Increment => 300); + Table_Increment => 300, + Table_Name => "Table"); Is_Decision : constant array (Character) of Boolean := ('E' | 'G' | 'I' | 'P' | 'a' | 'A' | 'W' | 'X' => True, @@ -530,12 +530,13 @@ package SCOs is end record; - package SCO_Unit_Table is new GNAT.Table ( + package SCO_Unit_Table is new Table.Table ( Table_Component_Type => SCO_Unit_Table_Entry, Table_Index_Type => SCO_Unit_Index, Table_Low_Bound => 0, -- see note above on sorting Table_Initial => 20, - Table_Increment => 200); + Table_Increment => 200, + Table_Name => "Unit_Table"); ----------------------- -- Generic instances -- @@ -551,12 +552,13 @@ package SCOs is Enclosing_Instance : SCO_Instance_Index; end record; - package SCO_Instance_Table is new GNAT.Table ( + package SCO_Instance_Table is new Table.Table ( Table_Component_Type => SCO_Instance_Table_Entry, Table_Index_Type => SCO_Instance_Index, Table_Low_Bound => 1, Table_Initial => 20, - Table_Increment => 200); + Table_Increment => 200, + Table_Name => "Instance_Table"); ----------------- -- Subprograms -- |