Searched refs:hasDivZeroMap (Results 1 – 1 of 1) sorted by relevance
90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap() function in TestAfterDivZeroChecker230 if (hasDivZeroMap(Val, C)) in checkBranchCondition()240 if (hasDivZeroMap(Val, C)) in checkBranchCondition()244 if (hasDivZeroMap(Val, C)) in checkBranchCondition()252 if (hasDivZeroMap(Val, C)) in checkBranchCondition()257 if (hasDivZeroMap(Val, C)) in checkBranchCondition()