Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp188 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction() local
189 if (DivZeroes.isEmpty()) in checkEndFunction()
193 for (llvm::ImmutableSet<ZeroState>::iterator I = DivZeroes.begin(), in checkEndFunction()
194 E = DivZeroes.end(); in checkEndFunction()
198 DivZeroes = F.remove(DivZeroes, ZS); in checkEndFunction()
200 C.addTransition(State->set<DivZeroMap>(DivZeroes)); in checkEndFunction()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp185 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction() local
186 if (DivZeroes.isEmpty()) in checkEndFunction()
190 for (llvm::ImmutableSet<ZeroState>::iterator I = DivZeroes.begin(), in checkEndFunction()
191 E = DivZeroes.end(); in checkEndFunction()
195 DivZeroes = F.remove(DivZeroes, ZS); in checkEndFunction()
197 C.addTransition(State->set<DivZeroMap>(DivZeroes)); in checkEndFunction()