Searched refs:getSValForVar (Results 1 – 1 of 1) sorted by relevance
208 static std::optional<SVal> getSValForVar(const Expr *CondVarExpr, in getSValForVar() function235 if (std::optional<SVal> V = getSValForVar(CondVarExpr, N)) in getConcreteIntegerValue()250 if (std::optional<SVal> V = getSValForVar(CondVarExpr, N)) in isVarAnInterestingCondition()260 if (std::optional<SVal> V = getSValForVar(E, N)) in isInterestingExpr()