Add compliance tests for division and modulus operations in unsigned operations

Author: mbaluda

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
+  }
 }

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.
+- `INT30-C` - `UnsignedOperationWithConstantOperandsWraps.ql`:
+  - Fixed false positives for `/=` and `%=` assignments.

cpp/common/src/codingstandards/cpp/rules/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."
 }

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
+  }
 }