Searched refs:hasDivZeroMap (Results 1 – 1 of 1) sorted by relevance
89 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;156 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap() function in TestAfterDivZeroChecker223 if (hasDivZeroMap(Val, C)) in checkBranchCondition()233 if (hasDivZeroMap(Val, C)) in checkBranchCondition()237 if (hasDivZeroMap(Val, C)) in checkBranchCondition()245 if (hasDivZeroMap(Val, C)) in checkBranchCondition()250 if (hasDivZeroMap(Val, C)) in checkBranchCondition()