Lines Matching refs:state
76 void printState(raw_ostream &Out, ProgramStateRef State,
112 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
114 if (const unsigned *attachedFlags = state->get<SelfFlag>(sym))
123 static void addSelfFlag(ProgramStateRef state, SVal val,
127 state = state->set<SelfFlag>(sym, getSelfFlags(val, state) | flag);
128 C.addTransition(state);
183 ProgramStateRef state = C.getState();
188 state = state->set<CalledInit>(true);
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
191 addSelfFlag(state, V, SelfFlag_InitRes, C);
248 ProgramStateRef state = C.getState();
250 // If we passed 'self' as and argument to the call, record it in the state
258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
259 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
263 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
276 ProgramStateRef state = C.getState();
277 SelfFlagEnum prevFlags = (SelfFlagEnum)state->get<PreCallSelfFlags>();
280 state = state->remove<PreCallSelfFlags>();
289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
296 addSelfFlag(state, CE.getReturnValue(), prevFlags, C);
301 C.addTransition(state);
313 ProgramStateRef state = C.getState();
315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
332 // Stop tracking the checker-specific state in the state.
333 ProgramStateRef State = C.getState();
334 State = State->remove<CalledInit>();
336 State = State->remove<SelfFlag>(sym);
337 C.addTransition(State);
341 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State,
343 SelfFlagTy FlagMap = State->get<SelfFlag>();
344 bool DidCallInit = State->get<CalledInit>();
345 SelfFlagEnum PreCallFlags = (SelfFlagEnum)State->get<PreCallSelfFlags>();
