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