Searched refs:DivZeroMap (Results 1 – 1 of 1) sorted by relevance
95 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState) in REGISTER_SET_WITH_PROGRAMSTATE() argument155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()166 return C.getState()->contains<DivZeroMap>(ZS); in hasDivZeroMap()188 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction()192 DivZeroMapTy::Factory &F = State->get_context<DivZeroMap>(); in checkEndFunction()200 C.addTransition(State->set<DivZeroMap>(DivZeroes)); in checkEndFunction()