[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

1 files changed, 12 insertions, 16 deletions

diff --git a/gcc/ada/scos.h b/gcc/ada/scos.h
index 4fb396c..bda373b 100644
--- a/gcc/ada/scos.h
+++ b/gcc/ada/scos.h
@@ -45,16 +45,14 @@ struct SCO_Unit_Table_Entry
 
 typedef struct SCO_Unit_Table_Entry *SCO_Unit_Table_Type;
 
-/* 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 SCO_Unit_Table_Type scos__sco_unit_table__table;
+#define SCO_Unit_Table scos__sco_unit_table__table
 
-extern Int scos__sco_unit_table__first(void);
-#define SCO_Unit_Table_First scos__sco_unit_table__first
+extern Int scos__sco_unit_table__min;
+#define SCO_Unit_Table_Min scos__sco_unit_table__min
 
-extern Int scos__sco_unit_table__last(void);
-#define SCO_Unit_Table_Last scos__sco_unit_table__last
+extern Int scos__sco_unit_table__last_val;
+#define SCO_Unit_Table_Last_Val scos__sco_unit_table__last_val
 
 
 /* SCOs table:  */
@@ -76,16 +74,14 @@ struct SCO_Table_Entry
 
 typedef struct SCO_Table_Entry *SCO_Table_Type;
 
-/* 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 SCO_Table_Type scos__sco_table__table;
+#define SCO_Table scos__sco_table__table
 
-extern Int scos__sco_table__first(void);
-#define SCO_Table_First scos__sco_table__first
+extern Int scos__sco_table__min;
+#define SCO_Table_Min scos__sco_table__min
 
-extern Int scos__sco_table__last(void);
-#define SCO_Table_Last scos__sco_table__last
+extern Int scos__sco_table__last_val;
+#define SCO_Table_Last_Val scos__sco_table__last_val
 
 #ifdef __cplusplus
 }