Lines Matching refs:State
114 ProgramStateRef State) const;
117 ProgramStateRef State,
134 ProgramStateRef State = C.getState();
146 Call->getDecl()->getParent(), ThisVal, State);
148 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C);
149 C.addTransition(State);
169 ProgramStateRef State = C.getState();
172 ThisVal, State);
174 OtherVal, State);
176 State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C);
177 C.addTransition(State);
251 ProgramStateRef State) const {
262 State->getLValue(SuccessField, Instance).getAs<Loc>();
266 return State->getSVal(*FieldLoc);
271 ProgramStateRef State,
275 return State;
278 C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(),
282 return State;
284 State = C.getConstraintManager().assume(
285 State, ValuesEqual.castAs<DefinedSVal>(), true);
287 return State;