Lines Matching refs:State
687 ProgramStateRef State = C.getState();
690 SVal CollectionSentinel = State->getSVal(FCS, C.getLocationContext());
705 ElementVar = State->getLValue(ElemDecl, C.getLocationContext());
707 ElementVar = State->getSVal(Element, C.getLocationContext());
714 SVal Val = State->getSVal(cast<Loc>(ElementVar));
715 State = State->assume(cast<DefinedOrUnknownSVal>(Val), true);
716 C.addTransition(State);
736 ProgramStateRef State,
738 SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());
740 return State->assume(*DV, true);
741 return State;
747 ProgramStateRef State = C.getState();
769 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
780 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
784 C.addTransition(State);