Method alwaysTrueFalseError

lib/checkcondition.cpp:1676–1688

}

void CheckConditionImpl::alwaysTrueFalseError(const Token* tok, const Token* condition, const ValueFlow::Value* value)
{
    const bool alwaysTrue = value && (value->intvalue != 0 || value->isImpossible());
    const std::string expr = tok ? tok->expressionString() : std::string("x");
    const std::string conditionStr = getConditionString(condition);
    const std::string errmsg = conditionStr + " '" + expr + "' is always " + bool_to_string(alwaysTrue);
    ErrorPath errorPath = getErrorPath(tok, value, errmsg);
    reportError(std::move(errorPath),
                Severity::style,
                "knownConditionTrueFalse",
                errmsg,
                (alwaysTrue ? CWE571 : CWE570), Certainty::normal);
}

void CheckConditionImpl::checkInvalidTestForOverflow()
{