summaryrefslogtreecommitdiffstats
path: root/test/CodeGenCXX/cxx11-exception-spec.cpp
blob: 4e08dce2ae77e8fb0dd2d528043ad0272cf20dc0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
// RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -verify -fexceptions -fcxx-exceptions -triple x86_64-linux-gnu | FileCheck %s

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: define {{.*}} @_Z1fIiEvv() nounwind {
  f<int>();
  // CHECK: define {{.*}} @_Z1fIA2_iEvv() {
  f<int[2]>();

  // 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: define {{.*}} @_Z1fIdEvv() {
  void (*f2)() = &f<double>;

  // 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: 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;
}