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 TestAfterDivZeroChecker228 if (hasDivZeroMap(Val, C)) in checkBranchCondition()238 if (hasDivZeroMap(Val, C)) in checkBranchCondition()242 if (hasDivZeroMap(Val, C)) in checkBranchCondition()250 if (hasDivZeroMap(Val, C)) in checkBranchCondition()255 if (hasDivZeroMap(Val, C)) in checkBranchCondition()