reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); 276 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) 284 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); 289 SVal InitialVal = State->getSVal(LValLoc.getValue()); 299 State = State->set<UnreleasedIvarMap>(SelfSymbol, RequiredReleases); 299 State = State->set<UnreleasedIvarMap>(SelfSymbol, RequiredReleases); 302 if (State != InitialState) { 303 C.addTransition(State);