26 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,  in getLocFromSymbol()  argument
29       State->getStateManager().getRegionManager().getSymbolicRegion(Sym);  in getLocFromSymbol()
33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,  in checkNull()  argument
36   DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym)  in checkNull()
38   const ProgramStatePair &P = assumeDual(State, V);  in checkNull()
48 ConstraintManager::assumeDualImpl(ProgramStateRef &State,  in assumeDualImpl()  argument
50   if (LLVM_UNLIKELY(State->isPosteriorlyOverconstrained()))  in assumeDualImpl()
51     return {State, State};  in assumeDualImpl()
58   const ProgramState *RawSt = State.get();  in assumeDualImpl()
60     return {State, State};  in assumeDualImpl()
70       ProgramStateRef StInfeasible = State->cloneAsPosteriorlyOverconstrained();  in assumeDualImpl()
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) {  in assumeDual()  argument
95     return assumeInternal(State, Cond, Assumption);  in assumeDual()
97   return assumeDualImpl(State, AssumeFun);  in assumeDual()
101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,  in assumeInclusiveRangeDual()  argument
105     return assumeInclusiveRangeInternal(State, Value, From, To, Assumption);  in assumeInclusiveRangeDual()
107   return assumeDualImpl(State, AssumeFun);  in assumeInclusiveRangeDual()
110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State,  in assume()  argument
112   ConstraintManager::ProgramStatePair R = assumeDual(State, Cond);  in assume()
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value,  in assumeInclusiveRange()  argument
121       assumeInclusiveRangeDual(State, Value, From, To);  in assumeInclusiveRange()