◐ Shell
clean mode source ↗

enabled `valueFlowBailoutIncompleteVar` in selfcheck by firewave · Pull Request #5351 · cppcheck-opensource/cppcheck

@firewave

This comment was marked as outdated.

@firewave

This comment was marked as resolved.

@chrchr-github

Seems like the remaining bailouts are cfg-related, except for that uninstantiated(?) template parameter.

@firewave

This comment was marked as duplicate.

@chrchr-github

@firewave

This comment was marked as resolved.

@firewave

lib/astutils.cpp:343:90: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intvalue [valueFlowBailoutIncompleteVar]
    if (!tok->varId() && tok->hasKnownIntValue() && std::to_string(tok->values().front().intvalue) == rhs)
                                                                                         ^

https://trac.cppcheck.net/ticket/12539.

@firewave

This comment was marked as resolved.

@firewave

This comment was marked as resolved.

@firewave

@firewave

Seems like the remaining bailouts are cfg-related, except for that uninstantiated(?) template parameter.

The most common ones actually require special handling and cannot simply be solved via the configuration. I filed tickets for most of them as they are also the top results in daca.

@firewave

This comment was marked as resolved.

@sonarqubecloud