Method checkZeroDivision

lib/checkother.cpp:2468–2487

--------------------------------------------------------------------------- Detect division by zero. ---------------------------------------------------------------------------

// Detect division by zero.
//---------------------------------------------------------------------------
void CheckOtherImpl::checkZeroDivision()
{
    logChecker("CheckOther::checkZeroDivision");

    for (const Token *tok = mTokenizer->tokens(); tok; tok = tok->next()) {
        if (!tok->astOperand2() || !tok->astOperand1())
            continue;
        if (tok->str() != "%" && tok->str() != "/" && tok->str() != "%=" && tok->str() != "/=")
            continue;
        if (!tok->valueType() || !tok->valueType()->isIntegral())
            continue;
        if (tok->scope() && tok->scope()->type == ScopeType::eEnum) // don't warn for compile-time error
            continue;

        // Value flow..
        const ValueFlow::Value *value = tok->astOperand2()->getValue(0LL);
        if (value && mSettings.isEnabled(value, false))
            zerodivError(tok, value);
    }
}

void CheckOtherImpl::zerodivError(const Token *tok, const ValueFlow::Value *value)
{