Lines Matching full:state
133 static SelfFlagEnum getSelfFlags(SVal val, const ProgramState *state) {
135 if (const unsigned *attachedFlags = state->get<SelfFlag>(sym))
144 static void addSelfFlag(const ProgramState *state, SVal val,
148 C.addTransition(state->set<SelfFlag>(sym, getSelfFlags(val, C) | flag));
202 const ProgramState *state = C.getState();
207 state = state->set<CalledInit>(true);
209 SVal V = state->getSVal(msg.getOriginExpr());
210 addSelfFlag(state, V, SelfFlag_InitRes, C);
262 const ProgramState *state = C.getState();
265 SVal argV = state->getSVal(*I);
267 unsigned selfFlags = getSelfFlags(state->getSVal(cast<Loc>(argV)), C);
268 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
272 C.addTransition(state->set<PreCallSelfFlags>(selfFlags));
280 const ProgramState *state = C.getState();
283 SVal argV = state->getSVal(*I);
285 SelfFlagEnum prevFlags = (SelfFlagEnum)state->get<PreCallSelfFlags>();
286 state = state->remove<PreCallSelfFlags>();
287 addSelfFlag(state, state->getSVal(cast<Loc>(argV)), prevFlags, C);
290 SelfFlagEnum prevFlags = (SelfFlagEnum)state->get<PreCallSelfFlags>();
291 state = state->remove<PreCallSelfFlags>();
292 addSelfFlag(state, state->getSVal(CE), prevFlags, C);
303 const ProgramState *state = C.getState();
305 addSelfFlag(state, state->getSVal(cast<Loc>(location)), SelfFlag_Self, C);
