Index: clang/lib/CodeGen/CGCXX.cpp =================================================================== --- clang/lib/CodeGen/CGCXX.cpp +++ clang/lib/CodeGen/CGCXX.cpp @@ -134,6 +134,11 @@ llvm::GlobalValue::LinkageTypes TargetLinkage = getFunctionLinkage(TargetDecl); + // available_externally definitions aren't real definitions, so we cannot + // create an alias to one. + if (TargetLinkage == llvm::GlobalValue::AvailableExternallyLinkage) + return true; + // Check if we have it already. StringRef MangledName = getMangledName(AliasDecl); llvm::GlobalValue *Entry = GetGlobalValue(MangledName); @@ -157,13 +162,7 @@ // Instead of creating as alias to a linkonce_odr, replace all of the uses // of the aliasee. if (llvm::GlobalValue::isDiscardableIfUnused(Linkage) && - (TargetLinkage != llvm::GlobalValue::AvailableExternallyLinkage || - !TargetDecl.getDecl()->hasAttr())) { - // FIXME: An extern template instantiation will create functions with - // linkage "AvailableExternally". In libc++, some classes also define - // members with attribute "AlwaysInline" and expect no reference to - // be generated. It is desirable to reenable this optimisation after - // corresponding LLVM changes. + !TargetDecl.getDecl()->hasAttr()) { addReplacement(MangledName, Aliasee); return false; } Index: clang/test/CodeGenCXX/alias-available-externally.cpp =================================================================== --- /dev/null +++ clang/test/CodeGenCXX/alias-available-externally.cpp @@ -0,0 +1,19 @@ +// RUN: %clang_cc1 -O1 -std=c++11 -emit-llvm -disable-llvm-passes -o - %s | FileCheck %s +// Clang should not generate alias to available_externally definitions. +// Check that the destructor of Foo is defined. +// CHECK: define linkonce_odr void @_ZN3FooD2Ev +template +struct String { + String() {} + ~String(); +}; + +template +inline __attribute__((visibility("hidden"), always_inline)) +String::~String() {} + +extern template struct String; + +struct Foo : public String { Foo() { String s; } }; + +Foo f;