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 TestAfterDivZeroChecker229 if (hasDivZeroMap(Val, C)) in checkBranchCondition()239 if (hasDivZeroMap(Val, C)) in checkBranchCondition()243 if (hasDivZeroMap(Val, C)) in checkBranchCondition()251 if (hasDivZeroMap(Val, C)) in checkBranchCondition()256 if (hasDivZeroMap(Val, C)) in checkBranchCondition()