Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

133   bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
136 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
140 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
143 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
166 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
168 SymbolRef InstanceSym,
169 SymbolRef ValueSym) const;
179 typedef llvm::ImmutableSet<SymbolRef> SymbolSet;
183 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet)
269 SymbolRef SelfSymbol = SelfVal.getAsSymbol();
297 SymbolRef Symbol = InitialVal.getAsSymbol();
317 ObjCDeallocChecker::getIvarRegionForIvarSymbol(SymbolRef IvarSym) const {
323 SymbolRef
324 ObjCDeallocChecker::getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const {
342 SymbolRef ReleasedValue = nullptr;
379 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol();
429 SymbolRef NullSymbol = nullptr;
444 SymbolRef InstanceSymbol = getInstanceSymbolFromIvarSymbol(NullSymbol);
482 SymbolRef InstanceSymbol = getInstanceSymbolFromIvarSymbol(Sym);
506 SymbolRef SelfSym = SelfVal.getAsSymbol();
615 SymbolRef IvarSym, CheckerContext &C) const {
643 bool ObjCDeallocChecker::diagnoseExtraRelease(SymbolRef ReleasedValue,
721 bool ObjCDeallocChecker::diagnoseMistakenDealloc(SymbolRef DeallocedValue,
840 SymbolRef Value) const {
842 SymbolRef InstanceSym = getInstanceSymbolFromIvarSymbol(Value);
858 ProgramStateRef State, SymbolRef Instance, SymbolRef Value) const {
925 SymbolRef