Lines Matching defs:Sym

24                                                    SymbolRef Sym,
26   Sym = simplify(State, Sym);
29   if (isa<SymbolData>(Sym))
30     return assumeSymUnsupported(State, Sym, Assumption);
33   if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) {
49   if (const auto *SSE = dyn_cast<SymSymExpr>(Sym)) {
98   return assumeSymUnsupported(State, Sym, Assumption);
102     ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
105   Sym = simplify(State, Sym);
109   APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
112   SymbolRef AdjustedSym = Sym;
134                                               SymbolRef Sym, bool Assumption) {
135   Sym = simplify(State, Sym);
138   QualType T = Sym->getType();
147     return assumeSymNE(State, Sym, Zero, Zero);
149     return assumeSymEQ(State, Sym, Zero, Zero);
153                                                       SymbolRef Sym,
165     if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym))
167         return assumeSym(State, Sym, (Op == BO_NE ? true : false));
172   APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
182   computeAdjustment(Sym, Adjustment);
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);
217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym,
220   if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
223       Sym = SE->getLHS();
235 SVal simplifyToSVal(ProgramStateRef State, SymbolRef Sym) {
237   return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym));
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) {
241   SVal SimplifiedVal = simplifyToSVal(State, Sym);
244   return Sym;