Lines Matching refs: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);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
102 virtual ProgramStateRef assumeWithinInclusiveRange(ProgramStateRef State,
109 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From,
111 ProgramStateRef StInRange = assumeWithinInclusiveRange(State, Value, From,
117 return ProgramStatePair((ProgramStateRef)nullptr, State);
119 ProgramStateRef StOutOfRange = assumeWithinInclusiveRange(State, Value,
125 return ProgramStatePair(State, (ProgramStateRef)nullptr);
153 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
156 return checkNull(State, Sym);
177 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);