From f91cbd54c97fceaf84539e7234b27ad54bba735b Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Thu, 10 Jan 2013 01:46:29 +0000 Subject: [PATCH] Don't assert in codegen on static data members which have NoLinkage. Fixes PR14825! git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172031 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGExpr.cpp | 6 ++---- test/CodeGenCXX/template-linkage.cpp | 20 ++++++++++++++++++++ 2 files changed, 22 insertions(+), 4 deletions(-) diff --git a/lib/CodeGen/CGExpr.cpp b/lib/CodeGen/CGExpr.cpp index e5f9672b0f..c002bb1432 100644 --- a/lib/CodeGen/CGExpr.cpp +++ b/lib/CodeGen/CGExpr.cpp @@ -1583,8 +1583,6 @@ EmitBitCastOfLValueToProperType(CodeGenFunction &CGF, static LValue EmitGlobalVarDeclLValue(CodeGenFunction &CGF, const Expr *E, const VarDecl *VD) { - assert(VD->hasLinkage() && "Var decl must have linkage!"); - llvm::Value *V = CGF.CGM.GetAddrOfGlobalVar(VD); llvm::Type *RealVarTy = CGF.getTypes().ConvertTypeForMem(VD->getType()); V = EmitBitCastOfLValueToProperType(CGF, V, RealVarTy); @@ -1657,7 +1655,7 @@ LValue CodeGenFunction::EmitDeclRefLValue(const DeclRefExpr *E) { if (const VarDecl *VD = dyn_cast(ND)) { // Check if this is a global variable. - if (VD->hasLinkage()) + if (VD->hasLinkage() || VD->isStaticDataMember()) return EmitGlobalVarDeclLValue(*this, E, VD); bool isBlockVariable = VD->hasAttr(); @@ -1666,7 +1664,7 @@ LValue CodeGenFunction::EmitDeclRefLValue(const DeclRefExpr *E) { !VD->getType()->isReferenceType() && !isBlockVariable; - llvm::Value *V = LocalDeclMap[VD]; + llvm::Value *V = LocalDeclMap.lookup(VD); if (!V && VD->isStaticLocal()) V = CGM.getStaticLocalDeclAddress(VD); diff --git a/test/CodeGenCXX/template-linkage.cpp b/test/CodeGenCXX/template-linkage.cpp index 20508c1596..3acd12ef0b 100644 --- a/test/CodeGenCXX/template-linkage.cpp +++ b/test/CodeGenCXX/template-linkage.cpp @@ -1,4 +1,7 @@ // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s + +// CHECK: Outer5Inner{{.*}}localE6memberE = external global + template struct A { virtual void f(T) { } inline void g() { } @@ -42,3 +45,20 @@ void test_X1() { X1 i1c; } +namespace PR14825 { +struct Outer { + template struct Inner { + static int member; + }; + template void Get() { + int m = Inner::member; + } +}; + +void test() { + struct local {}; + Outer o; + typedef void (Outer::*mptr)(); + mptr method = &Outer::Get; +} +} -- 2.40.0