1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-pc-windows-msvc -mconstructor-aliases -fexceptions -fcxx-exceptions -fms-compatibility-version=18.00 | FileCheck -check-prefix=MSVC2013 %s
2 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-pc-windows-msvc -mconstructor-aliases -fexceptions -fcxx-exceptions -fms-compatibility-version=19.00 | FileCheck -check-prefix=MSVC2015 %s
3 
4 void may_throw();
5 void never_throws() noexcept(true) {
6   may_throw();
7 }
8 
9 // CHECK-LABEL: define void @"\01?never_throws@@YAXXZ"()
10 // CHECK-SAME:          personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*)
11 // CHECK:      invoke void @"\01?may_throw@@YAXXZ"()
12 // MSVC2013:      terminatepad [void ()* @"\01?terminate@@YAXXZ"]
13 // MSVC2015:      terminatepad [void ()* @__std_terminate]
14 // CHECK-NEXT: unreachable
15