Searched refs:DivZeroes (Results 1 – 1 of 1) sorted by relevance
185 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction() local186 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()