Searched refs:DivZeroMap (Results 1 – 1 of 1) sorted by relevance
93 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState) in REGISTER_SET_WITH_PROGRAMSTATE() argument151 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()162 return C.getState()->contains<DivZeroMap>(ZS); in hasDivZeroMap()185 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction()189 DivZeroMapTy::Factory &F = State->get_context<DivZeroMap>(); in checkEndFunction()197 C.addTransition(State->set<DivZeroMap>(DivZeroes)); in checkEndFunction()