Fix Trac 4651: avoid const-statement warnings for overloaded commas

[KiritoYG]

Addresses Trac 4651. Boost.Assign expressions such as values += 2, 2 can perform useful work through an overloaded comma, but currently receive constStatement even in ordinary warning mode.

Require evidence of built-in operand types before treating a C++ comma expression as a constant statement. Account for assignment overloads separately: their inferred type is copied from the lhs, while the declared operator may return a different type. Conservatively inspect available return types without selecting an arbitrary overload; unknown, inherited, template and user-defined-conversion cases remain uncertain.

Keep warnings for ordinary scalar, pointer and C comma expressions, plus declared integer/pointer/void operator results. Add three test methods covering the original numeric/string-list use, member and free operators, chained commas, enums, anonymous namespaces, template ADL, mixed overloads and a ref-qualified/user-conversion regression. No Boost-name special case or library configuration change.

Validation:

• Exact-original production with the new tests: 5,297 tests, 351 existing TODOs, the two expected regression failures.
• Final Windows Clang/MinGW: 5,297 tests, 351 existing TODOs, zero failures. Twelve original/patched CLI comparisons pass; real-warning controls retain identical output and exit status.
• Independent Linux GCC 11.4 verification of the exact source: warnings-as-errors build; 5,359 native tests, 360 existing TODOs, zero failures; all 33 focused incomplete-statement tests pass. The helper branch adds only its verification workflow.
• Uncrustify 0.80.1 and git diff --check pass.

Two earlier Windows runs exited with 0xc0000005 while displaying TestIO::testPrintfArgumentVariables, whose checker does not invoke the new helper. The recorded offsets resolve to the unchanged Token::Match; neither a patch nor baseline cause is established. A bounded debugger run passed that location but was stopped after becoming slow in the existing TestValueFlow::valueFlowHang. The final complete native pass above includes the conversion regression.

This is conservative classification, not complete overload resolution: uncertain class expressions can suppress a genuine warning. The primitive/pointer/void controls limit that tradeoff and preserve the demonstrated existing diagnostics.

Please assign Trac 4651 to KiritoYG for this patch and confirm eligibility under the published USD 30 bounty bracket. After qualifying closure, I can use the documented bounty-request process; please also confirm the available settlement channel.

[danmar]

as I understand it this is a AI generated fix. I fear I don't want to invest the time to review this.

[danmar]

Can you please respond how the code is written. By hand/by AI?

I would like that checkers and other code in cppcheck are written carefully by hand.

• For me; it's hard to keep up even with manually written PRs. I want that code is written carefully with great caution.
• For you; I want that contributors learn from reviews etc and become more "senior". after a number of merged PRs a contributor will have a better understanding than after the first. in my humble opinion AIs will not learn?

I can envision to have AI-generated code in stuff that we don't release for instance AI generated tests. But I would appreciate if you are clear about what is AI generated.

[dmcppcheck]

Test results for commit f198ea5 (tools/test-my-pr.py, main compared to this PR):

Test: http://ec2-16-170-140-253.eu-north-1.compute.amazonaws.com/pr-8893/
packages: 200
Differing warnings: 1 (+0 -1)
AI review: 1 improvement (http://ec2-16-170-140-253.eu-north-1.compute.amazonaws.com/pr-8893/2026-09-24_16-05-54-f198ea55a233-review.txt)
Timing: -0.3% (http://ec2-16-170-140-253.eu-north-1.compute.amazonaws.com/pr-8893/2026-09-24_16-05-54-f198ea55a233_timing.html)

_{Posted automatically by the cppcheck PR test runner. +N: warnings only with this PR, -N: warnings only with main. The AI review is written by Claude and can be wrong.}