133 lines · cpp
1// RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -verify -fexceptions -fcxx-exceptions -triple x86_64-linux-gnu | FileCheck %s2// expected-no-diagnostics3 4void h();5 6template<typename T> void f() noexcept(sizeof(T) == 4) { h(); }7template<typename T> void g() noexcept(sizeof(T) == 4);8 9template<typename T> struct S {10 static void f() noexcept(sizeof(T) == 4) { h(); }11 static void g() noexcept(sizeof(T) == 4);12};13 14// CHECK: define {{.*}} @_Z1fIsEvv() [[NONE:#[0-9]+]] {15template<> void f<short>() { h(); }16// CHECK: define {{.*}} @_Z1fIA2_sEvv() [[NUW:#[0-9]+]] personality ptr @__gxx_personality_v0 {17template<> void f<short[2]>() noexcept { h(); }18 19// CHECK: define {{.*}} @_ZN1SIsE1fEv()20// CHECK-NOT: [[NUW]]21template<> void S<short>::f() { h(); }22// CHECK: define {{.*}} @_ZN1SIA2_sE1fEv() [[NUW]]23template<> void S<short[2]>::f() noexcept { h(); }24 25// CHECK: define {{.*}} @_Z1fIDsEvv() [[NONE]] comdat {26template void f<char16_t>();27// CHECK: define {{.*}} @_Z1fIA2_DsEvv() [[NUW]] comdat personality ptr @__gxx_personality_v0 {28template void f<char16_t[2]>();29 30// CHECK: define {{.*}} @_ZN1SIDsE1fEv()31// CHECK-NOT: [[NUW]]32template void S<char16_t>::f();33// CHECK: define {{.*}} @_ZN1SIA2_DsE1fEv() [[NUW]]34template void S<char16_t[2]>::f();35 36void h() {37 // CHECK: define {{.*}} @_Z1fIiEvv() [[NUW]] comdat personality ptr @__gxx_personality_v0 {38 f<int>();39 // CHECK: define {{.*}} @_Z1fIA2_iEvv() [[NONE]] comdat {40 f<int[2]>();41 42 // CHECK: define {{.*}} @_ZN1SIiE1fEv() [[NUW]]43 S<int>::f();44 // CHECK: define {{.*}} @_ZN1SIA2_iE1fEv()45 // CHECK-NOT: [[NUW]]46 S<int[2]>::f();47 48 // CHECK: define {{.*}} @_Z1fIfEvv() [[NUW]] comdat personality ptr @__gxx_personality_v0 {49 void (*f1)() = &f<float>;50 // CHECK: define {{.*}} @_Z1fIdEvv() [[NONE]] comdat {51 void (*f2)() = &f<double>;52 53 // CHECK: define {{.*}} @_ZN1SIfE1fEv() [[NUW]]54 void (*f3)() = &S<float>::f;55 // CHECK: define {{.*}} @_ZN1SIdE1fEv()56 // CHECK-NOT: [[NUW]]57 void (*f4)() = &S<double>::f;58 59 // CHECK: define {{.*}} @_Z1fIA4_cEvv() [[NUW]] comdat personality ptr @__gxx_personality_v0 {60 (void)&f<char[4]>;61 // CHECK: define {{.*}} @_Z1fIcEvv() [[NONE]] comdat {62 (void)&f<char>;63 64 // CHECK: define {{.*}} @_ZN1SIA4_cE1fEv() [[NUW]]65 (void)&S<char[4]>::f;66 // CHECK: define {{.*}} @_ZN1SIcE1fEv()67 // CHECK-NOT: [[NUW]]68 (void)&S<char>::f;69}70 71// CHECK: define {{.*}} @_Z1iv72void i() {73 // CHECK: declare {{.*}} @_Z1gIiEvv() [[NUW2:#[0-9]+]]74 g<int>();75 // CHECK: declare {{.*}} @_Z1gIA2_iEvv()76 // CHECK-NOT: [[NUW]]77 g<int[2]>();78 79 // CHECK: declare {{.*}} @_ZN1SIiE1gEv() [[NUW2]]80 S<int>::g();81 // CHECK: declare {{.*}} @_ZN1SIA2_iE1gEv()82 // CHECK-NOT: [[NUW]]83 S<int[2]>::g();84 85 // CHECK: declare {{.*}} @_Z1gIfEvv() [[NUW2]]86 void (*g1)() = &g<float>;87 // CHECK: declare {{.*}} @_Z1gIdEvv()88 // CHECK-NOT: [[NUW]]89 void (*g2)() = &g<double>;90 91 // CHECK: declare {{.*}} @_ZN1SIfE1gEv() [[NUW2]]92 void (*g3)() = &S<float>::g;93 // CHECK: declare {{.*}} @_ZN1SIdE1gEv()94 // CHECK-NOT: [[NUW]]95 void (*g4)() = &S<double>::g;96 97 // CHECK: declare {{.*}} @_Z1gIA4_cEvv() [[NUW2]]98 (void)&g<char[4]>;99 // CHECK: declare {{.*}} @_Z1gIcEvv()100 // CHECK-NOT: [[NUW]]101 (void)&g<char>;102 103 // CHECK: declare {{.*}} @_ZN1SIA4_cE1gEv() [[NUW2]]104 (void)&S<char[4]>::g;105 // CHECK: declare {{.*}} @_ZN1SIcE1gEv()106 // CHECK-NOT: [[NUW]]107 (void)&S<char>::g;108}109 110template<typename T> struct Nested {111 template<bool b, typename U> void f() noexcept(sizeof(T) == sizeof(U));112};113 114// CHECK: define {{.*}} @_Z1jv115void j() {116 // CHECK: declare {{.*}} @_ZN6NestedIiE1fILb1EcEEvv(117 // CHECK-NOT: [[NUW]]118 Nested<int>().f<true, char>();119 // CHECK: declare {{.*}} @_ZN6NestedIlE1fILb0ElEEvv({{.*}}) [[NUW2]]120 Nested<long>().f<false, long>();121}122 123// CHECK: attributes [[NONE]] = { {{.*}} }124// CHECK: attributes [[NUW]] = { mustprogress noinline nounwind{{.*}} }125// CHECK: attributes [[NUW2]] = { nounwind{{.*}} }126 127 128 129namespace PR19190 {130template <class T> struct DWFIterator { virtual void get() throw(int) = 0; };131void foo(DWFIterator<int> *foo) { foo->get(); }132}133