Fix FP for MISRA-C RULE-13-4

Author: mbaluda

c/common/test/rules/resultofanassignmentoperatorshouldnotbeused/ResultOfAnAssignmentOperatorShouldNotBeUsed.expected

@@ -1,3 +1,4 @@
 | test.c:9:7:9:12 | ... = ... | Use of an assignment operator's result. |
 | test.c:13:11:13:16 | ... = ... | Use of an assignment operator's result. |
 | test.c:15:8:15:13 | ... = ... | Use of an assignment operator's result. |
+| test.c:17:6:17:13 | ... += ... | Use of an assignment operator's result. |

c/common/test/rules/resultofanassignmentoperatorshouldnotbeused/test.c

@@ -13,4 +13,15 @@ void test() {
   l1 = l3[l2 = 0]; // NON_COMPLIANT
 
   l1 = l2 = 0; // NON_COMPLIANT
+
+  l3[l1 += l2] = l3[l1]; // NON_COMPLIANT
+
+  for (l1 = 0; l1 < 10; l1 += l2) // COMPLIANT
+  {
+  }
+
+  while (l1 < 10) // COMPLIANT
+  {
+    l1 += l2; // COMPLIANT
+  }
 }

change_notes/2026-05-18-fix-fp-misra-c-13-4.md

@@ -0,0 +1,4 @@
+- `RULE-13-4` - `ResultOfAnAssignmentOperatorShouldNotBeUsed`:
+  - Fixed false positives.
+- `RULE-8-18-2` - `ResultOfAnAssignmentOperatorShouldNotBeUsed`:
+  - Fixed false positives.

cpp/common/src/codingstandards/cpp/rules/resultofanassignmentoperatorshouldnotbeused/ResultOfAnAssignmentOperatorShouldNotBeUsed.qll

@@ -11,8 +11,9 @@ abstract class ResultOfAnAssignmentOperatorShouldNotBeUsedSharedQuery extends Qu
 
 Query getQuery() { result instanceof ResultOfAnAssignmentOperatorShouldNotBeUsedSharedQuery }
 
-query predicate problems(AssignExpr e, string message) {
+query predicate problems(Assignment e, string message) {
   not isExcluded(e, getQuery()) and
   not exists(ExprStmt s | s.getExpr() = e) and
+  not exists(ForStmt for | for.getUpdate() = e) and
   message = "Use of an assignment operator's result."
 }

cpp/common/test/rules/resultofanassignmentoperatorshouldnotbeused/test.cpp

@@ -13,4 +13,15 @@ void test() {
   l1 = l3[l2 = 0]; // NON_COMPLIANT
 
   l1 = l2 = 0; // NON_COMPLIANT
-}
+
+  l3[l1 += l2] = l3[l1]; // NON_COMPLIANT
+
+  for (l1 = 0; l1 < 10; l1 += l2) // COMPLIANT
+  {
+  }
+
+  while (l1 < 10) // COMPLIANT
+  {
+    l1 += l2; // COMPLIANT
+  }
+}