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