Lines Matching defs:Sym
99 SymbolRef Sym, bool Assumption) {
101 QualType T = Sym->getType();
109 return assumeSymNE(State, Sym, zero, zero);
111 return assumeSymEQ(State, Sym, zero, zero);
122 SymbolRef sym = Cond.getAsSymExpr();
123 return assumeAuxForSymbol(state, sym, Assumption);
132 SymbolRef sym = SV.getSymbol();
133 assert(sym);
137 return assumeAuxForSymbol(state, sym, Assumption);
140 } else if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym)) {
151 } else if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(sym)) {
178 return assumeAuxForSymbol(state, sym, Assumption);
193 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment) {
194 // Is it a "($sym+constant1)" expression?
195 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
198 Sym = SE->getLHS();
221 // We only handle simple comparisons of the form "$sym == constant"
222 // or "($sym+constant1) == constant2".
228 SymbolRef Sym = LHS;
230 computeAdjustment(Sym, Adjustment);
246 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment);
249 return assumeSymNE(state, Sym, ConvertedInt, Adjustment);
252 return assumeSymGT(state, Sym, ConvertedInt, Adjustment);
255 return assumeSymGE(state, Sym, ConvertedInt, Adjustment);
258 return assumeSymLT(state, Sym, ConvertedInt, Adjustment);
261 return assumeSymLE(state, Sym, ConvertedInt, Adjustment);
