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