github · mbaluda · Jun 18, 2026 · Jun 18, 2026 · Jun 18, 2026 · Jun 18, 2026
diff --git a/c/common/test/rules/unsignedoperationwithconstantoperandswraps/test.c b/c/common/test/rules/unsignedoperationwithconstantoperandswraps/test.c
@@ -80,4 +80,11 @@ void test_sub_postcheck(unsigned int i1, unsigned int i2) {
   if (i1 > i2) {
     // handle error
   }
+}
+
+void test_mod_rem(unsigned int i1, unsigned int i2) {
+  i1 / i2;  // COMPLIANT - exception 2
+  i1 /= i2; // COMPLIANT - exception 2
+  i1 % i2;  // COMPLIANT - exception 2
+  i1 %= i2; // COMPLIANT - exception 2
 }
diff --git a/change_notes/2026-06-18-fix-fp-misra-c++-8-20-1.md b/change_notes/2026-06-18-fix-fp-misra-c++-8-20-1.md
@@ -0,0 +1,4 @@
+- `INT30-C` - `UnsignedIntegerOperationsWrapAround.ql`:
+  - Fixed false positives for `/=` and `%=` assignments.
+- `RULE-8-20-1` - `UnsignedOperationWithConstantOperandsWraps.ql`:
+  - Fixed false positives for `/=` and `%=` assignments.
diff --git a/...unsignedoperationwithconstantoperandswraps/UnsignedOperationWithConstantOperandsWraps.qll b/...unsignedoperationwithconstantoperandswraps/UnsignedOperationWithConstantOperandsWraps.qll
@@ -26,8 +26,7 @@ query predicate problems(InterestingOverflowingOperation op, string message) {
   // Permitted by exception 3
   not op instanceof LShiftExpr and
   // Permitted by exception 2 - zero case is handled in separate query
-  not op instanceof DivExpr and
-  not op instanceof RemExpr and
+  not op instanceof DivOrRemOperation and
   message =
     "Operation " + op.getOperator() + " of type " + op.getType().getUnderlyingType() + " may wrap."
 }
diff --git a/cpp/common/test/rules/unsignedoperationwithconstantoperandswraps/test.cpp b/cpp/common/test/rules/unsignedoperationwithconstantoperandswraps/test.cpp
@@ -80,4 +80,11 @@ void test_sub_postcheck(unsigned int i1, unsigned int i2) {
   if (i1 > i2) {
     // handle error
   }
+}
+
+void test_mod_rem(unsigned int i1, unsigned int i2) {
+  i1 / i2;  // COMPLIANT - exception 2
+  i1 /= i2; // COMPLIANT - exception 2
+  i1 % i2;  // COMPLIANT - exception 2
+  i1 %= i2; // COMPLIANT - exception 2
 }