Lines Matching defs:Sym
29 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
37 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
43 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
210 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt() local
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt() local
291 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt() local
371 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall() local
456 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined() local
469 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined() local
479 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined() local
622 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary() local
644 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary() local
658 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary() local
687 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary() local
861 SymbolRef Sym, in processNonLeakError()
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn() local
1070 SymbolRef Sym, in checkReturnWithRetEffect()
1211 SymbolRef Sym, in handleAutoreleaseCounts()
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction() local
1418 SymbolRef Sym = I.first; in checkDeadSymbols() local