test/CodeGenCXX/cxx1y-variable-template-linkage.cpp

   1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++1y -O1 -disable-llvm-optzns %s -o - | FileCheck %s -check-prefix=CHECKA -check-prefix=CHECK
   2 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++1y -O1 -disable-llvm-optzns -fcxx-exceptions %s -o - | FileCheck %s -check-prefix=CHECKB -check-prefix=CHECK
   3 // expected-no-diagnostics
   4
   5 // The variable template specialization x<Foo> generated in each file
   6 // should be 'internal global' and not 'linkonce_odr global'.
   7
   8 template <typename T> int x = 42;
   9
  10 // CHECK-DAG: @_Z1xIZL3foovE3FooE = internal global
  11
  12 // CHECK-DAG: define internal dereferenceable(4) i32* @_ZL3foov(
  13 static int &foo() {
  14    struct Foo { };
  15
  16    // CHECK-DAG: ret i32* @_Z1xIZL3foovE3FooE
  17    return x<Foo>;
  18 }
  19
  20
  21 #if !__has_feature(cxx_exceptions) // File A
  22 // CHECKA-DAG: define dereferenceable(4) i32* @_Z3barv(
  23 int &bar() {
  24         // CHECKA-DAG: call dereferenceable(4) i32* @_ZL3foov()
  25         return foo();
  26 }
  27
  28 #else // File B
  29
  30 // CHECKB-DAG: declare dereferenceable(4) i32* @_Z3barv(
  31 int &bar();
  32
  33 int main() {
  34         // CHECKB-DAG: call dereferenceable(4) i32* @_Z3barv()
  35         // CHECKB-DAG: call dereferenceable(4) i32* @_ZL3foov()
  36         &bar() == &foo() ? throw 0 : (void)0; // Should not throw exception at runtime.
  37 }
  38
  39 #endif // end of Files A and B
  40