Searched refs:DivZeroMap (Results 1 – 1 of 1) sorted by relevance
94 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState) in REGISTER_SET_WITH_PROGRAMSTATE() argument152 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()163 return C.getState()->contains<DivZeroMap>(ZS); in hasDivZeroMap()186 DivZeroMapTy DivZeroes = State->get<DivZeroMap>(); in checkEndFunction()190 DivZeroMapTy::Factory &F = State->get_context<DivZeroMap>(); in checkEndFunction()198 C.addTransition(State->set<DivZeroMap>(DivZeroes)); in checkEndFunction()