Lines Matching defs:Sym
139 SymbolRef Sym, bool Assumption) {
141 QualType T = Sym->getType(BVF.getContext());
149 return assumeSymNE(State, Sym, zero, zero);
151 return assumeSymEQ(State, Sym, zero, zero);
162 SymbolRef sym = Cond.getAsSymExpr();
163 return assumeAuxForSymbol(state, sym, Assumption);
174 SymbolRef sym = SV.getSymbol();
175 assert(sym);
179 return assumeAuxForSymbol(state, sym, Assumption);
184 const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym);
186 return assumeAuxForSymbol(state, sym, Assumption);
216 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment) {
217 // Is it a "($sym+constant1)" expression?
218 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
221 Sym = SE->getLHS();
246 // We only handle simple comparisons of the form "$sym == constant"
247 // or "($sym+constant1) == constant2".
253 SymbolRef Sym = LHS;
255 computeAdjustment(Sym, Adjustment);
267 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment);
270 return assumeSymNE(state, Sym, ConvertedInt, Adjustment);
273 return assumeSymGT(state, Sym, ConvertedInt, Adjustment);
276 return assumeSymGE(state, Sym, ConvertedInt, Adjustment);
279 return assumeSymLT(state, Sym, ConvertedInt, Adjustment);
282 return assumeSymLE(state, Sym, ConvertedInt, Adjustment);
