Lines Matching defs:State

23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
26 Sym = simplify(State, Sym);
30 return assumeSymUnsupported(State, Sym, Assumption);
41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS());
46 return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero);
72 return assumeSymRel(State, Subtraction, Op, Zero);
88 return assumeSymNE(State, CanonicalEquality, Zero, Zero);
91 return assumeSymEQ(State, CanonicalEquality, Zero, Zero);
98 return assumeSymUnsupported(State, Sym, Assumption);
102 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
105 Sym = simplify(State, Sym);
126 return assumeSymWithinInclusiveRange(State, AdjustedSym, ConvertedFrom,
128 return assumeSymOutsideInclusiveRange(State, AdjustedSym, ConvertedFrom,
133 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State,
135 Sym = simplify(State, Sym);
142 return State;
147 return assumeSymNE(State, Sym, Zero, Zero);
149 return assumeSymEQ(State, Sym, Zero, Zero);
152 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State,
167 return assumeSym(State, Sym, (Op == BO_NE ? true : false));
198 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment);
201 return assumeSymNE(State, Sym, ConvertedInt, Adjustment);
204 return assumeSymGT(State, Sym, ConvertedInt, Adjustment);
207 return assumeSymGE(State, Sym, ConvertedInt, Adjustment);
210 return assumeSymLT(State, Sym, ConvertedInt, Adjustment);
213 return assumeSymLE(State, Sym, ConvertedInt, Adjustment);
235 SVal simplifyToSVal(ProgramStateRef State, SymbolRef Sym) {
236 SValBuilder &SVB = State->getStateManager().getSValBuilder();
237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym));
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) {
241 SVal SimplifiedVal = simplifyToSVal(State, Sym);