[chrchr-github]

No description provided.

[dmcppcheck]

AI review

This PR only adds regression tests: #6092 (array index out of bounds after a conditional i++), #9995 (unusedVariable false positive with a reference-member operator[]) and #13766 ((typename const U&) cast). I found no problems. All three new assertions pass against the PR build. Each expected message matches what the PR's cppcheck binary prints for the same code. The #6092 test also has no false positive in a variant where the index stays in bounds.

Testing

• Built cppcheck and testrunner in pr/ with make -j8. The build succeeded.
• Ran ./testrunner TestBufferOverrun TestOther TestUnusedVar: Tests failed: 0 (682 tests, 142 todos).
• Ran pr/cppcheck --enable=all on the #6092 code, plus a variant where the array has 3 elements so the index stays in bounds:
  • The original code gives exactly the [7:11] arrayIndexOutOfBounds error that the test expects. The trace notes show the path through the if (b) branch.
  • The 3-element variant gives no out-of-bounds error, as expected.

---

Automated review of dfa2a4a by Claude. The pull request was built and tested locally.