Lines Matching refs:SymbolRef

24                                                    SymbolRef Sym,  in assumeSym()
65         SymbolRef Subtraction =  in assumeSym()
79         SymbolRef CanonicalEquality =  in assumeSym()
102     ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,  in assumeSymInclusiveRange()
112   SymbolRef AdjustedSym = Sym;  in assumeSymInclusiveRange()
134                                               SymbolRef Sym, bool Assumption) {  in assumeSymUnsupported()
153                                                       SymbolRef Sym,  in assumeSymRel()
217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym,  in computeAdjustment()
235 SVal simplifyToSVal(ProgramStateRef State, SymbolRef Sym) {  in simplifyToSVal()
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) {  in simplify()
242   if (SymbolRef SimplifiedSym = SimplifiedVal.getAsSymbol())  in simplify()