Fix KP-V404-040

KP-V404-040 should check for records and arrays but the latter was
missing. Also, this change moves KP-V404-040's code to a new file,
without `-` in its name. We'll need it to import KP-V404-040's
detection function into KP-19824 since the two KPs are identical.

Author: thvnx

lkql_checker/share/lkql/kp/KP-V404-040.lkql

@@ -1,12 +1,8 @@
 # Flag 'Valid applied to floating-point components of composite types that
 # specify a non default Scalar_Storage_Order aspect.
 
-import stdlib
+import kp_v404_040_internal
 
 @check(message="possible occurrence of KP V404-040")
 fun kp_v404_040(node) =
-    node is AttributeRef
-    when node.f_attribute.p_name_is("Valid")
-     and node.f_prefix.p_expression_type().p_is_float_type()
-     and node.f_prefix.p_referenced_decl() is c@ComponentDecl
-     when stdlib.has_non_default_sso(c.p_semantic_parent())
+    kp_v404_040_internal.check(node)

lkql_checker/share/lkql/kp/kp_v404_040_internal.lkql

@@ -0,0 +1,17 @@
+import stdlib
+
+fun check(node) =
+    |" Detect 'Valid attribute applied to a floating-point component of a
+    |" composite type subject to a Scalar_Storage_Order aspect/clause.
+    node is AttributeRef
+    when node.f_attribute.p_name_is("Valid")
+     and node.f_prefix.p_expression_type().p_is_float_type()
+     and node.f_prefix.p_referenced_decl() is decl@BasicDecl
+     when match decl
+      # Only records and arrays can have the Scalar_Storage_Order aspect
+      | cd@ComponentDecl => stdlib.has_non_default_sso(cd.p_semantic_parent())
+      | od@ObjectDecl => {
+          val td = od.p_type_expression().p_designated_type_decl();
+          td.p_is_array_type() and stdlib.has_non_default_sso(td)
+        }
+      | * => false

testsuite/tests/checks/KP-V404-040/p2.adb

@@ -0,0 +1,22 @@
+with System;
+
+procedure P2 is
+  type Angle_Type is new Float range 0.0 .. 359.99;
+  -- Derived floating point type
+
+  -- Array type with floating point elements.
+  type My_Array_Type is array (1 .. 2) of Angle_Type;
+
+  -- Big endian byte order
+  for My_Array_Type'Scalar_Storage_Order use System.High_Order_First;
+
+  type My_Array_Type2 is array (1 .. 2) of Angle_Type;
+
+  My_Array  : My_Array_Type := (1.1, 2.2);
+  My_Array2 : My_Array_Type2 := (1.1, 2.2);
+
+  Is_Valid  : Boolean := My_Array (1)'Valid;   --  FLAG
+
+begin
+  Is_Valid := My_Array2 (1)'Valid;             --  NOFLAG
+end P2;

testsuite/tests/checks/KP-V404-040/test.out

@@ -2,3 +2,7 @@ p.adb:25:26: rule violation: possible occurrence of KP V404-040
 25 |   Is_Valid  : Boolean := My_Record.Az'Valid;   --  FLAG
    |                          ^^^^^^^^^^^^^^^^^^
 
+p2.adb:18:26: rule violation: possible occurrence of KP V404-040
+18 |   Is_Valid  : Boolean := My_Array (1)'Valid;   --  FLAG
+   |                          ^^^^^^^^^^^^^^^^^^
+