Lines Matching refs:State
25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,
30 SValBuilder &SVB = State->getStateManager().getSValBuilder();
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,
46 State = assumeAux(State, Cond, Assumption);
48 return SU->processAssume(State, Cond, Assumption);
49 return State;
52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State,
62 return assumeSymUnsupported(State, Sym, Assumption);
73 return assumeSym(State, Sym, Assumption);
79 return isFeasible ? State : nullptr;
85 return IsFeasible ? State : nullptr;
89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From,
106 return assumeSymInclusiveRange(State, Sym, From, To, InRange);
117 return assumeSymInclusiveRange(State, Sym, From, To, InRange);
118 return State;
125 return isFeasible ? State : nullptr;