Lines Matching defs:State

26 ProgramStateRef SimpleConstraintManager::assumeInternal(ProgramStateRef State,
31     SValBuilder &SVB = State->getStateManager().getSValBuilder();
42   return assume(State, Cond.castAs<NonLoc>(), Assumption);
45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,
47   State = assumeAux(State, Cond, Assumption);
49     return EE->processAssume(State, Cond, Assumption);
50   return State;
53 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State,
63     return assumeSymUnsupported(State, Sym, Assumption);
74     return assumeSym(State, Sym, Assumption);
80     return isFeasible ? State : nullptr;
86     return IsFeasible ? State : nullptr;
90     return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
96     ProgramStateRef State, NonLoc Value, const llvm::APSInt &From,
107     return assumeSymInclusiveRange(State, Sym, From, To, InRange);
118       return assumeSymInclusiveRange(State, Sym, From, To, InRange);
119     return State;
126     return isFeasible ? State : nullptr;