1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 %s -std=c++11 -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s
2a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl
3a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redlvoid external();
4a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl
5a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redlvoid target() noexcept
6a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl{
7a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl  // CHECK: invoke void @_Z8externalv()
8a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl  external();
9a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl}
1066b22771fc0a1dba598e50469f2961048e7edd55John McCall// CHECK:      [[T0:%.*]] = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
11285cfd8953d4ca4da613a47a0d691f7234068f8cBill Wendling// CHECK-NEXT:  catch i8* null
1266b22771fc0a1dba598e50469f2961048e7edd55John McCall// CHECK-NEXT: [[T1:%.*]] = extractvalue { i8*, i32 } [[T0]], 0
134e1125f630e75a52209b928e9d43b638abf39987Bill Wendling// CHECK-NEXT: call void @__clang_call_terminate(i8* [[T1]]) [[NR_NUW:#[0-9]+]]
14a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl// CHECK-NEXT: unreachable
15a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl
16a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redlvoid reverse() noexcept(false)
17a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl{
18a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl  // CHECK: call void @_Z8externalv()
19a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl  external();
20a968e97947b1281c3bb3c4d47a952b3801d9bb02Sebastian Redl}
214e1125f630e75a52209b928e9d43b638abf39987Bill Wendling
224e1125f630e75a52209b928e9d43b638abf39987Bill Wendling// CHECK: attributes [[NR_NUW]] = { noreturn nounwind }
23