Lines Matching refs:State
67 virtual ProgramStateRef assume(ProgramStateRef state,
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
91 ProgramStateRef StFalse = assume(State, Cond, false);
93 // We are careful to return the original state, /not/ StTrue,
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
102 virtual ProgramStateRef assumeInclusiveRange(ProgramStateRef State,
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
113 assumeInclusiveRange(State, Value, From, To, true);
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
121 assumeInclusiveRange(State, Value, From, To, false);
123 // We are careful to return the original state, /not/ StTrue,
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
137 virtual const llvm::APSInt* getSymVal(ProgramStateRef state,
144 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
147 virtual void print(ProgramStateRef state,
152 virtual void EndPath(ProgramStateRef state) {}
154 /// Convenience method to query the state to see if a symbol is null or
156 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
159 return checkNull(State, Sym);
180 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
