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);