clang
10.0.0git
|
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Analysis/DomainSpecific/CocoaConventions.h"
#include "clang/Basic/Builtins.h"
#include "clang/Edit/Commit.h"
#include "clang/Edit/Rewriters.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/ConvertUTF.h"
Go to the source code of this file.
Enumerations | |
enum | ACCResult |
A result from the cast checker. More... | |
Functions | |
static bool | validateBoxingMethod (Sema &S, SourceLocation Loc, const ObjCInterfaceDecl *Class, Selector Sel, const ObjCMethodDecl *Method) |
Emits an error if the given method does not exist, or if the return type is not an Objective-C object. More... | |
static NSAPI::NSClassIdKindKind | ClassKindFromLiteralKind (Sema::ObjCLiteralKind LiteralKind) |
Maps ObjCLiteralKind to NSClassIdKindKind. More... | |
static bool | ValidateObjCLiteralInterfaceDecl (Sema &S, ObjCInterfaceDecl *Decl, SourceLocation Loc, Sema::ObjCLiteralKind LiteralKind) |
Validates ObjCInterfaceDecl availability. More... | |
enum | ARCConversionTypeClass { ACTC_none, ACTC_retainable, ACTC_indirectRetainable, ACTC_voidPtr, ACTC_coreFoundation } |
static ObjCInterfaceDecl * | LookupObjCInterfaceDeclForLiteral (Sema &S, SourceLocation Loc, Sema::ObjCLiteralKind LiteralKind) |
Looks up ObjCInterfaceDecl of a given NSClassIdKindKind. More... | |
static ObjCMethodDecl * | getNSNumberFactoryMethod (Sema &S, SourceLocation Loc, QualType NumberType, bool isLiteral=false, SourceRange R=SourceRange()) |
Retrieve the NSNumber factory method that should be used to create an Objective-C literal for the given type. More... | |
static ExprResult | CheckObjCCollectionLiteralElement (Sema &S, Expr *Element, QualType T, bool ArrayLiteral=false) |
Check that the given expression is a valid element of an Objective-C collection literal. More... | |
static bool | HelperToDiagnoseMismatchedMethodsInGlobalPool (Sema &S, SourceLocation AtLoc, SourceLocation LParenLoc, SourceLocation RParenLoc, ObjCMethodDecl *Method, ObjCMethodList &MethList) |
static void | DiagnoseMismatchedSelectors (Sema &S, SourceLocation AtLoc, ObjCMethodDecl *Method, SourceLocation LParenLoc, SourceLocation RParenLoc, bool WarnMultipleSelectors) |
static void | HelperToDiagnoseDirectSelectorsExpr (Sema &S, SourceLocation AtLoc, Selector Sel, ObjCMethodList &MethList, bool &onlyDirect) |
static void | DiagnoseDirectSelectorsExpr (Sema &S, SourceLocation AtLoc, Selector Sel, bool &onlyDirect) |
static QualType | stripObjCInstanceType (ASTContext &Context, QualType T) |
static QualType | getBaseMessageSendResultType (Sema &S, QualType ReceiverType, ObjCMethodDecl *Method, bool isClassMessage, bool isSuperMessage) |
Determine the result type of a message send based on the receiver type, method, and the kind of message send. More... | |
static const ObjCMethodDecl * | findExplicitInstancetypeDeclarer (const ObjCMethodDecl *MD, QualType instancetype) |
Look for an ObjC method whose result type exactly matches the given type. More... | |
static void | applyCocoaAPICheck (Sema &S, const ObjCMessageExpr *Msg, unsigned DiagID, bool(*refactor)(const ObjCMessageExpr *, const NSAPI &, edit::Commit &)) |
static void | checkCocoaAPI (Sema &S, const ObjCMessageExpr *Msg) |
static void | checkFoundationAPI (Sema &S, SourceLocation Loc, const ObjCMethodDecl *Method, ArrayRef< Expr *> Args, QualType ReceiverType, bool IsClassObjectCall) |
static void | DiagnoseCStringFormatDirectiveInObjCAPI (Sema &S, ObjCMethodDecl *Method, Selector Sel, Expr **Args, unsigned NumArgs) |
Diagnose use of s directive in an NSString which is being passed as formatting string to formatting method. More... | |
static bool | isMethodDeclaredInRootProtocol (Sema &S, const ObjCMethodDecl *M) |
static void | RemoveSelectorFromWarningCache (Sema &S, Expr *Arg) |
static bool | isAnyRetainable (ARCConversionTypeClass ACTC) |
static bool | isAnyCLike (ARCConversionTypeClass ACTC) |
static ARCConversionTypeClass | classifyTypeForARCConversion (QualType type) |
static void | addFixitForObjCARCConversion (Sema &S, DiagnosticBuilder &DiagB, Sema::CheckedConversionKind CCK, SourceLocation afterLParen, QualType castType, Expr *castExpr, Expr *realCast, const char *bridgeKeyword, const char *CFBridgeName) |
template<typename T > | |
static T * | getObjCBridgeAttr (const TypedefType *TD) |
static ObjCBridgeRelatedAttr * | ObjCBridgeRelatedAttrFromType (QualType T, TypedefNameDecl *&TDNDecl) |
static void | diagnoseObjCARCConversion (Sema &S, SourceRange castRange, QualType castType, ARCConversionTypeClass castACTC, Expr *castExpr, Expr *realCast, ARCConversionTypeClass exprACTC, Sema::CheckedConversionKind CCK) |
template<typename TB > | |
static bool | CheckObjCBridgeNSCast (Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn) |
template<typename TB > | |
static bool | CheckObjCBridgeCFCast (Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn) |
static Expr * | maybeUndoReclaimObject (Expr *e) |
Look for an ObjCReclaimReturnedObject cast and destroy it. More... | |
enum ACCResult |
A result from the cast checker.
Definition at line 3364 of file SemaExprObjC.cpp.
Definition at line 3294 of file SemaExprObjC.cpp.
|
static |
Definition at line 3598 of file SemaExprObjC.cpp.
References clang::DiagnosticBuilder::AddFixItHint(), clang::ast_matchers::castExpr, clang::Sema::CCK_CStyleCast, clang::Sema::CCK_ForBuiltinOverloadedOp, clang::Sema::CCK_FunctionalCast, clang::Sema::CCK_ImplicitConversion, clang::Sema::CCK_OtherCast, clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateReplacement(), clang::QualType::getAsString(), clang::SourceRange::getBegin(), clang::SourceManager::getCharacterData(), clang::SourceRange::getEnd(), clang::Sema::getLangOpts(), clang::Sema::getLocForEndOfToken(), clang::SourceLocation::getLocWithOffset(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreImpCasts(), clang::Lexer::isIdentifierBodyChar(), clang::transformer::range(), and SM.
Referenced by diagnoseObjCARCConversion().
|
static |
Definition at line 2322 of file SemaExprObjC.cpp.
Referenced by checkCocoaAPI().
|
static |
Definition at line 2361 of file SemaExprObjC.cpp.
References applyCocoaAPICheck(), and clang::edit::rewriteObjCRedundantCallWithLiteral().
|
static |
Definition at line 2366 of file SemaExprObjC.cpp.
References clang::Sema::Diag(), clang::Type::getAs(), clang::ObjCMethodDecl::getBeginLoc(), clang::Selector::getMethodFamily(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), clang::Type::isExtVectorType(), clang::Type::isRecordType(), clang::Type::isUnionType(), clang::Type::isVectorType(), clang::OMF_performSelector, and Ret().
|
static |
Definition at line 3921 of file SemaExprObjC.cpp.
References clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAsObjCInterfacePointerType(), clang::Decl::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::TypeDecl::getBeginLoc(), clang::LookupResult::getFoundDecl(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::TypedefNameDecl::getUnderlyingType(), clang::Type::isObjCIdType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::ASTContext::QIdProtocolsAdoptObjCObjectProtocols(), clang::Target, and clang::Sema::TUScope.
|
static |
Definition at line 3855 of file SemaExprObjC.cpp.
References clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAsObjCInterfacePointerType(), clang::Decl::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::TypeDecl::getBeginLoc(), clang::LookupResult::getFoundDecl(), clang::NamedDecl::getName(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::TypedefNameDecl::getUnderlyingType(), clang::Type::isObjCIdType(), clang::ObjCInterfaceDecl::isSuperClassOf(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::ASTContext::ObjCObjectAdoptsQTypeProtocols(), clang::Target, and clang::Sema::TUScope.
|
static |
Check that the given expression is a valid element of an Objective-C collection literal.
Definition at line 386 of file SemaExprObjC.cpp.
References clang::Sema::BuildObjCNumericLiteral(), clang::Sema::BuildObjCStringLiteral(), clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, clang::InitializationKind::CreateCopy(), clang::FixItHint::CreateInsertion(), clang::Sema::DefaultLvalueConversion(), clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Stmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::StringLiteral::getString(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isBlockPointerType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isObjCObjectPointerType(), clang::Type::isRecordType(), clang::Expr::isTypeDependent(), clang::Sema::NSAPIObj, and clang::Sema::PerformCopyInitialization().
|
static |
Definition at line 3323 of file SemaExprObjC.cpp.
References ACTC_coreFoundation, ACTC_indirectRetainable, ACTC_none, ACTC_retainable, ACTC_voidPtr, clang::Type::getAs(), clang::Type::getAsArrayTypeUnsafe(), clang::Type::getPointeeType(), clang::Type::isObjCARCBridgableType(), clang::Type::isRecordType(), and clang::Type::isVoidType().
Referenced by clang::Sema::CheckObjCBridgeRelatedCast(), clang::Sema::CheckObjCBridgeRelatedConversions(), clang::Sema::CheckObjCConversion(), clang::Sema::CheckTollFreeBridgeCast(), clang::Sema::CheckTollFreeBridgeStaticCast(), and clang::Sema::diagnoseARCUnbridgedCast().
|
static |
Maps ObjCLiteralKind to NSClassIdKindKind.
Definition at line 170 of file SemaExprObjC.cpp.
References clang::NSAPI::ClassId_NSArray, clang::NSAPI::ClassId_NSDictionary, clang::NSAPI::ClassId_NSNumber, clang::NSAPI::ClassId_NSString, clang::NSAPI::ClassId_NSValue, clang::Sema::LK_Array, clang::Sema::LK_Block, clang::Sema::LK_Boxed, clang::Sema::LK_Dictionary, clang::Sema::LK_None, clang::Sema::LK_Numeric, and clang::Sema::LK_String.
|
static |
Diagnose use of s directive in an NSString which is being passed as formatting string to formatting method.
Definition at line 2415 of file SemaExprObjC.cpp.
References clang::Sema::Diag(), clang::Sema::FormatStringHasSArg(), clang::NamedDecl::getDeclName(), clang::Expr::getExprLoc(), clang::Sema::GetFormatNSStringIdx(), clang::Decl::getLocation(), clang::StringLiteral::getString(), clang::Selector::getStringFormatFamily(), clang::Expr::IgnoreParenImpCasts(), clang::SFF_NSString, and clang::Decl::specific_attrs().
|
static |
Definition at line 1187 of file SemaExprObjC.cpp.
Referenced by clang::Sema::ParseObjCSelectorExpression().
|
static |
Definition at line 1148 of file SemaExprObjC.cpp.
Referenced by clang::Sema::ParseObjCSelectorExpression().
|
static |
Definition at line 3723 of file SemaExprObjC.cpp.
References ACTC_coreFoundation, ACTC_indirectRetainable, ACTC_none, ACTC_retainable, ACTC_voidPtr, addFixitForObjCARCConversion(), clang::Sema::CCK_OtherCast, clang::Sema::Context, clang::Sema::Diag(), clang::SourceRange::getBegin(), clang::Expr::getExprLoc(), clang::Sema::getLocForEndOfToken(), clang::Stmt::getSourceRange(), clang::Expr::getType(), isAnyRetainable(), clang::Type::isBlockPointerType(), clang::Sema::isCast(), clang::Sema::isKnownName(), clang::Type::isPointerType(), clang::SourceLocation::isValid(), clang::SourceRange::isValid(), clang::Sema::makeUnavailableInSystemHeader(), and ObjCBridgeRelatedAttrFromType().
Referenced by clang::Sema::diagnoseARCUnbridgedCast().
|
static |
Look for an ObjC method whose result type exactly matches the given type.
Definition at line 1499 of file SemaExprObjC.cpp.
References clang::Decl::getDeclContext(), clang::ObjCContainerDecl::getMethod(), clang::ObjCMethodDecl::getOverriddenMethods(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), and clang::ObjCMethodDecl::isInstanceMethod().
|
static |
Determine the result type of a message send based on the receiver type, method, and the kind of message send.
This is the "base" result type, which will still need to be adjusted to account for nullability.
Definition at line 1337 of file SemaExprObjC.cpp.
Referenced by clang::Sema::getMessageSendResultType().
|
static |
Retrieve the NSNumber factory method that should be used to create an Objective-C literal for the given type.
Definition at line 242 of file SemaExprObjC.cpp.
|
inlinestatic |
Definition at line 3698 of file SemaExprObjC.cpp.
References clang::Type::getAs(), clang::TypedefType::getDecl(), clang::RecordDecl::getMostRecentDecl(), clang::Type::getPointeeType(), clang::TypedefNameDecl::getUnderlyingType(), and clang::Type::isPointerType().
|
static |
Definition at line 1173 of file SemaExprObjC.cpp.
|
static |
Definition at line 1117 of file SemaExprObjC.cpp.
|
static |
Definition at line 3317 of file SemaExprObjC.cpp.
References ACTC_coreFoundation, ACTC_none, and ACTC_voidPtr.
Referenced by clang::Sema::CheckObjCConversion().
|
static |
Definition at line 3311 of file SemaExprObjC.cpp.
References ACTC_coreFoundation, ACTC_retainable, and ACTC_voidPtr.
Referenced by diagnoseObjCARCConversion().
|
static |
Definition at line 2656 of file SemaExprObjC.cpp.
References clang::NSAPI::ClassId_NSObject, clang::Decl::getDeclContext(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupSingleName(), clang::Sema::NSAPIObj, P, and clang::Sema::TUScope.
|
static |
Looks up ObjCInterfaceDecl of a given NSClassIdKindKind.
Used to create ObjC literals, such as NSDictionary (}), NSArray (@[]) and Boxed Expressions (@())
Definition at line 218 of file SemaExprObjC.cpp.
Referenced by clang::Sema::BuildObjCArrayLiteral(), and clang::Sema::BuildObjCDictionaryLiteral().
Look for an ObjCReclaimReturnedObject cast and destroy it.
Definition at line 4450 of file SemaExprObjC.cpp.
Referenced by clang::Sema::BuildObjCBridgedCast().
|
static |
Definition at line 3710 of file SemaExprObjC.cpp.
References clang::QualType::getTypePtr(), and clang::TypedefNameDecl::getUnderlyingType().
Referenced by clang::Sema::checkObjCBridgeRelatedComponents(), and diagnoseObjCARCConversion().
Definition at line 3250 of file SemaExprObjC.cpp.
References clang::Expr::IgnoreParenCasts(), and clang::Sema::ReferencedSelectors.
|
static |
Definition at line 1313 of file SemaExprObjC.cpp.
|
static |
Emits an error if the given method does not exist, or if the return type is not an Objective-C object.
Definition at line 147 of file SemaExprObjC.cpp.
|
static |
Validates ObjCInterfaceDecl availability.
ObjCInterfaceDecl, used to create ObjC literals, should be defined if clang not in a debugger mode.
Definition at line 196 of file SemaExprObjC.cpp.