Lines Matching +full:bool +full:- +full:property
1 //==- CheckObjCDealloc.cpp - Check ObjC -dealloc implementation --*- C++ -*-==//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This checker analyzes Objective-C -dealloc methods and their callees
12 // - When a class has a synthesized instance variable for a 'retain' or 'copy'
13 // property and lacks a -dealloc method in its implementation.
14 // - When a class has a synthesized instance variable for a 'retain'/'copy'
15 // property but the ivar is not released in -dealloc by either -release
16 // or by nilling out the property.
18 // It warns about extra releases in -dealloc (but not in callees) when a
20 // - When the property is 'assign' and is not 'readonly'.
21 // - When the property is 'weak'.
26 // this is specified in the property declaration itself.
28 //===----------------------------------------------------------------------===//
54 /// -dealloc.
57 /// -release on it directly or by nilling it out with a property setter.
60 /// The instance variable must not be directly released with -release.
67 /// Returns true if the property implementation is synthesized and the
68 /// type of the property is retainable.
69 static bool isSynthesizedRetainableProperty(const ObjCPropertyImplDecl *I, in isSynthesizedRetainableProperty()
73 if (I->getPropertyImplementation() != ObjCPropertyImplDecl::Synthesize) in isSynthesizedRetainableProperty()
76 (*ID) = I->getPropertyIvarDecl(); in isSynthesizedRetainableProperty()
80 QualType T = (*ID)->getType(); in isSynthesizedRetainableProperty()
81 if (!T->isObjCRetainableType()) in isSynthesizedRetainableProperty()
84 (*PD) = I->getPropertyDecl(); in isSynthesizedRetainableProperty()
85 // Shouldn't be able to synthesize a property that doesn't exist. in isSynthesizedRetainableProperty()
127 bool Assumption) const;
139 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
142 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
159 bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
160 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
162 bool instanceDeallocIsOnStack(const CheckerContext &C,
165 bool isSuperDeallocMessage(const ObjCMethodCall &M) const;
179 bool classHasSeparateTeardown(const ObjCInterfaceDecl *ID) const;
181 bool isReleasedByCIFilterDealloc(const ObjCPropertyImplDecl *PropImpl) const;
182 bool isNibLoadedIvarWithoutRetain(const ObjCPropertyImplDecl *PropImpl) const;
188 /// symbols remaining that must be released in -dealloc.
193 /// An AST check that diagnose when the class requires a -dealloc method and in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
202 const ObjCInterfaceDecl *ID = D->getClassInterface(); in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
204 // then it may not require a -dealloc method. in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
211 bool HasOthers = false; in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
212 for (const auto *I : D->property_impls()) { in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
229 for (const auto *I : D->instance_methods()) { in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
230 if (I->getSelector() == DeallocSel) { in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
237 const char* Name = "Missing -dealloc"; in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
242 << "must release '" << *PropImplRequiringRelease->getPropertyIvarDecl() in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
256 /// If this is the beginning of -dealloc, mark the values initially stored in
257 /// instance variables that must be released by the end of -dealloc
263 // Only do this if the current method is -dealloc. in checkBeginFunction()
275 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
277 // Symbols that must be released by the end of the -dealloc; in checkBeginFunction()
280 // If we're an inlined -dealloc, we should add our symbols to the existing in checkBeginFunction()
282 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) in checkBeginFunction()
285 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) { in checkBeginFunction()
290 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); in checkBeginFunction()
295 SVal InitialVal = State->getSVal(*LValLoc); in checkBeginFunction()
305 State = State->set<UnreleasedIvarMap>(SelfSymbol, RequiredReleases); in checkBeginFunction()
317 return dyn_cast_or_null<ObjCIvarRegion>(IvarSym->getOriginRegion()); in getIvarRegionForIvarSymbol()
329 const SymbolicRegion *SR = IvarRegion->getSymbolicBase(); in getInstanceSymbolFromIvarSymbol()
331 return SR->getSymbol(); in getInstanceSymbolFromIvarSymbol()
334 /// If we are in -dealloc or -dealloc is on the stack, handle the call if it is
335 /// a release or a nilling-out property setter.
338 // Only run if -dealloc is on the stack. in checkPreObjCMessage()
353 // An instance variable symbol was released with -release: in checkPreObjCMessage()
358 // An instance variable symbol was released nilling out its property: in checkPreObjCMessage()
359 // self.property = nil; in checkPreObjCMessage()
369 /// If we are in -dealloc or -dealloc is on the stack, handle the call if it is
390 // We perform this check post-message so that if the super -dealloc in checkPostObjCMessage()
397 /// Check for missing releases even when -dealloc does not call
413 bool Assumption) const { in evalAssume()
414 if (State->get<UnreleasedIvarMap>().isEmpty()) in evalAssume()
421 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
432 const llvm::APInt &RHS = SIE->getRHS(); in evalAssume()
435 NullSymbol = SIE->getLHS(); in evalAssume()
437 const llvm::APInt &LHS = SIE->getLHS(); in evalAssume()
440 NullSymbol = SIE->getRHS(); in evalAssume()
459 if (State->get<UnreleasedIvarMap>().isEmpty()) in checkPointerEscape()
464 // post-message handler for '[super dealloc], escaping here would cause in checkPointerEscape()
471 if (!Call || (Call && !Call->isInSystemHeader())) { in checkPointerEscape()
476 // and are frequently called on 'self' in -dealloc (e.g., to remove in checkPointerEscape()
477 // observers) -- we want to avoid false negatives from escaping on in checkPointerEscape()
479 State = State->remove<UnreleasedIvarMap>(Sym); in checkPointerEscape()
511 const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym); in diagnoseMissingReleases()
516 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
522 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
526 if (SelfRegion != IvarRegion->getSuperRegion()) in diagnoseMissingReleases()
529 const ObjCIvarDecl *IvarDecl = IvarRegion->getDecl(); in diagnoseMissingReleases()
530 // Prevent an inlined call to -dealloc in a super class from warning in diagnoseMissingReleases()
531 // about the values the subclass's -dealloc should release. in diagnoseMissingReleases()
532 if (IvarDecl->getContainingInterface() != in diagnoseMissingReleases()
533 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface()) in diagnoseMissingReleases()
540 if (State->getStateManager() in diagnoseMissingReleases()
547 // A missing release manifests as a leak, so treat as a non-fatal error. in diagnoseMissingReleases()
558 const ObjCInterfaceDecl *Interface = IvarDecl->getContainingInterface(); in diagnoseMissingReleases()
560 // separate from -dealloc, do not warn about missing releases. We in diagnoseMissingReleases()
566 ObjCImplDecl *ImplDecl = Interface->getImplementation(); in diagnoseMissingReleases()
569 ImplDecl->FindPropertyImplIvarDecl(IvarDecl->getIdentifier()); in diagnoseMissingReleases()
571 const ObjCPropertyDecl *PropDecl = PropImpl->getPropertyDecl(); in diagnoseMissingReleases()
573 assert(PropDecl->getSetterKind() == ObjCPropertyDecl::Copy || in diagnoseMissingReleases()
574 PropDecl->getSetterKind() == ObjCPropertyDecl::Retain); in diagnoseMissingReleases()
579 if (PropDecl->getSetterKind() == ObjCPropertyDecl::Retain) in diagnoseMissingReleases()
584 OS << " by a synthesized property but not released" in diagnoseMissingReleases()
593 State = State->remove<UnreleasedIvarMap>(SelfSym); in diagnoseMissingReleases()
595 State = State->set<UnreleasedIvarMap>(SelfSym, NewUnreleased); in diagnoseMissingReleases()
604 // Make sure that after checking in the top-most frame the list of in diagnoseMissingReleases()
607 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty()); in diagnoseMissingReleases()
611 /// the top-most deallocating instance. If so, find the property for that
625 // Don't try to find the property if the ivar was not loaded from the in findPropertyOnDeallocatingInstance()
628 IvarRegion->getSuperRegion()) in findPropertyOnDeallocatingInstance()
632 const ObjCIvarDecl *IvarDecl = IvarRegion->getDecl(); in findPropertyOnDeallocatingInstance()
636 Container->FindPropertyImplIvarDecl(IvarDecl->getIdentifier()); in findPropertyOnDeallocatingInstance()
640 /// Emits a warning if the current context is -dealloc and ReleasedValue
641 /// must not be directly released in a -dealloc. Returns true if a diagnostic
643 bool ObjCDeallocChecker::diagnoseExtraRelease(SymbolRef ReleasedValue, in diagnoseExtraRelease()
650 // release them in -dealloc. in diagnoseExtraRelease()
657 // If the ivar belongs to a property that must not be released directly in diagnoseExtraRelease()
664 // If the property is readwrite but it shadows a read-only property in its in diagnoseExtraRelease()
665 // external interface, treat the property a read-only. If the outside in diagnoseExtraRelease()
666 // world cannot write to a property then the internal implementation is free in diagnoseExtraRelease()
672 if (PropDecl->isReadOnly()) in diagnoseExtraRelease()
675 PropDecl = PropImpl->getPropertyDecl(); in diagnoseExtraRelease()
685 assert(PropDecl->getSetterKind() == ObjCPropertyDecl::Weak || in diagnoseExtraRelease()
686 (PropDecl->getSetterKind() == ObjCPropertyDecl::Assign && in diagnoseExtraRelease()
687 !PropDecl->isReadOnly()) || in diagnoseExtraRelease()
692 OS << "The '" << *PropImpl->getPropertyIvarDecl() in diagnoseExtraRelease()
697 OS << "' will be released by '-[CIFilter dealloc]' but also released here"; in diagnoseExtraRelease()
701 if (PropDecl->getSetterKind() == ObjCPropertyDecl::Weak) in diagnoseExtraRelease()
706 OS << " property but was released in 'dealloc'"; in diagnoseExtraRelease()
711 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseExtraRelease()
718 /// Emits a warning if the current context is -dealloc and DeallocedValue
719 /// must not be directly dealloced in a -dealloc. Returns true if a diagnostic
721 bool ObjCDeallocChecker::diagnoseMistakenDealloc(SymbolRef DeallocedValue, in diagnoseMistakenDealloc()
729 // Find the property backing the instance variable that M in diagnoseMistakenDealloc()
748 OS << "'" << *PropImpl->getPropertyIvarDecl() in diagnoseMistakenDealloc()
753 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseMistakenDealloc()
778 bool ObjCDeallocChecker::isSuperDeallocMessage( in isSuperDeallocMessage()
780 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
789 auto *MD = cast<ObjCMethodDecl>(LCtx->getDecl()); in getContainingObjCImpl()
790 return cast<ObjCImplDecl>(MD->getDeclContext()); in getContainingObjCImpl()
793 /// Returns the property that shadowed by PropImpl if one exists and
797 const ObjCPropertyDecl *PropDecl = PropImpl->getPropertyDecl(); in findShadowedPropertyDecl()
800 if (PropDecl->isReadOnly()) in findShadowedPropertyDecl()
803 auto *CatDecl = dyn_cast<ObjCCategoryDecl>(PropDecl->getDeclContext()); in findShadowedPropertyDecl()
806 if (!CatDecl || !CatDecl->IsClassExtension()) in findShadowedPropertyDecl()
809 IdentifierInfo *ID = PropDecl->getIdentifier(); in findShadowedPropertyDecl()
810 DeclContext::lookup_result R = CatDecl->getClassInterface()->lookup(ID); in findShadowedPropertyDecl()
816 if (ShadowedPropDecl->isInstanceProperty()) { in findShadowedPropertyDecl()
817 assert(ShadowedPropDecl->isReadOnly()); in findShadowedPropertyDecl()
852 const SymbolSet *Unreleased = State->get<UnreleasedIvarMap>(Instance); in removeValueRequiringRelease()
857 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
862 if (RemovedRegion->getDecl() == UnreleasedRegion->getDecl()) { in removeValueRequiringRelease()
868 return State->remove<UnreleasedIvarMap>(Instance); in removeValueRequiringRelease()
871 return State->set<UnreleasedIvarMap>(Instance, NewUnreleased); in removeValueRequiringRelease()
875 /// released in -dealloc or whether it cannot be determined.
883 ObjCPropertyDecl::SetterKind SK = PropDecl->getSetterKind(); in getDeallocReleaseRequirement()
887 // the value in their instance variables must be released in -dealloc. in getDeallocReleaseRequirement()
902 // It is common for the ivars for read-only assign properties to in getDeallocReleaseRequirement()
905 if (PropDecl->isReadOnly()) in getDeallocReleaseRequirement()
925 if (!M.getArgExpr(0)->getType()->isObjCRetainableType()) in getValueReleasedByNillingOut()
932 M.getState()->assume(Arg.castAs<DefinedOrUnknownSVal>()); in getValueReleasedByNillingOut()
940 ObjCIvarDecl *PropIvarDecl = Prop->getPropertyIvarDecl(); in getValueReleasedByNillingOut()
946 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal); in getValueReleasedByNillingOut()
951 SVal CurrentValInIvar = State->getSVal(*LValLoc); in getValueReleasedByNillingOut()
955 /// Returns true if the current context is a call to -dealloc and false
958 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C, in isInInstanceDealloc()
963 /// Returns true if LCtx is a call to -dealloc and false
966 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C, in isInInstanceDealloc()
969 auto *MD = dyn_cast<ObjCMethodDecl>(LCtx->getDecl()); in isInInstanceDealloc()
970 if (!MD || !MD->isInstanceMethod() || MD->getSelector() != DeallocSel) in isInInstanceDealloc()
973 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); in isInInstanceDealloc()
974 assert(SelfDecl && "No self in -dealloc?"); in isInInstanceDealloc()
977 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
981 /// Returns true if there is a call to -dealloc anywhere on the stack and false
983 /// 'self' in the frame for -dealloc.
984 bool ObjCDeallocChecker::instanceDeallocIsOnStack(const CheckerContext &C, in instanceDeallocIsOnStack()
992 LCtx = LCtx->getParent(); in instanceDeallocIsOnStack()
999 /// a separate teardown lifecycle. In this case, -dealloc warnings
1001 bool ObjCDeallocChecker::classHasSeparateTeardown( in classHasSeparateTeardown()
1004 for ( ; ID ; ID = ID->getSuperClass()) { in classHasSeparateTeardown()
1005 IdentifierInfo *II = ID->getIdentifier(); in classHasSeparateTeardown()
1011 // as these don't need to implement -dealloc. They implement tear down in in classHasSeparateTeardown()
1021 /// The -dealloc method in CIFilter highly unusual in that is will release
1023 /// starts with "input" or backs a property whose name starts with "input".
1024 /// Subclasses should not release these ivars in their own -dealloc method --
1027 /// This method returns true if the property will be released by
1028 /// -[CIFilter dealloc].
1029 bool ObjCDeallocChecker::isReleasedByCIFilterDealloc( in isReleasedByCIFilterDealloc()
1031 assert(PropImpl->getPropertyIvarDecl()); in isReleasedByCIFilterDealloc()
1032 StringRef PropName = PropImpl->getPropertyDecl()->getName(); in isReleasedByCIFilterDealloc()
1033 StringRef IvarName = PropImpl->getPropertyIvarDecl()->getName(); in isReleasedByCIFilterDealloc()
1042 PropImpl->getPropertyIvarDecl()->getContainingInterface(); in isReleasedByCIFilterDealloc()
1043 for ( ; ID ; ID = ID->getSuperClass()) { in isReleasedByCIFilterDealloc()
1044 IdentifierInfo *II = ID->getIdentifier(); in isReleasedByCIFilterDealloc()
1052 /// Returns whether the ivar backing the property is an IBOutlet that
1055 /// On macOS, if there is no setter, the nib-loading code sets the ivar
1058 /// On iOS and its derivatives, the nib-loading code will call
1059 /// -setValue:forKey:, which retains the value before directly setting the ivar.
1060 bool ObjCDeallocChecker::isNibLoadedIvarWithoutRetain( in isNibLoadedIvarWithoutRetain()
1062 const ObjCIvarDecl *IvarDecl = PropImpl->getPropertyIvarDecl(); in isNibLoadedIvarWithoutRetain()
1063 if (!IvarDecl->hasAttr<IBOutletAttr>()) in isNibLoadedIvarWithoutRetain()
1067 IvarDecl->getASTContext().getTargetInfo().getTriple(); in isNibLoadedIvarWithoutRetain()
1072 if (PropImpl->getPropertyDecl()->getSetterMethodDecl()) in isNibLoadedIvarWithoutRetain()
1082 bool ento::shouldRegisterObjCDeallocChecker(const CheckerManager &mgr) { in shouldRegisterObjCDeallocChecker()