Implement DeadCode6, RULE-0-1-2, shared with A0-1-2.

Uses new shared library format templates.

Author: MichaelRFairhurst

change_notes/2026-02-10-share-autosar-0-1-2.md

@@ -0,0 +1,3 @@
+ - `A0-1-2` - `UnusedReturnValue.ql`:
+   - Rule implementation has refactored into a shared library for usage in MISRA C++ ruleset.
+   - Query file renamed to `UnusedReturnValueAutosar.ql` to distinguish from the MISRA C++ version of the rule.

cpp/autosar/src/rules/A0-1-2/UnusedReturnValue.ql

@@ -0,0 +1,27 @@
+/**
+ * @id cpp/autosar/unused-return-value-autosar
+ * @name A0-1-2: Unused return value
+ * @description The value returned by a function having a non-void return type that is not an
+ *              overloaded operator shall be used.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity warning
+ * @tags external/autosar/id/a0-1-2
+ *       readability
+ *       maintainability
+ *       external/autosar/allocated-target/implementation
+ *       external/autosar/enforcement/automated
+ *       external/autosar/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.autosar
+import codingstandards.cpp.rules.unusedreturnvalue.UnusedReturnValue
+
+module UnusedReturnValueAutosarConfig implements UnusedReturnValueConfigSig {
+  Query getQuery() {
+    result = DeadCodePackage::unusedReturnValueAutosarQuery()
+  }
+}
+
+import UnusedReturnValue<UnusedReturnValueAutosarConfig>

cpp/autosar/src/rules/A0-1-2/UnusedReturnValueAutosar.ql

@@ -0,0 +1 @@
+cpp/common/test/rules/unusedreturnvalue/UnusedReturnValue.ql

cpp/autosar/test/rules/A0-1-2/UnusedReturnValue.expected

@@ -5,7 +5,7 @@ import codingstandards.cpp.exclusions.RuleMetadata
 
 newtype DeadCodeQuery =
   TUselessAssignmentQuery() or
-  TUnusedReturnValueQuery() or
+  TUnusedReturnValueAutosarQuery() or
   TUnusedLocalFunctionQuery() or
   TUnusedParameterQuery() or
   TUnusedVirtualParameterQuery() or
@@ -33,11 +33,11 @@ predicate isDeadCodeQueryMetadata(Query query, string queryId, string ruleId, st
   category = "required"
   or
   query =
-    // `Query` instance for the `unusedReturnValue` query
-    DeadCodePackage::unusedReturnValueQuery() and
+    // `Query` instance for the `unusedReturnValueAutosar` query
+    DeadCodePackage::unusedReturnValueAutosarQuery() and
   queryId =
-    // `@id` for the `unusedReturnValue` query
-    "cpp/autosar/unused-return-value" and
+    // `@id` for the `unusedReturnValueAutosar` query
+    "cpp/autosar/unused-return-value-autosar" and
   ruleId = "A0-1-2" and
   category = "required"
   or
@@ -185,11 +185,11 @@ module DeadCodePackage {
       TQueryCPP(TDeadCodePackageQuery(TUselessAssignmentQuery()))
   }
 
-  Query unusedReturnValueQuery() {
+  Query unusedReturnValueAutosarQuery() {
     //autogenerate `Query` type
     result =
-      // `Query` type for `unusedReturnValue` query
-      TQueryCPP(TDeadCodePackageQuery(TUnusedReturnValueQuery()))
+      // `Query` type for `unusedReturnValueAutosar` query
+      TQueryCPP(TDeadCodePackageQuery(TUnusedReturnValueAutosarQuery()))
   }
 
   Query unusedLocalFunctionQuery() {

cpp/autosar/test/rules/A0-1-2/UnusedReturnValue.qlref

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype DeadCode6Query = TUnusedReturnValueMisraCppQuery()
+
+predicate isDeadCode6QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `unusedReturnValueMisraCpp` query
+    DeadCode6Package::unusedReturnValueMisraCppQuery() and
+  queryId =
+    // `@id` for the `unusedReturnValueMisraCpp` query
+    "cpp/misra/unused-return-value-misra-cpp" and
+  ruleId = "RULE-0-1-2" and
+  category = "required"
+}
+
+module DeadCode6Package {
+  Query unusedReturnValueMisraCppQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `unusedReturnValueMisraCpp` query
+      TQueryCPP(TDeadCode6PackageQuery(TUnusedReturnValueMisraCppQuery()))
+  }
+}

cpp/autosar/test/rules/A0-1-2/UnusedReturnValueAutosar.testref

@@ -19,6 +19,7 @@ import Conversions2
 import DeadCode
 import DeadCode3
 import DeadCode4
+import DeadCode6
 import Declarations
 import ExceptionSafety
 import Exceptions1
@@ -91,6 +92,7 @@ newtype TCPPQuery =
   TDeadCodePackageQuery(DeadCodeQuery q) or
   TDeadCode3PackageQuery(DeadCode3Query q) or
   TDeadCode4PackageQuery(DeadCode4Query q) or
+  TDeadCode6PackageQuery(DeadCode6Query q) or
   TDeclarationsPackageQuery(DeclarationsQuery q) or
   TExceptionSafetyPackageQuery(ExceptionSafetyQuery q) or
   TExceptions1PackageQuery(Exceptions1Query q) or
@@ -163,6 +165,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isDeadCodeQueryMetadata(query, queryId, ruleId, category) or
   isDeadCode3QueryMetadata(query, queryId, ruleId, category) or
   isDeadCode4QueryMetadata(query, queryId, ruleId, category) or
+  isDeadCode6QueryMetadata(query, queryId, ruleId, category) or
   isDeclarationsQueryMetadata(query, queryId, ruleId, category) or
   isExceptionSafetyQueryMetadata(query, queryId, ruleId, category) or
   isExceptions1QueryMetadata(query, queryId, ruleId, category) or

cpp/common/src/codingstandards/cpp/exclusions/cpp/DeadCode.qll

@@ -0,0 +1,47 @@
+/**
+ * Provides a configurable module UnusedReturnValue with a `problems` predicate
+ * for the following issue:
+ * The value returned by a function having a non-void return type that is not an
+ * overloaded operator shall be used.
+ */
+
+import cpp
+import codingstandards.cpp.Customizations
+import codingstandards.cpp.Exclusions
+
+signature module UnusedReturnValueConfigSig {
+  Query getQuery();
+}
+
+module UnusedReturnValue<UnusedReturnValueConfigSig Config> {
+  /*
+   * This query performs a simple syntactic check to ensure that the return value of the function is
+   * not completely ignored. This matches the examples given in the rule, although the text itself is
+   * not entirely clear. This means it will not find cases where something is done with the return
+   * value, but it is not meaningfully read. For example: `int ret_val = f();`, with no subsequent
+   * access of `ret_val`. However, such a case _would_ be flagged by A0-1-1 - Useless assignment.
+   */
+
+  query predicate problems(FunctionCall fc, string message, Function f, string funcName) {
+    not isExcluded(fc, Config::getQuery()) and
+    message = "Return value from call to $@ is unused." and
+    funcName = f.getName() and
+    // Find function calls in `ExprStmt`s, which indicate the return value is ignored
+    fc.getParent() instanceof ExprStmt and
+    // Ignore calls to void functions, which don't return values
+    not fc.getUnderlyingType() instanceof VoidType and
+    // Get the function target
+    f = fc.getTarget() and
+    // Overloaded (i.e. user defined) operators should behave in the same way as built-in operators,
+    // so the rule does not require the use of the return value
+    not f instanceof Operator and
+    // Exclude cases where the function call is generated within a macro, as the user of the macro is
+    // not necessarily able to address those results
+    not fc.isAffectedByMacro() and
+    // Rule allows disabling this rule where a static_cast<void> or a C-style cast to void is applied
+    not exists(Cast cast | cast instanceof StaticCast or cast instanceof CStyleCast |
+      fc.getExplicitlyConverted() = cast and
+      cast.getActualType() instanceof VoidType
+    )
+  }
+}