r235046 - Make __declspec(selectany) turn variable declartions into definitions.

[Nico Weber]

Author: nico
Date: Wed Apr 15 16:50:06 2015
New Revision: 235046

URL: http://llvm.org/viewvc/llvm-project?rev=235046&view=rev
Log:
Make __declspec(selectany) turn variable declartions into definitions.

Fixes PR23242.

Added:
    cfe/trunk/test/CodeGen/ms-declspecs.cpp
Modified:
    cfe/trunk/lib/AST/Decl.cpp
    cfe/trunk/test/CodeGen/ms-declspecs.c

Modified: cfe/trunk/lib/AST/Decl.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/Decl.cpp?rev=235046&r1=235045&r2=235046&view=diff
==============================================================================
--- cfe/trunk/lib/AST/Decl.cpp (original)
+++ cfe/trunk/lib/AST/Decl.cpp Wed Apr 15 16:50:06 2015
@@ -1926,14 +1926,14 @@ VarDecl::DefinitionKind VarDecl::isThisD
       getTemplateSpecializationKind() != TSK_ExplicitSpecialization)
     return DeclarationOnly;
 
-  if (hasExternalStorage())
+  if (!hasAttr<SelectAnyAttr>() && hasExternalStorage())
     return DeclarationOnly;
 
   // [dcl.link] p7:
   //   A declaration directly contained in a linkage-specification is treated
   //   as if it contains the extern specifier for the purpose of determining
   //   the linkage of the declared name and whether it is a definition.
-  if (isSingleLineLanguageLinkage(*this))
+  if (!hasAttr<SelectAnyAttr>() && isSingleLineLanguageLinkage(*this))
     return DeclarationOnly;
 
   // C99 6.9.2p2:

Modified: cfe/trunk/test/CodeGen/ms-declspecs.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/ms-declspecs.c?rev=235046&r1=235045&r2=235046&view=diff
==============================================================================
--- cfe/trunk/test/CodeGen/ms-declspecs.c (original)
+++ cfe/trunk/test/CodeGen/ms-declspecs.c Wed Apr 15 16:50:06 2015
@@ -5,6 +5,10 @@ const __declspec(selectany) int x2 = 2;
 // CHECK: @x1 = weak_odr global i32 1, comdat, align 4
 // CHECK: @x2 = weak_odr constant i32 2, comdat, align 4
 
+// selectany turns extern variable declarations into definitions.
+extern __declspec(selectany) int x3;
+// CHECK: @x3 = weak_odr global i32 0, comdat, align 4
+
 struct __declspec(align(16)) S {
   char x;
 };

Added: cfe/trunk/test/CodeGen/ms-declspecs.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/ms-declspecs.cpp?rev=235046&view=auto
==============================================================================
--- cfe/trunk/test/CodeGen/ms-declspecs.cpp (added)
+++ cfe/trunk/test/CodeGen/ms-declspecs.cpp Wed Apr 15 16:50:06 2015
@@ -0,0 +1,13 @@
+// RUN: %clang_cc1 -triple i386-pc-win32 %s -emit-llvm -fms-compatibility -o - | FileCheck %s
+
+// selectany turns extern "C" variable declarations into definitions.
+extern __declspec(selectany) int x1;
+extern "C" __declspec(selectany) int x2;
+extern "C++" __declspec(selectany) int x3;
+extern "C" {
+__declspec(selectany) int x4;
+}
+// CHECK: @"\01?x1@@3HA" = weak_odr global i32 0, comdat, align 4
+// CHECK: @x2 = weak_odr global i32 0, comdat, align 4
+// CHECK: @"\01?x3@@3HA"  = weak_odr global i32 0, comdat, align 4
+// CHECK: @x4 = weak_odr global i32 0, comdat, align 4