Improve testcase for externallinkagearraywithoutexplicitsize and change note to match

Author: knewbury01

…otes/2026-01-26-a3-1-1-extern-to-full.md …ange_notes/2026-01-26-improve-queries.mdchange_notes/2026-01-26-a3-1-1-extern-to-full.md renamed to change_notes/2026-01-26-improve-queries.md change_notes/2026-01-26-a3-1-1-extern-to-full.md renamed to change_notes/2026-01-26-improve-queries.md

@@ -1,2 +1,4 @@
 - `A3-1-1` - `ViolationsOfOneDefinitionRule.ql`:
-  - The query previously would incorrectly allow cases where something was defined with `extern` and did not use the defined external linkage library to find external linkage. This change may result in the query finding more results. Additionally a typo has been fixed in the alert message which will cause the old alerts for this query to now show up as new ones.
+  - The query previously would incorrectly allow cases where something was defined with `extern` and did not use the defined external linkage library to find external linkage. This change may result in the query finding more results. Additionally a typo has been fixed in the alert message which will cause the old alerts for this query to now show up as new ones.
+  - `RULE-6-0-2`, `A3-1-4` - `ExternalLinkageArrayWithoutExplicitSizeMisra.ql`, `ExternalLinkageArrayWithoutExplicitSizeAutosar.ql`:
+  - The queries listed now find flexible member arrays in structs, as those do not have an explicit size.

cpp/common/test/rules/externallinkagearraywithoutexplicitsize/ExternalLinkageArrayWithoutExplicitSize.expected

@@ -1,2 +1,4 @@
 | test.cpp:19:14:19:15 | declaration of e1 | The declared array 'e1' with external linkage doesn't specify the size explicitly. |
+| test.cpp:27:20:27:38 | declaration of flexibleArrayMember | The declared array 'flexibleArrayMember' with external linkage doesn't specify the size explicitly. |
+| test.cpp:28:14:28:33 | declaration of flexibleArrayMember2 | The declared array 'flexibleArrayMember2' with external linkage doesn't specify the size explicitly. |
 | test.hpp:2:13:2:26 | declaration of header_and_cpp | The declared array 'header_and_cpp' with external linkage doesn't specify the size explicitly. |

cpp/common/test/rules/externallinkagearraywithoutexplicitsize/test.cpp

@@ -23,11 +23,9 @@ struct s {
   // Structs must have at least one non-flexible array member.
   int foo;
 
-  // static data members have external linkage - but not currently detected in
-  // our external linkage lib - also FAMs are expected to be detected
-  // specifically in RULE-18-7
-  static const int flexibleArrayMember[]; // NON_COMPLIANT[FALSE_NEGATIVE]
-  static int flexibleArrayMember2[];      // NON_COMPLIANT[FALSE_NEGATIVE]
+  // FAMs are expected to be detected specifically in RULE-18-7
+  static const int flexibleArrayMember[]; // NON_COMPLIANT
+  static int flexibleArrayMember2[];      // NON_COMPLIANT
 };
 
 // test.cpp