Последний cppcheck предупреждает об этом, и здесь был добавлен регрессионный тест:

https://github.com/danmar/cppcheck/pull/2401

Исторически cppcheck отслеживал только значения переменных, но недавно улучшил поддержку отслеживания значений выражений. Это изменение, скорее всего, было результатом этих изменений здесь:



Поддержка выражения в valueFlowAfterCondition от pfultz2 · Pull Request #2219 · danmar/cppcheck
Это поддерживает не только переменные, но и выражения в valueFlowAfterCondition. Теперь мы можем вывести такие значения, как x здесь: void…github.com





Исправить проблему 2153: valueFlowAfterCondition: член структуры от pfultz2 · Запрос на включение № 2228 ·…
Вы не можете выполнить это действие в настоящее время. Вы вошли в другую вкладку или окно. Вы вышли на другой вкладке или…github.com



В будущем запланированы дополнительные улучшения для отслеживания выражений, но, скорее всего, они появятся после выхода версии 1.90.