Searched refs:hasDivZeroMap (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | TestAfterDivZeroChecker.cpp | 90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap() function in TestAfterDivZeroChecker
230 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()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | TestAfterDivZeroChecker.cpp | 88 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()
|