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

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

Completed in 73 milliseconds