Merge branch 'topic/1168' into 'master'

Fix p_is_static_expr regarding AttributeRefs

Closes #1168

See merge request eng/libadalang/libadalang!1489

ada/ast.py

@@ -13138,7 +13138,7 @@ def is_static_expr():
 
                 ar.prefix.name_designated_type
                 ._.is_static_decl & ar.attribute.name_symbol.any_of(
-                    'First', 'Last', 'Range', 'Val'
+                    'First', 'Last', 'Range', 'Val', 'Pos'
                 ),
 
                 ar.prefix.referenced_decl._.is_array

testsuite/tests/properties/is_static_expr_2/enum.adb

@@ -0,0 +1,23 @@
+procedure Enum is
+   type My_Enum is (A, B, C, D, E);
+
+   Min : constant := My_Enum'Pos (My_Enum'First);
+   --% node.f_expr.p_is_static_expr()
+
+   Max : constant := My_Enum'Pos (My_Enum'Last);
+   --% node.f_expr.p_is_static_expr()
+
+   type R1 is range Min .. Max;
+   --% range = node.f_type_def.f_range.f_range
+   --% range.f_left.p_is_static_expr()
+   --% range.f_right.p_is_static_expr()
+   --% node.p_is_static_decl()
+
+   type R2 is range My_Enum'Pos (My_Enum'First) .. My_Enum'Pos (My_Enum'Last);
+   --% range = node.f_type_def.f_range.f_range
+   --% range.f_left.p_is_static_expr()
+   --% range.f_right.p_is_static_expr()
+   --% node.p_is_static_decl()
+begin
+   null;
+end Enum;

testsuite/tests/properties/is_static_expr_2/test.out

@@ -1,3 +1,45 @@
+Working on node <NumberDecl ["Min"] enum.adb:4:4-4:50>
+======================================================
+
+Eval 'node.f_expr.p_is_static_expr()'
+Result: True
+
+Working on node <NumberDecl ["Max"] enum.adb:7:4-7:49>
+======================================================
+
+Eval 'node.f_expr.p_is_static_expr()'
+Result: True
+
+Working on node <ConcreteTypeDecl ["R1"] enum.adb:10:4-10:32>
+=============================================================
+
+Set 'range' to 'node.f_type_def.f_range.f_range'
+Result: <BinOp enum.adb:10:21-10:31>
+
+Eval 'range.f_left.p_is_static_expr()'
+Result: True
+
+Eval 'range.f_right.p_is_static_expr()'
+Result: True
+
+Eval 'node.p_is_static_decl()'
+Result: True
+
+Working on node <ConcreteTypeDecl ["R2"] enum.adb:16:4-16:79>
+=============================================================
+
+Set 'range' to 'node.f_type_def.f_range.f_range'
+Result: <BinOp enum.adb:16:21-16:78>
+
+Eval 'range.f_left.p_is_static_expr()'
+Result: True
+
+Eval 'range.f_right.p_is_static_expr()'
+Result: True
+
+Eval 'node.p_is_static_decl()'
+Result: True
+
 Working on node <ForLoopStmt foo.adb:5:4-7:13>
 ==============================================
 

testsuite/tests/properties/is_static_expr_2/test.yaml

@@ -1,2 +1,2 @@
 driver: inline-playground
-input_sources: [foo.adb]
+input_sources: [foo.adb, enum.adb]