mirror of https://github.com/microsoft/clang.git
[Sema] Add implicit members even for invalid CXXRecordDecls
Summary: It should be safe, since other code paths are already generating implicit members even in invalid CXXRecordDecls (e.g. lookup). If we don't generate implicit members on CXXRecordDecl's completion, they will be generated by next lookup of constructors. This causes a crash when the following conditions are met: - a CXXRecordDecl is invalid, - it is provided via ExternalASTSource (e.g. from PCH), - it has inherited constructors (they create ShadowDecls), - lookup of its constructors was not run before ASTWriter serialized it. This may require the ShadowDecls created for inherited constructors to be removed from the class, but that's no longer possible since class is provided by ExternalASTSource. See provided lit test for an example. Reviewers: bkramer Reviewed By: bkramer Subscribers: cfe-commits Differential Revision: https://reviews.llvm.org/D42810 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324062 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
08712fff7f
commit
a2ca4ae98b
|
@ -15440,10 +15440,10 @@ void Sema::ActOnFields(Scope *S, SourceLocation RecLoc, Decl *EnclosingDecl,
|
|||
CXXRecord->getDestructor());
|
||||
}
|
||||
|
||||
if (!CXXRecord->isInvalidDecl()) {
|
||||
// Add any implicitly-declared members to this class.
|
||||
AddImplicitlyDeclaredMembersToClass(CXXRecord);
|
||||
// Add any implicitly-declared members to this class.
|
||||
AddImplicitlyDeclaredMembersToClass(CXXRecord);
|
||||
|
||||
if (!CXXRecord->isInvalidDecl()) {
|
||||
// If we have virtual base classes, we may end up finding multiple
|
||||
// final overriders for a given virtual function. Check for this
|
||||
// problem now.
|
||||
|
|
|
@ -0,0 +1,9 @@
|
|||
struct Incomplete;
|
||||
|
||||
struct X : Incomplete {
|
||||
X();
|
||||
};
|
||||
|
||||
struct Y : X {
|
||||
using X::X;
|
||||
};
|
|
@ -0,0 +1,8 @@
|
|||
#include "crash-preamble-classes.h"
|
||||
|
||||
struct Z : Y {
|
||||
Z() {}
|
||||
};
|
||||
|
||||
// RUN: env CINDEXTEST_EDITING=1 \
|
||||
// RUN: c-index-test -test-load-source-reparse 5 local -I %S/Inputs %s
|
Loading…
Reference in New Issue