Lines Matching refs:State
65 ProgramStateRef evalAssume(ProgramStateRef State,
70 return State;
74 State = addImplication(Antecedent, State, true);
75 State = addImplication(Antecedent, State, false);
78 return State;
86 ProgramStateRef State = C.getState();
90 State = State->assume(*L, /*assumption=*/true);
92 C.addTransition(State);
101 ProgramStateRef State = C.getState();
109 State = State->assume(*L, /*assumption=*/true);
122 State = State->set<NonNullImplicationMap>(RetS, ArgS);
126 State = State->set<NullImplicationMap>(ArgS, RetS);
130 C.addTransition(State);
134 ProgramStateRef State = C.getState();
136 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State);
137 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State);
139 C.addTransition(State);
144 /// \returns State with GDM \p MapName where all dead symbols were
148 ProgramStateRef State) const {
149 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())
151 State = State->remove<MapName>(P.first);
152 return State;
226 ProgramStateRef State = InputState;
231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
232 if (!State)
237 State = State->remove<NonNullImplicationMap>(Antecedent);
238 State = State->remove<NullImplicationMap>(*Consequent);
240 State = State->remove<NullImplicationMap>(Antecedent);
241 State = State->remove<NonNullImplicationMap>(*Consequent);
245 return State;