Merge branch 'main' into mbaluda-next-merge

Author: mbaluda

c/cert/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/cert-c-coding-standards
-version: 2.62.0-dev
+version: 2.63.0-dev
 description: CERT C 2016
 suites: codeql-suites
 license: MIT

c/cert/test/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/cert-c-coding-standards-tests
-version: 2.62.0-dev
+version: 2.63.0-dev
 extractor: cpp
 license: MIT
 dependencies:

c/common/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/common-c-coding-standards
-version: 2.62.0-dev
+version: 2.63.0-dev
 license: MIT
 dependencies:
   codeql/common-cpp-coding-standards: '*'

c/common/test/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/common-c-coding-standards-tests
-version: 2.62.0-dev
+version: 2.63.0-dev
 extractor: cpp
 license: MIT
 dependencies:

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
 }

c/misra/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/misra-c-coding-standards
-version: 2.62.0-dev
+version: 2.63.0-dev
 description: MISRA C 2012
 suites: codeql-suites
 license: MIT

c/misra/test/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/misra-c-coding-standards-tests
-version: 2.62.0-dev
+version: 2.63.0-dev
 extractor: cpp
 license: MIT
 dependencies:

c/misra/test/rules/RULE-17-2/test.c

@@ -8,7 +8,7 @@ void f3() {
   f3(); // NON_COMPLIANT
 }
 void f6() {
-  f3(); // NON_COMPLIANT
+  f3(); // COMPLIANT - merely calls a recursive function
 }
 
 void f5() {

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.

change_notes/2026-06-18-fix-fp-recursive-functions.md

@@ -0,0 +1,2 @@
+`A7-5-2`, `RULE-8-2-10`: `FunctionsCallThemselvesEitherDirectlyOrIndirectly.ql`:
+    - Fix false positives where callers of recursive functions were incorrectly reported as recursive. Only calls that participate in a recursive cycle are now reported.