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

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

Completed in 113 milliseconds