Lines Matching defs:Sym
28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {
29 return State->get<RefBindings>(Sym);
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,
38 assert(Sym != nullptr);
39 return State->set<RefBindings>(Sym, Val);
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {
43 return State->remove<RefBindings>(Sym);
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol();
212 if (!Sym)
214 const RefVal* T = getRefBinding(state, Sym);
219 state = updateSymbol(state, Sym, *T, AE, hasErr, C);
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {
278 State = setRefBinding(State, Sym,
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();
293 if (!Sym || !dyn_cast_or_null<ObjCIvarRegion>(Sym->getOriginRegion()))
299 QualType Ty = Sym->getType();
310 if (CMgr.isNull(State, Sym).isConstrainedTrue())
313 if (const RefVal *RV = getRefBinding(State, Sym)) {
322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));
330 C.addTransition(setRefBinding(State, Sym, PlusZero));
334 State = setRefBinding(State, Sym, PlusZero.withIvarAccess());
372 if (SymbolRef Sym = ReceiverV.getAsLocSymbol())
373 if (const RefVal *T = getRefBinding(C.getState(), Sym))
457 if (SymbolRef Sym = V.getAsLocSymbol()) {
459 if (const RefVal *T = getRefBinding(state, Sym))
464 state = removeRefBinding(state, Sym);
470 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {
472 state = removeRefBinding(state, Sym);
480 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {
482 state = removeRefBinding(state, Sym);
623 if (SymbolRef Sym = V.getAsLocSymbol()) {
624 if (const RefVal *T = getRefBinding(state, Sym)) {
629 state = updateSymbol(state, Sym, *T, Effect, hasErr, C);
632 ErrorSym = Sym;
645 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {
646 if (const RefVal *T = getRefBinding(state, Sym)) {
648 state = updateSymbol(state, Sym, *T,
652 ErrorSym = Sym;
659 if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) {
660 if (const RefVal *T = getRefBinding(state, Sym)) {
661 state = updateSymbol(state, Sym, *T, Summ.getThisEffect(),
665 ErrorSym = Sym;
688 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {
696 state = setRefBinding(state, Sym, *updatedRefVal);
844 SymbolRef Sym) const {
851 if (Sym->getType()->getPointeeCXXRecordDecl())
862 SymbolRef Sym,
870 if (const RefVal *RV = getRefBinding(St, Sym))
879 errorKindToBugKind(ErrorKind, Sym),
880 C.getASTContext().getLangOpts(), N, Sym);
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext())
987 if (!Sym)
991 const RefVal *T = getRefBinding(state, Sym);
1023 state = setRefBinding(state, Sym, X);
1036 state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X, S);
1043 T = getRefBinding(state, Sym);
1063 return checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);
1070 SymbolRef Sym,
1091 state = setRefBinding(state, Sym, X);
1098 std::make_unique<RefLeakReport>(*LeakAtReturn, LOpts, N, Sym, C);
1110 state = setRefBinding(state, Sym,
1115 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);
1123 *ReturnNotOwnedForOwned, C.getASTContext().getLangOpts(), N, Sym);
1211 SymbolRef Sym,
1247 return setRefBinding(state, Sym, V);
1262 state = setRefBinding(state, Sym, V);
1276 auto R = std::make_unique<RefCountReport>(*OverAutorelease, LOpts, N, Sym,
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol();
1359 state = setRefBinding(state, Sym, NewVal);
1418 SymbolRef Sym = I.first;
1419 if (SymReaper.isDead(Sym)) {
1422 state = handleAutoreleaseCounts(state, Pred, &Tag, C, Sym, V);
1428 state = handleSymbolDeath(state, Sym, *getRefBinding(state, Sym), Leaked);