Searched refs:hasDivZeroMap (Results 1 – 1 of 1) sorted by relevance
86 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;153 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap() function in TestAfterDivZeroChecker220 if (hasDivZeroMap(Val, C)) in checkBranchCondition()230 if (hasDivZeroMap(Val, C)) in checkBranchCondition()234 if (hasDivZeroMap(Val, C)) in checkBranchCondition()242 if (hasDivZeroMap(Val, C)) in checkBranchCondition()247 if (hasDivZeroMap(Val, C)) in checkBranchCondition()