Don't crash when a selectany symbol would get common linkage
Things can't both be in comdats and have common linkage, so never give things in comdats common linkage. Common linkage is only used in .c files, and the only thing that can trigger a comdat in c is selectany from what I can tell. Fixes PR23243. Also address an over-the-shoulder review comment from rnk by moving the hasAttr<SelectAnyAttr>() in Decl.cpp around a bit. It only makes a minor difference for selectany on global variables, so it goes well with the rest of this patch. http://reviews.llvm.org/D9042 llvm-svn: 235053
This commit is contained in:
@@ -2134,7 +2134,8 @@ void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) {
|
||||
}
|
||||
|
||||
static bool isVarDeclStrongDefinition(const ASTContext &Context,
|
||||
const VarDecl *D, bool NoCommon) {
|
||||
CodeGenModule &CGM, const VarDecl *D,
|
||||
bool NoCommon) {
|
||||
// Don't give variables common linkage if -fno-common was specified unless it
|
||||
// was overridden by a NoCommon attribute.
|
||||
if ((NoCommon || D->hasAttr<NoCommonAttr>()) && !D->hasAttr<CommonAttr>())
|
||||
@@ -2159,6 +2160,10 @@ static bool isVarDeclStrongDefinition(const ASTContext &Context,
|
||||
if (D->hasAttr<WeakImportAttr>())
|
||||
return true;
|
||||
|
||||
// A variable cannot be both common and exist in a comdat.
|
||||
if (shouldBeInCOMDAT(CGM, *D))
|
||||
return true;
|
||||
|
||||
// Declarations with a required alignment do not have common linakge in MSVC
|
||||
// mode.
|
||||
if (Context.getLangOpts().MSVCCompat) {
|
||||
@@ -2227,7 +2232,7 @@ llvm::GlobalValue::LinkageTypes CodeGenModule::getLLVMLinkageForDeclarator(
|
||||
// C++ doesn't have tentative definitions and thus cannot have common
|
||||
// linkage.
|
||||
if (!getLangOpts().CPlusPlus && isa<VarDecl>(D) &&
|
||||
!isVarDeclStrongDefinition(Context, cast<VarDecl>(D),
|
||||
!isVarDeclStrongDefinition(Context, *this, cast<VarDecl>(D),
|
||||
CodeGenOpts.NoCommon))
|
||||
return llvm::GlobalVariable::CommonLinkage;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user