• Home
  • Raw
  • Download

Lines Matching defs:Sym

28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {  in getRefBinding()
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt() local
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt() local
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt() local
372 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in checkPostCall() local
457 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined() local
470 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined() local
480 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined() local
623 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary() local
645 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary() local
659 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) { in checkSummary() local
688 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary() local
862 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