Home
last modified time | relevance | path

Searched refs:hasDivZeroMap (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp88 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
155 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap() function in TestAfterDivZeroChecker
227 if (hasDivZeroMap(Val, C)) in checkBranchCondition()
237 if (hasDivZeroMap(Val, C)) in checkBranchCondition()
241 if (hasDivZeroMap(Val, C)) in checkBranchCondition()
249 if (hasDivZeroMap(Val, C)) in checkBranchCondition()
254 if (hasDivZeroMap(Val, C)) in checkBranchCondition()