Merge remote-tracking branch 'origin/main' into michaelrfairhurst/preconditions5-only-std-move-lvalues

Author: MichaelRFairhurst

c/common/test/rules/unusedparameter/UnusedParameter.ql

@@ -1,4 +1,8 @@
 // GENERATED FILE - DO NOT MODIFY
 import codingstandards.cpp.rules.unusedparameter.UnusedParameter
 
-class TestFileQuery extends UnusedParameterSharedQuery, TestQuery { }
+module UnusedParameterTestConfig implements UnusedParameterSharedConfigSig {
+  Query getQuery() { result instanceof TestQuery }
+}
+
+import UnusedParameterShared<UnusedParameterTestConfig>

c/common/test/rules/unusedtypedeclarations/UnusedTypeDeclarations.expected

@@ -2,3 +2,4 @@
 | test.c:7:18:7:18 | D | Type declaration D is not used. |
 | test.c:28:11:28:11 | R | Type declaration R is not used. |
 | test.c:41:12:41:12 | (unnamed class/struct/union) | Type declaration (unnamed class/struct/union) is not used. |
+| test.c:56:3:56:4 | T2 | Type declaration T2 is not used. |

c/common/test/rules/unusedtypedeclarations/test.c

@@ -49,4 +49,13 @@ void test_nested_struct() {
   s.f1;
   s.f3;
   s.f5;
-}
+}
+
+typedef struct {
+  int m1;
+} T2; // NON_COMPLIANT
+typedef struct {
+  int m1;
+} T1; // COMPLIANT - used in function below
+
+void test_typedef() { T1 t1; }

c/misra/src/rules/RULE-2-7/UnusedParameter.ql

@@ -16,6 +16,8 @@ import cpp
 import codingstandards.c.misra
 import codingstandards.cpp.rules.unusedparameter.UnusedParameter
 
-class UnusedParameterQuery extends UnusedParameterSharedQuery {
-  UnusedParameterQuery() { this = DeadCodePackage::unusedParameterQuery() }
+module UnusedParameterQueryConfig implements UnusedParameterSharedConfigSig {
+  Query getQuery() { result = DeadCodePackage::unusedParameterQuery() }
 }
+
+import UnusedParameterShared<UnusedParameterQueryConfig>

change_notes/2026-02-13-refactor-unused-parameter-queries.md

@@ -0,0 +1,2 @@
+ - `A0-1-4`, `RULE-2-7` - `UnusedParameter.ql`:
+   - Refactored to be able to share most logic between MISRA C, MISRA C++, and AUTOSAR. No visible change in behavior expected.

change_notes/2026-02-18-unused-type-improvements.md

@@ -0,0 +1,7 @@
+ - `RULE-2-3`, `A0-1-6` - `UnusedTypeDeclarations.ql`:
+   - Type usage analysis has been improved to find more possible type usages, including:
+     - Previous behavior considered anonymous types in variable declarations to be considered used by the variable definition itself. This has been improved to require that a field of the anonymous type is accessed for the type to be considered used.
+     - Usages of a template type inside a specialization of that template are no longer considered usages of the template type.
+     - Hidden friend declarations are no longer considered usages of the class they are declaring friendship for.
+     - Improved exclusions generally, for cases such as nested types and functions within functions. These previously were a source of incorrectly identified type uses.
+     - Additional case added to detect `template <Enum = Enum::Value>` as a usage of `Enum`, without an explicit `tpl<Enum::Value>` usage.

cpp/autosar/src/rules/A0-1-4/UnusedParameter.ql

@@ -18,6 +18,13 @@ import codingstandards.cpp.autosar
 import codingstandards.cpp.deadcode.UnusedParameters
 import codingstandards.cpp.rules.unusedparameter.UnusedParameter
 
-class UnusedParameterQuery extends UnusedParameterSharedQuery {
-  UnusedParameterQuery() { this = DeadCodePackage::unusedParameterQuery() }
+module UnusedParameterQueryConfig implements UnusedParameterSharedConfigSig {
+  Query getQuery() { result = DeadCodePackage::unusedParameterQuery() }
+
+  predicate excludeParameter(Parameter p) {
+    // Virtual functions are covered by a different rule
+    p.getFunction().isVirtual()
+  }
 }
+
+import UnusedParameterShared<UnusedParameterQueryConfig>

cpp/autosar/test/rules/A0-1-4/UnusedParameter.expected

@@ -0,0 +1 @@
+| test.cpp:2:14:2:14 | x | Unused parameter 'x' for function $@. | test.cpp:2:8:2:8 | b | A::b |

cpp/autosar/test/rules/A0-1-4/UnusedParameter.qlref

@@ -0,0 +1 @@
+rules/A0-1-4/UnusedParameter.ql