Lines Matching refs:State
118 ProgramStateRef State = Succ->getState();
119 SVal S = State->getSVal(E, Succ->getLocationContext());
153 ProgramStateRef State = C.getState();
154 State =
155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame()));
156 C.addTransition(State);
186 ProgramStateRef State = C.getState();
188 DivZeroMapTy DivZeroes = State->get<DivZeroMap>();
192 DivZeroMapTy::Factory &F = State->get_context<DivZeroMap>();
200 C.addTransition(State->set<DivZeroMap>(DivZeroes));