Use the right linkage for static variables inside C++ inline functions.

llvm-svn: 95512
This commit is contained in:
Anders Carlsson
2010-02-07 02:03:08 +00:00
parent 10d369d1a2
commit cee2d2f016
3 changed files with 33 additions and 7 deletions

View File

@@ -76,8 +76,21 @@ void CodeGenFunction::EmitBlockVarDecl(const VarDecl &D) {
case VarDecl::Auto:
case VarDecl::Register:
return EmitLocalBlockVarDecl(D);
case VarDecl::Static:
return EmitStaticBlockVarDecl(D);
case VarDecl::Static: {
llvm::GlobalValue::LinkageTypes Linkage =
llvm::GlobalValue::InternalLinkage;
// If this is a static declaration inside an inline function, it must have
// weak linkage so that the linker will merge multiple definitions of it.
if (getContext().getLangOptions().CPlusPlus) {
if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl)) {
if (FD->isInlined())
Linkage = llvm::GlobalValue::WeakAnyLinkage;
}
}
return EmitStaticBlockVarDecl(D, Linkage);
}
case VarDecl::Extern:
case VarDecl::PrivateExtern:
// Don't emit it now, allow it to be emitted lazily on its first use.
@@ -177,12 +190,12 @@ CodeGenFunction::AddInitializerToGlobalBlockVarDecl(const VarDecl &D,
return GV;
}
void CodeGenFunction::EmitStaticBlockVarDecl(const VarDecl &D) {
void CodeGenFunction::EmitStaticBlockVarDecl(const VarDecl &D,
llvm::GlobalValue::LinkageTypes Linkage) {
llvm::Value *&DMEntry = LocalDeclMap[&D];
assert(DMEntry == 0 && "Decl already exists in localdeclmap!");
llvm::GlobalVariable *GV =
CreateStaticBlockVarDecl(D, ".", llvm::GlobalValue::InternalLinkage);
llvm::GlobalVariable *GV = CreateStaticBlockVarDecl(D, ".", Linkage);
// Store into LocalDeclMap before generating initializer to handle
// circular references.
@@ -355,7 +368,7 @@ void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
// If this variable is marked 'const', emit the value as a global.
if (CGM.getCodeGenOpts().MergeAllConstants &&
Ty.isConstant(getContext())) {
EmitStaticBlockVarDecl(D);
EmitStaticBlockVarDecl(D, llvm::GlobalValue::InternalLinkage);
return;
}

View File

@@ -845,7 +845,8 @@ public:
/// This function can be called with a null (unreachable) insert point.
void EmitLocalBlockVarDecl(const VarDecl &D);
void EmitStaticBlockVarDecl(const VarDecl &D);
void EmitStaticBlockVarDecl(const VarDecl &D,
llvm::GlobalValue::LinkageTypes Linkage);
/// EmitParmDecl - Emit a ParmVarDecl or an ImplicitParamDecl.
void EmitParmDecl(const VarDecl &D, llvm::Value *Arg);

View File

@@ -1,6 +1,10 @@
// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
// CHECK: @_ZZ1hvE1i = internal global i32 0, align 4
// CHECK: @_ZZ2h2vE1i = weak global i32 0
// CHECK: @_ZGVZ2h2vE1i = weak global i64 0
struct A {
A();
~A();
@@ -22,3 +26,11 @@ int a();
void h() {
static const int i = a();
}
inline void h2() {
static int i = a();
}
void h3() {
h2();
}