Merge branch 'topic/1359' into 'master'

Fix is_static_expr for ConcatOp

Closes #1359

See merge request eng/libadalang/libadalang!1641

ada/ast.py

@@ -13872,6 +13872,17 @@ def is_static_expr():
                 default_val=True
             ),
 
+            lambda co=ConcatOperand:
+            co.operand.is_static_expr
+            & co.operator.referenced_decl.then(
+                lambda decl: decl.is_static_decl,
+                default_val=True
+            ),
+
+            lambda co=ConcatOp:
+            co.first_operand.is_static_expr
+            & co.other_operands.all(lambda o: o.is_static_expr),
+
             lambda uo=UnOp:
             uo.expr.is_static_expr
             & uo.op.referenced_decl.then(

testsuite/tests/properties/is_static_expr_3/test.adb

@@ -0,0 +1,9 @@
+procedure Test is
+begin
+   null;
+end;
+pragma Annotate (Xcov, Exempt_On,
+                 "Invalid" & " argument"
+                 --% concat_op=node.parent.parent.parent
+                 --% concat_op.p_is_static_expr()
+                 );

testsuite/tests/properties/is_static_expr_3/test.out

@@ -0,0 +1,8 @@
+Working on node <Str "" argument"" test.adb:6:30-6:41>
+======================================================
+
+Set 'concat_op' to 'node.parent.parent.parent'
+Result: <ConcatOp test.adb:6:18-6:41>
+
+Eval 'concat_op.p_is_static_expr()'
+Result: True

testsuite/tests/properties/is_static_expr_3/test.yaml

@@ -0,0 +1,2 @@
+driver: inline-playground
+input_sources: [test.adb]