clang: clang::ento::RetainSummaryManager Class Reference (original) (raw)

#include "[clang/Analysis/RetainSummaryManager.h](RetainSummaryManager%5F8h%5Fsource.html)"

Public Member Functions
RetainSummaryManager (ASTContext &ctx, bool trackObjCAndCFObjects, bool trackOSObjects)
std::optional< BehaviorSummary > canEval (const CallExpr *CE, const FunctionDecl *FD, bool &hasTrustedImplementationAnnotation)
bool isTrustedReferenceCountImplementation (const Decl *FD)
const RetainSummary * getSummary (AnyCall C, bool HasNonZeroCallbackArg=false, bool IsReceiverUnconsumedSelf=false, QualType ReceiverType={})
RetEffect getObjAllocRetEffect () const

Definition at line 450 of file RetainSummaryManager.h.

◆ BehaviorSummary

clang::ento::RetainSummaryManager::RetainSummaryManager ( ASTContext & ctx, bool trackObjCAndCFObjects, bool trackOSObjects ) inline

◆ canEval()

Definition at line 719 of file RetainSummaryManager.cpp.

References clang::CallExpr::getCallReturnType(), clang::FunctionDecl::getDefinition(), clang::NamedDecl::getIdentifier(), clang::IdentifierInfo::getName(), clang::CallExpr::getNumArgs(), Identity, IdentityOrZero, IdentityThis, isAutorelease(), isMakeCollectable(), clang::Type::isObjCIdType(), isOSObjectDynamicCast(), isOSObjectRequiredCast(), isOSObjectSubclass(), isOSObjectThisCast(), clang::Type::isPointerType(), clang::ento::cocoa::isRefType(), isRetain(), clang::IdentifierInfo::isStr(), isTrustedReferenceCountImplementation(), NoOp, clang::FunctionDecl::param_size(), and Parent.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::evalCall().

◆ getObjAllocRetEffect()

RetEffect clang::ento::RetainSummaryManager::getObjAllocRetEffect ( ) const inline

◆ getSummary()

◆ isKnownSmartPointer()

bool RetainSummaryManager::isKnownSmartPointer ( QualType QT) static

◆ isTrustedReferenceCountImplementation()

bool RetainSummaryManager::isTrustedReferenceCountImplementation ( const Decl * FD )

◆ RetainSummaryTemplate

The documentation for this class was generated from the following files: