Lines Matching refs:SymbolRef
45 SymbolRef Region;
47 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
75 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
110 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
131 SymbolRef Sym;
134 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
153 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
204 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
211 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
265 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
306 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
415 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
428 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
442 SymbolRef Sym, in getAllocationNode()
512 SymbolRef ReturnSymbol = nullptr; in evalAssume()
582 SymbolRef Sym = I.first; in checkPointerEscape()
603 SymbolRef ParentSym = SD->getParentSymbol(); in checkPointerEscape()
650 for (SymbolRef Sym : llvm::make_first_range(AMap)) { in printState()