ada: Add External_Initialization extension

This patch introduces a GNAT extension that adds a new aspect,
External_Initialization. A section is added to the reference
manual with a description of what the aspect does.

The implementation reuses existing mechanisms, in particular
Sinput.L.Load_Source_File and Sem_Res.Set_String_Literal_Subtype.

A new node kind is added, and nodes of that type are present in what
is passed to the back ends. That makes it necessary to update the back
ends to handle the new node type. The C interface is extended to make
that possible.

gcc/ada/ChangeLog:
	* aspects.ads: Add entities for External_Initialization.
	* checks.adb (Selected_Length_Checks): Add support for
	N_External_Initializer nodes.
	* doc/gnat_rm/gnat_language_extensions.rst: Add section for the added
	extension.
	* exp_util.adb (Insert_Actions): Add support for N_External_Initializer
	nodes.
	* fe.h (C_Source_Buffer): New function.
	* gen_il-fields.ads: Add new field.
	* gen_il-gen-gen_nodes.adb: Add N_External_Initializer node kind.
	* gen_il-gen.adb: Add new field type.
	* gen_il-types.ads: Add new node kind and new field type.
	* pprint.adb (Expr_Name): Handle new node kind.
	* sem.adb (Analyze): Add support for N_External_Initializer nodes.
	* sem_ch13.adb (Analyze_Aspect_Specifications, Check_Aspect_At_Freeze_Point):
	Add support for External_Initialization aspect.
	* sem_ch3.adb (Apply_External_Initialization): New subprogram.
	(Analyze_Object_Declaration): Add support for External_Initialization aspect.
	* sem_res.adb (Resolve_External_Initializer): New procedure.
	(Resolve): Add support for N_External_Initializer nodes.
	(Set_String_Literal_Subtype): Extend to handle N_External_Initializer nodes.
	* sinfo-utils.adb (Is_In_Union_Id): Adapt to new field addition.
	* sinfo.ads: Add documentation for new node kind and new field.
	* sinput.adb, sinput.ads (C_Source_Buffer): Add new C interface function.
	* snames.ads-tmpl: Add new aspect identifier.
	* sprint.adb (Sprint_Node_Actual): Add nop handling of N_External_Initializer
	nodes.
	* types.ads: Modify type to allow for new C interface.
	* gcc-interface/trans.cc (gnat_to_gnu): Handle new GNAT node type.
	* gcc-interface/Make-lang.in: Update list of stage1 run-time library units.
	* gnat-style.texi: Regenerate.
	* gnat_rm.texi: Regenerate.
	* gnat_ugn.texi: Regenerate.

2 files changed, 13 insertions, 0 deletions

diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in
index 1174eb1..32c5ed3 100644
--- a/gcc/ada/gcc-interface/Make-lang.in
+++ b/gcc/ada/gcc-interface/Make-lang.in
@@ -517,6 +517,7 @@ GNAT_ADA_OBJS+= \
  ada/libgnat/g-speche.o	\
  ada/libgnat/g-table.o	\
  ada/libgnat/g-u3spch.o	\
+ ada/libgnat/i-c.o	\
  ada/libgnat/interfac.o	\
  ada/libgnat/s-addope.o	\
  ada/libgnat/s-addima.o \
@@ -691,6 +692,7 @@ GNATBIND_OBJS +=  \
  ada/libgnat/g-byorma.o   \
  ada/libgnat/g-hesora.o   \
  ada/libgnat/g-htable.o   \
+ ada/libgnat/i-c.o	      \
  ada/libgnat/interfac.o   \
  ada/libgnat/s-addope.o   \
  ada/libgnat/s-assert.o   \
diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index 710907b..ebcf2cd 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -6401,6 +6401,17 @@ gnat_to_gnu (Node_Id gnat_node)
 	gnu_result = build_atomic_load (gnu_result, aa_sync);
       break;
 
+    case N_External_Initializer:
+      {
+	gnu_result_type = get_unpadded_type (Etype (gnat_node));
+	struct c_array a = C_Source_Buffer (File_Index (gnat_node));
+
+	gnu_result = build_string ((unsigned) a.length, a.pointer);
+
+	TREE_TYPE (gnu_result) = gnu_result_type;
+      }
+      break;
+
     case N_Integer_Literal:
       {
 	tree gnu_type;