From 79a52e5709895269f51734dd28aa51e5e279dd27 Mon Sep 17 00:00:00 2001
From: Richard Smith <richard-llvm@metafoo.co.uk>
Date: Tue, 17 Apr 2012 22:30:01 +0000
Subject: PR12569: Instantiate exception specifications of explicit
 instantiations and explicit specializations of function templates
 appropriately.

llvm-svn: 154956
---
 clang/test/CodeGenCXX/cxx11-exception-spec.cpp | 64 ++++++++++++++++++++++----
 1 file changed, 56 insertions(+), 8 deletions(-)

(limited to 'clang/test/CodeGenCXX/cxx11-exception-spec.cpp')

diff --git a/clang/test/CodeGenCXX/cxx11-exception-spec.cpp b/clang/test/CodeGenCXX/cxx11-exception-spec.cpp
index 461af78eae4..4e08dce2ae7 100644
--- a/clang/test/CodeGenCXX/cxx11-exception-spec.cpp
+++ b/clang/test/CodeGenCXX/cxx11-exception-spec.cpp
@@ -1,18 +1,66 @@
-// RUN: %clang_cc1 -std=c++11 -verify -emit-llvm %s -o - | FileCheck %s
+// RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -verify -fexceptions -fcxx-exceptions -triple x86_64-linux-gnu | FileCheck %s
 
-template<typename T> void f() noexcept(sizeof(T) == 4);
+void h();
+
+template<typename T> void f() noexcept(sizeof(T) == 4) { h(); }
+
+template<typename T> struct S {
+  static void f() noexcept(sizeof(T) == 4) { h(); }
+};
+
+// CHECK: define {{.*}} @_Z1fIsEvv() {
+template<> void f<short>() { h(); }
+// CHECK: define {{.*}} @_Z1fIA2_sEvv() nounwind {
+template<> void f<short[2]>() noexcept { h(); }
+
+// CHECK: define {{.*}} @_ZN1SIsE1fEv()
+// CHECK-NOT: nounwind
+template<> void S<short>::f() { h(); }
+// CHECK: define {{.*}} @_ZN1SIA2_sE1fEv() nounwind
+template<> void S<short[2]>::f() noexcept { h(); }
+
+// CHECK: define {{.*}} @_Z1fIDsEvv() {
+template void f<char16_t>();
+// CHECK: define {{.*}} @_Z1fIA2_DsEvv() nounwind {
+template void f<char16_t[2]>();
+
+// CHECK: define {{.*}} @_ZN1SIDsE1fEv()
+// CHECK-NOT: nounwind
+template void S<char16_t>::f();
+// CHECK: define {{.*}} @_ZN1SIA2_DsE1fEv() nounwind
+template void S<char16_t[2]>::f();
 
 void g() {
-  // CHECK: declare void @_Z1fIiEvv() nounwind
+  // CHECK: define {{.*}} @_Z1fIiEvv() nounwind {
   f<int>();
-  // CHECK: declare void @_Z1fIA2_iEvv()
+  // CHECK: define {{.*}} @_Z1fIA2_iEvv() {
   f<int[2]>();
-  // CHECK: declare void @_Z1fIfEvv() nounwind
+
+  // CHECK: define {{.*}} @_ZN1SIiE1fEv() nounwind
+  S<int>::f();
+  // CHECK: define {{.*}} @_ZN1SIA2_iE1fEv()
+  // CHECK-NOT: nounwind
+  S<int[2]>::f();
+
+  // CHECK: define {{.*}} @_Z1fIfEvv() nounwind {
   void (*f1)() = &f<float>;
-  // CHECK: declare void @_Z1fIdEvv()
+  // CHECK: define {{.*}} @_Z1fIdEvv() {
   void (*f2)() = &f<double>;
-  // CHECK: declare void @_Z1fIA4_cEvv() nounwind
+
+  // CHECK: define {{.*}} @_ZN1SIfE1fEv() nounwind
+  void (*f3)() = &S<float>::f;
+  // CHECK: define {{.*}} @_ZN1SIdE1fEv()
+  // CHECK-NOT: nounwind
+  void (*f4)() = &S<double>::f;
+
+  // CHECK: define {{.*}} @_Z1fIA4_cEvv() nounwind {
   (void)&f<char[4]>;
-  // CHECK: declare void @_Z1fIcEvv()
+  // CHECK: define {{.*}} @_Z1fIcEvv() {
   (void)&f<char>;
+
+  // CHECK: define {{.*}} @_ZN1SIA4_cE1fEv() nounwind
+  (void)&S<char[4]>::f;
+  // CHECK: define {{.*}} @_ZN1SIcE1fEv()
+  // CHECK-NOT: nounwind
+  (void)&S<char>::f;
 }
-- 
cgit v1.2.3