Merge branch 'main' into mbaluda-autofix

mbaluda · web-flow · commit 71b73dcfe796 · 2026-07-23T01:40:29.000+02:00
diff --git a/c/cert/src/qlpack.yml b/c/cert/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/cert-c-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 description: CERT C 2016
 suites: codeql-suites
 license: MIT
diff --git a/c/cert/test/qlpack.yml b/c/cert/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/cert-c-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/c/common/src/qlpack.yml b/c/common/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/common-c-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 license: MIT
 dependencies:
   codeql/common-cpp-coding-standards: '*'
diff --git a/c/common/test/qlpack.yml b/c/common/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/common-c-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/c/common/test/rules/unsignedoperationwithconstantoperandswraps/test.c b/c/common/test/rules/unsignedoperationwithconstantoperandswraps/test.c
@@ -80,11 +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
-  }
+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/c/misra/src/qlpack.yml b/c/misra/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/misra-c-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 description: MISRA C 2012
 suites: codeql-suites
 license: MIT
diff --git a/c/misra/test/qlpack.yml b/c/misra/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/misra-c-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/c/misra/test/rules/RULE-17-2/test.c b/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() {
diff --git a/change_notes/2026-05-21-fix-fp-rule-5-13-4.md b/change_notes/2026-05-21-fix-fp-rule-5-13-4.md
@@ -0,0 +1,5 @@
+- `RULE-5-13-4`, `M2-13-3` - `UnsignedIntegerLiteralsNotAppropriatelySuffixed.ql`, `MissingUSuffix.ql`:
+  - Remove FPs in user-defined literals and template instantiations.
+- `M2-13-3` - `cpp/autosar/missing-u-suffix`:
+  - Remove FPs in user-defined literals and template instantiations.
+  
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
@@ -1,4 +1,4 @@
 - `INT30-C` - `UnsignedIntegerOperationsWrapAround.ql`:
   - Fixed false positives for `/=` and `%=` assignments.
-- `INT30-C` - `UnsignedOperationWithConstantOperandsWraps.ql`:
+- `RULE-8-20-1` - `UnsignedOperationWithConstantOperandsWraps.ql`:
   - Fixed false positives for `/=` and `%=` assignments.
diff --git a/change_notes/2026-06-18-fix-fp-recursive-functions.md b/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.
diff --git a/change_notes/2026-06-19-fix-fp-rule-0-0-1-orphan-blocks.md b/change_notes/2026-06-19-fix-fp-rule-0-0-1-orphan-blocks.md
@@ -0,0 +1,2 @@
+- `RULE-0-0-1` - `UnreachableStatement.ql`:
+  - Fixed false positives caused by orphan BasicBlock nodes (disconnected from the CFG) that represent expressions rather than statements. These artifacts are generated by the GCC extractor for functions involving virtual calls returning `std::variant`-based types with non-trivially-destructible alternatives.
diff --git a/change_notes/2026-06-19-fix-fp-rule-6-9-2-auto-deduced.md b/change_notes/2026-06-19-fix-fp-rule-6-9-2-auto-deduced.md
@@ -0,0 +1,2 @@
+- `RULE-6-9-2`, `A3-9-1` - `VariableWidthIntegerTypesUsed.qll`:
+  - Fixed false positives for variables declared with `auto` or `decltype(auto)` where the deduced type resolves through fixed-width typedefs (e.g., `std::uint32_t`) to a built-in integer type. The programmer never wrote a variable-width type name in these cases.
diff --git a/cpp/autosar/src/qlpack.yml b/cpp/autosar/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/autosar-cpp-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 description: AUTOSAR C++14 Guidelines R22-11, R21-11, R20-11, R19-11 and R19-03
 suites: codeql-suites
 license: MIT
diff --git a/cpp/autosar/src/rules/A13-1-2/UserDefinedLiteralOperatorSuffixViolation.ql b/cpp/autosar/src/rules/A13-1-2/UserDefinedLiteralOperatorSuffixViolation.ql
@@ -17,7 +17,7 @@ import cpp
 import codingstandards.cpp.autosar
 import codingstandards.cpp.UserDefinedLiteral as udl
 
-from udl::UserDefinedLiteral udl
+from udl::UserDefinedLiteralDeclaration udl
 where
   not isExcluded(udl, NamingPackage::userDefinedLiteralOperatorSuffixViolationQuery()) and
   not udl.hasCompliantSuffix()
diff --git a/cpp/autosar/src/rules/A13-1-3/UserDefinedLiteralsOperatorsShallNotHaveSideEffects.ql b/cpp/autosar/src/rules/A13-1-3/UserDefinedLiteralsOperatorsShallNotHaveSideEffects.ql
@@ -18,7 +18,7 @@ import codingstandards.cpp.UserDefinedLiteral as udl
 import codingstandards.cpp.SideEffect
 import codingstandards.cpp.sideeffect.DefaultEffects
 
-from udl::UserDefinedLiteral udl, SideEffect e
+from udl::UserDefinedLiteralDeclaration udl, SideEffect e
 where
   not isExcluded(udl,
     SideEffects2Package::userDefinedLiteralsOperatorsShallNotHaveSideEffectsQuery()) and
diff --git a/cpp/autosar/src/rules/A13-1-3/UserDefinedLiteralsOperatorsShallOnlyPerformConversionOfPassedParameters.ql b/cpp/autosar/src/rules/A13-1-3/UserDefinedLiteralsOperatorsShallOnlyPerformConversionOfPassedParameters.ql
@@ -19,7 +19,7 @@ import codingstandards.cpp.autosar
 import codingstandards.cpp.UserDefinedLiteral as udl
 import codingstandards.cpp.SideEffect
 
-from udl::UserDefinedLiteral udl, Expr retExpr
+from udl::UserDefinedLiteralDeclaration udl, Expr retExpr
 where
   not isExcluded(udl,
     SideEffects2Package::userDefinedLiteralsOperatorsShallOnlyPerformConversionOfPassedParametersQuery()) and
diff --git a/cpp/autosar/test/qlpack.yml b/cpp/autosar/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/autosar-cpp-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/cpp/cert/src/qlpack.yml b/cpp/cert/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/cert-cpp-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 description: CERT C++ 2016
 suites: codeql-suites
 license: MIT
diff --git a/cpp/cert/src/rules/DCL51-CPP/UseOfReservedLiteralSuffixIdentifier.ql b/cpp/cert/src/rules/DCL51-CPP/UseOfReservedLiteralSuffixIdentifier.ql
@@ -22,7 +22,7 @@ import cpp
 import codingstandards.cpp.cert
 import codingstandards.cpp.UserDefinedLiteral as udl
 
-from udl::UserDefinedLiteral udl
+from udl::UserDefinedLiteralDeclaration udl
 where
   not isExcluded(udl, NamingPackage::useOfReservedLiteralSuffixIdentifierQuery()) and
   not udl.hasCompliantSuffix()
diff --git a/cpp/cert/test/qlpack.yml b/cpp/cert/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/cert-cpp-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/cpp/common/src/codingstandards/cpp/Cpp14Literal.qll b/cpp/common/src/codingstandards/cpp/Cpp14Literal.qll
@@ -5,9 +5,15 @@
  */
 module Cpp14Literal {
   private import cpp as StandardLibrary
+  private import codingstandards.cpp.UserDefinedLiteral
 
   /** An numeric literal. */
-  abstract class NumericLiteral extends StandardLibrary::Literal { }
+  abstract class NumericLiteral extends StandardLibrary::Literal {
+    NumericLiteral() {
+      // exclude user-defined literals as they define custom suffixes
+      not this instanceof UserDefinedLiteral
+    }
+  }
 
   /** Convenience for implementing class `UnrecognizedNumericLiteral` */
   abstract private class RecognizedNumericLiteral extends StandardLibrary::Literal { }
diff --git a/cpp/common/src/codingstandards/cpp/UserDefinedLiteral.qll b/cpp/common/src/codingstandards/cpp/UserDefinedLiteral.qll
@@ -4,8 +4,17 @@
 
 import cpp
 
-class UserDefinedLiteral extends Function {
-  UserDefinedLiteral() {
+/**
+ * A user defined literal operator is a function that defines the behavior of a user defined literal.
+ * It is declared using the `operator ""` syntax.
+ * ```
+ * constexpr long operator""_km(unsigned long value) {
+ *   ...
+ * }
+ * ```
+ */
+class UserDefinedLiteralDeclaration extends Function {
+  UserDefinedLiteralDeclaration() {
     // We use the '?' in this regexp because CodeQL CLI 2.4.6 and earlier reported these operators
     // using a single ", i.e `operator "`. This has been fixed in 2.5.9 (at the latest), but I
     // don't know if upgraded older databases will still have the broken version in. I've therefore
@@ -16,3 +25,18 @@ class UserDefinedLiteral extends Function {
   /** Holds if `this` has a compliant suffix. */
   predicate hasCompliantSuffix() { this.getName().regexpMatch("operator \"\"?_\\p{Alpha}+") }
 }
+
+/**
+ * A user defined literal is a literal that is passed as an argument to a call to a user defined literal operator.
+ * ```
+ * 1000_km;
+ * ```
+ */
+class UserDefinedLiteral extends Literal {
+  UserDefinedLiteral() {
+    exists(FunctionCall fc |
+      this = fc.getArgument(0) and
+      fc.getTarget() instanceof UserDefinedLiteralDeclaration
+    )
+  }
+}
diff --git a/cpp/common/src/codingstandards/cpp/rules/functionscallthemselveseitherdirectlyorindirectly/FunctionsCallThemselvesEitherDirectlyOrIndirectly.qll b/cpp/common/src/codingstandards/cpp/rules/functionscallthemselveseitherdirectlyorindirectly/FunctionsCallThemselvesEitherDirectlyOrIndirectly.qll
@@ -23,7 +23,7 @@ class RecursiveFunction extends Function {
   RecursiveFunction() { exists(RecursiveCall fc | fc.getEnclosingFunction() = this) }
 }
 
-query predicate problems(FunctionCall fc, string message, RecursiveFunction f, string functionName) {
+query predicate problems(RecursiveCall fc, string message, Function f, string functionName) {
   not isExcluded(fc, getQuery()) and
   f = fc.getTarget() and
   functionName = f.getName() and
diff --git a/cpp/common/src/codingstandards/cpp/rules/unsignedintegerliteralsnotappropriatelysuffixed/UnsignedIntegerLiteralsNotAppropriatelySuffixed.qll b/cpp/common/src/codingstandards/cpp/rules/unsignedintegerliteralsnotappropriatelysuffixed/UnsignedIntegerLiteralsNotAppropriatelySuffixed.qll
@@ -26,6 +26,8 @@ query predicate problems(Cpp14Literal::NumericLiteral nl, string message) {
     nl.getType().getUnspecifiedType().(IntegralType).isUnsigned() and
     // The literal already has a `u` or `U` suffix.
     not nl.getValueText().regexpMatch(".*[lL]*[uU][lL]*") and
+    // exclude literals derived from template instantiations
+    not nl.isFromTemplateInstantiation(_) and
     message = literalKind + " literal is an unsigned integer but does not include a 'U' suffix."
   )
 }
diff --git a/cpp/common/src/codingstandards/cpp/rules/variablewidthintegertypesused/VariableWidthIntegerTypesUsed.qll b/cpp/common/src/codingstandards/cpp/rules/variablewidthintegertypesused/VariableWidthIntegerTypesUsed.qll
@@ -33,6 +33,10 @@ query predicate problems(Element e, string message) {
       // Fixed Width Types are recorded after stripping their typedef'd type,
       // thereby, causing false positives (#540).
       not v.isFromTemplateInstantiation(_) and
+      // Dont consider variables declared with `auto` or `decltype(auto)` because
+      // the deduced type may resolve through fixed-width typedefs (e.g. uint32_t)
+      // to a built-in type, even though the programmer never wrote that type name.
+      not v.declaredUsingAutoType() and
       //post-increment/post-decrement operators are required by the standard to have a dummy int parameter
       not v.(Parameter).getFunction() instanceof PostIncrementOperator and
       not v.(Parameter).getFunction() instanceof PostDecrementOperator and
diff --git a/cpp/common/src/qlpack.yml b/cpp/common/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/common-cpp-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 license: MIT
 dependencies:
   codeql/cpp-all: 5.0.0
diff --git a/cpp/common/test/qlpack.yml b/cpp/common/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/common-cpp-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/cpp/common/test/rules/functionscallthemselveseitherdirectlyorindirectly/FunctionsCallThemselvesEitherDirectlyOrIndirectly.expected b/cpp/common/test/rules/functionscallthemselveseitherdirectlyorindirectly/FunctionsCallThemselvesEitherDirectlyOrIndirectly.expected
@@ -1,5 +1,4 @@
 | test.cpp:7:13:7:35 | call to test_recursive_function | This call directly invokes its containing function $@. | test.cpp:5:5:5:27 | test_recursive_function | test_recursive_function |
-| test.cpp:21:9:21:31 | call to test_recursive_function | The function test_indirect_recursive_function is indirectly recursive via this call to $@. | test.cpp:5:5:5:27 | test_recursive_function | test_recursive_function |
-| test.cpp:27:5:27:30 | call to test_indirect_recursive_f2 | The function test_indirect_recursive_f1 is indirectly recursive via this call to $@. | test.cpp:36:5:36:30 | test_indirect_recursive_f2 | test_indirect_recursive_f2 |
-| test.cpp:38:9:38:34 | call to test_indirect_recursive_f1 | The function test_indirect_recursive_f2 is indirectly recursive via this call to $@. | test.cpp:25:5:25:30 | test_indirect_recursive_f1 | test_indirect_recursive_f1 |
-| test.cpp:75:10:75:19 | call to operator== | This call directly invokes its containing function $@. | test.cpp:74:6:74:15 | operator== | operator== |
+| test.cpp:33:5:33:30 | call to test_indirect_recursive_f2 | The function test_indirect_recursive_f1 is indirectly recursive via this call to $@. | test.cpp:42:5:42:30 | test_indirect_recursive_f2 | test_indirect_recursive_f2 |
+| test.cpp:44:9:44:34 | call to test_indirect_recursive_f1 | The function test_indirect_recursive_f2 is indirectly recursive via this call to $@. | test.cpp:31:5:31:30 | test_indirect_recursive_f1 | test_indirect_recursive_f1 |
+| test.cpp:81:10:81:19 | call to operator== | This call directly invokes its containing function $@. | test.cpp:80:6:80:15 | operator== | operator== |
diff --git a/cpp/common/test/rules/functionscallthemselveseitherdirectlyorindirectly/test.cpp b/cpp/common/test/rules/functionscallthemselveseitherdirectlyorindirectly/test.cpp
@@ -18,10 +18,16 @@ int test_nonrecursive_function(int i) { // COMPLIANT
 
 int test_indirect_recursive_function(int i) {
   if (i > 10) {
-    i = test_recursive_function(i * i); // NON_COMPLIANT
+    i = test_recursive_function(
+        i * i); // COMPLIANT - merely calls a recursive function
   }
 }
 
+int test_calls_recursive_function(int i) {
+  return test_recursive_function(
+      i); // COMPLIANT - not part of a recursive cycle
+}
+
 int test_indirect_recursive_f1(int i) {
   if (i > 10) {
     test_indirect_recursive_f2(i + i); // NON_COMPLIANT
diff --git a/cpp/common/test/rules/unsignedintegerliteralsnotappropriatelysuffixed/test.cpp b/cpp/common/test/rules/unsignedintegerliteralsnotappropriatelysuffixed/test.cpp
@@ -543,4 +543,20 @@ void test_macro() {
   COMPLIANT_VAL;     // COMPLIANT
   NON_COMPLIANT_VAL; // NON_COMPLIANT[FALSE_NEGATIVE] - cannot determine suffix
                      // in macro expansions
-}
+}
+
+constexpr unsigned long long operator""_km(unsigned long long value) {
+  return value;
+}
+
+void test_user_defined_literal_exclusion() {
+  0x80000000_km; // COMPLIANT - user-defined literal argument should be excluded
+}
+
+template <typename T> unsigned long long instantiated_literal_exclusion() {
+  return T{}; // COMPLIANT - template instantiation should be excluded
+}
+
+void test_instantiated_literal_exclusion() {
+  instantiated_literal_exclusion<int>();
+}
diff --git a/cpp/common/test/rules/unsignedoperationwithconstantoperandswraps/test.cpp b/cpp/common/test/rules/unsignedoperationwithconstantoperandswraps/test.cpp
@@ -80,11 +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
-  }
+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/cpp/common/test/rules/variablewidthintegertypesused/VariableWidthIntegerTypesUsed.expected b/cpp/common/test/rules/variablewidthintegertypesused/VariableWidthIntegerTypesUsed.expected
@@ -50,3 +50,5 @@
 | test.cpp:123:6:123:21 | test_long_return | Function 'test_long_return' has variable-width return type. |
 | test.cpp:126:15:126:39 | test_unsigned_long_return | Function 'test_unsigned_long_return' has variable-width return type. |
 | test.cpp:129:13:129:35 | test_signed_long_return | Function 'test_signed_long_return' has variable-width return type. |
+| test.cpp:160:5:160:11 | get_int | Function 'get_int' has variable-width return type. |
+| test.cpp:166:7:166:18 | explicit_int | Variable 'explicit_int' has variable-width type. |
diff --git a/cpp/common/test/rules/variablewidthintegertypesused/test.cpp b/cpp/common/test/rules/variablewidthintegertypesused/test.cpp
@@ -153,3 +153,15 @@ std::uint32_t test_uint32_t_return() { // COMPLIANT
 std::uint64_t test_uint64_t_return() { // COMPLIANT
   return 60;
 }
+
+// Regression test: auto-deduced types should not be flagged even when
+// the deduced type resolves through fixed-width typedefs to a built-in type.
+std::uint32_t get_uint32() { return 0; }
+int get_int() { return 0; }
+
+void test_auto_deduced_types() {
+  auto a1 = get_uint32(); // COMPLIANT - auto deduces through uint32_t
+  auto a2 = get_int();    // COMPLIANT - auto, programmer didn't write 'int'
+  const auto a3 = 42U;    // COMPLIANT - auto
+  int explicit_int = 0;   // NON_COMPLIANT - explicit variable-width type
+}
diff --git a/cpp/misra/src/qlpack.yml b/cpp/misra/src/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/misra-cpp-coding-standards
-version: 2.61.0-dev
+version: 2.62.0-dev
 description: MISRA C++ 2023
 default-suite: codeql-suites/misra-cpp-default.qls
 license: MIT
diff --git a/cpp/misra/src/rules/RULE-0-0-1/UnreachableStatement.ql b/cpp/misra/src/rules/RULE-0-0-1/UnreachableStatement.ql
@@ -61,12 +61,28 @@ predicate isReachable(BasicBlock bb) {
   )
 }
 
+/**
+ * Holds if `bb` is an orphan basic block that is disconnected from the CFG and
+ * does not represent a statement. These are artifacts of the extractor/CFG
+ * construction (e.g., variable access expressions, function name nodes, or
+ * temporary object reuse nodes) and not genuine unreachable statements.
+ * A block with no predecessors that is a Stmt is legitimately unreachable code
+ * (e.g., code after an infinite loop or noreturn call).
+ */
+predicate isDisconnectedNonStmtBlock(BasicBlock bb) {
+  not exists(bb.getAPredecessor()) and
+  not exists(bb.getASuccessor()) and
+  not bb = any(Function f).getEntryPoint() and
+  not bb instanceof Stmt
+}
+
 from BasicBlock bb
 where
   not isExcluded(bb, DeadCode3Package::unreachableStatementQuery()) and
   not isReachable(bb) and
   not isCompilerGenerated(bb) and
-  not affectedByMacro(bb)
+  not affectedByMacro(bb) and
+  not isDisconnectedNonStmtBlock(bb)
 // Note that the location of a BasicBlock will in some cases have an incorrect end location, often
 // preceding the end and including live code. We cast the block to an `Element` to get locations
 // that are not broken.
diff --git a/cpp/misra/test/qlpack.yml b/cpp/misra/test/qlpack.yml
@@ -1,5 +1,5 @@
 name: codeql/misra-cpp-coding-standards-tests
-version: 2.61.0-dev
+version: 2.62.0-dev
 extractor: cpp
 license: MIT
 dependencies:
diff --git a/cpp/misra/test/rules/RULE-0-0-1/test.cpp b/cpp/misra/test/rules/RULE-0-0-1/test.cpp
diff --git a/cpp/report/src/qlpack.yml b/cpp/report/src/qlpack.yml
diff --git a/docs/user_manual.md b/docs/user_manual.md

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ void f3() {`
`8`	`8`	`f3(); // NON_COMPLIANT`
`9`	`9`	`}`
`10`	`10`	`void f6() {`
`11`		`- f3(); // NON_COMPLIANT`
	`11`	`+ f3(); // COMPLIANT - merely calls a recursive function`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`void f5() {`