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