Merge branch 'topic/1303' into 'master'

Add support for the Preelaborable_Initialization attribute

Closes #1303

See merge request eng/libadalang/libadalang!1561

ada/ast.py

@@ -20586,7 +20586,8 @@ def xref_equation():
                             'Has_Tagged_Values', 'Definite', 'Constrained',
                             'Initialized', 'Valid_Scalars',
                             'Unconstrained_Array', 'Library_Level',
-                            'Denorm', 'Signed_Zeros'),
+                            'Denorm', 'Signed_Zeros',
+                            'Preelaborable_Initialization'),
             Entity.prefix.sub_equation
             & Bind(Self.type_var, Self.bool_type),
 

testsuite/tests/name_resolution/preelaborable_initialization/test.adb

@@ -0,0 +1,11 @@
+-- Test for the Preelaborable aspect/attribute name resolution
+
+procedure Test is
+   type T is new Integer;
+
+   type U is new T with
+      Preelaborable_Initializaton => T'Preelaborable_Initialization;
+   pragma Test_Block;
+begin
+   null;
+end Test;

testsuite/tests/name_resolution/preelaborable_initialization/test.out

@@ -0,0 +1,25 @@
+Analyzing test.adb
+##################
+
+Resolving xrefs for node <AspectAssoc test.adb:7:7-7:68>
+********************************************************
+
+Expr: <Id "Preelaborable_Initializaton" test.adb:7:7-7:34>
+  references:    None
+  type:          None
+  expected type: None
+Expr: <AttributeRef test.adb:7:38-7:68>
+  references:    None
+  type:          <ConcreteTypeDecl ["Boolean"] __standard:3:3-3:33>
+  expected type: None
+Expr: <Id "T" test.adb:7:38-7:39>
+  references:    <DefiningName "T" test.adb:4:9-4:10>
+  type:          <ConcreteTypeDecl ["T"] test.adb:4:4-4:26>
+  expected type: None
+Expr: <Id "Preelaborable_Initialization" test.adb:7:40-7:68>
+  references:    None
+  type:          None
+  expected type: None
+
+
+Done.

testsuite/tests/name_resolution/preelaborable_initialization/test.yaml

@@ -0,0 +1,2 @@
+driver: name-resolution
+input_sources: [test.adb]