From: Argyrios Kyrtzidis Date: Mon, 23 Jan 2012 16:58:45 +0000 (+0000) Subject: Introduce CXXRecordDecl::isCLike() that is true if the class is C-like, X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=277b15684582193d26f6c15b40e90a6e45299857;p=clang Introduce CXXRecordDecl::isCLike() that is true if the class is C-like, without C++-specific features. Use it to set the language to C++ when indexing non-C-like structs. rdar://10732579 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148708 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/AST/DeclCXX.h b/include/clang/AST/DeclCXX.h index 6592e1beaa..e035e0b2fc 100644 --- a/include/clang/AST/DeclCXX.h +++ b/include/clang/AST/DeclCXX.h @@ -348,6 +348,9 @@ class CXXRecordDecl : public RecordDecl { /// \brief True if this class (or any subobject) has mutable fields. bool HasMutableFields : 1; + /// \brief True if there no non-field members declared by the user. + bool HasOnlyFields : 1; + /// HasTrivialDefaultConstructor - True when, if this class has a default /// constructor, this default constructor is trivial. /// @@ -962,6 +965,10 @@ public: /// user-defined destructor. bool isPOD() const { return data().PlainOldData; } + /// \brief True if this class is C-like, without C++-specific features, e.g. + /// it contains only public fields, no bases, tag kind is not 'class', etc. + bool isCLike() const; + /// isEmpty - Whether this class is empty (C++0x [meta.unary.prop]), which /// means it has a virtual function, virtual base, data member (other than /// 0-width bit-field) or inherits from a non-empty class. Does NOT include diff --git a/lib/AST/DeclCXX.cpp b/lib/AST/DeclCXX.cpp index b09b672095..7cf7bf1017 100644 --- a/lib/AST/DeclCXX.cpp +++ b/lib/AST/DeclCXX.cpp @@ -43,7 +43,8 @@ CXXRecordDecl::DefinitionData::DefinitionData(CXXRecordDecl *D) Aggregate(true), PlainOldData(true), Empty(true), Polymorphic(false), Abstract(false), IsStandardLayout(true), HasNoNonEmptyBases(true), HasPrivateFields(false), HasProtectedFields(false), HasPublicFields(false), - HasMutableFields(false), HasTrivialDefaultConstructor(true), + HasMutableFields(false), HasOnlyFields(true), + HasTrivialDefaultConstructor(true), HasConstexprNonCopyMoveConstructor(false), DefaultedDefaultConstructorIsConstexpr(true), DefaultedCopyConstructorIsConstexpr(true), @@ -456,6 +457,9 @@ void CXXRecordDecl::markedVirtualFunctionPure() { } void CXXRecordDecl::addedMember(Decl *D) { + if (!isa(D) && !isa(D) && !D->isImplicit()) + data().HasOnlyFields = false; + // Ignore friends and invalid declarations. if (D->getFriendObjectKind() || D->isInvalidDecl()) return; @@ -957,6 +961,18 @@ NotASpecialMember:; data().Conversions.addDecl(Shadow, Shadow->getAccess()); } +bool CXXRecordDecl::isCLike() const { + if (getTagKind() == TTK_Class || !TemplateOrInstantiation.isNull()) + return false; + if (!hasDefinition()) + return true; + + return data().HasOnlyFields && + !data().HasPrivateFields && + !data().HasProtectedFields && + !data().NumBases; +} + static CanQualType GetConversionType(ASTContext &Context, NamedDecl *Conv) { QualType T; if (isa(Conv)) diff --git a/tools/libclang/IndexingContext.cpp b/tools/libclang/IndexingContext.cpp index 3d70144db5..a124cbdff5 100644 --- a/tools/libclang/IndexingContext.cpp +++ b/tools/libclang/IndexingContext.cpp @@ -814,12 +814,9 @@ void IndexingContext::getEntityInfo(const NamedDecl *D, EntityInfo.kind = CXIdxEntity_Enum; break; } - if (const CXXRecordDecl *CXXRec = dyn_cast(D)) { - // FIXME: isPOD check is not sufficient, a POD can contain methods, - // we want a isCStructLike check. - if (CXXRec->hasDefinition() && !CXXRec->isPOD()) + if (const CXXRecordDecl *CXXRec = dyn_cast(D)) + if (!CXXRec->isCLike()) EntityInfo.lang = CXIdxEntityLang_CXX; - } if (isa(D)) { EntityInfo.templateKind = CXIdxEntity_TemplatePartialSpecialization;