1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-windows -fasync-exceptions -fcxx-exceptions -fexceptions -fms-extensions -x c++ -Wno-implicit-function-declaration -S -emit-llvm %s -o - | FileCheck %s
2
3 // CHECK: define dso_local void @"?crash@@YAXH@Z
4 // CHECK: invoke void @llvm.seh.try.begin()
5 // CHECK: invoke void @llvm.seh.scope.begin()
6 // CHECK: invoke void @llvm.seh.scope.end()
7
8 // CHECK: %[[dst:[0-9-]+]] = catchswitch within none [label %catch] unwind to caller
9 // CHECK: %[[dst1:[0-9-]+]] = catchpad within %[[dst]] [i8* null, i32 0, i8* null]
10 // CHECK: "funclet"(token %[[dst1]])
11
12 // CHECK: invoke void @llvm.seh.try.begin()
13 // CHECK: %[[src:[0-9-]+]] = load volatile i32, i32* %i
14 // CHECK-NEXT: invoke void @"?crash@@YAXH@Z"(i32 noundef %[[src]])
15 // CHECK: invoke void @llvm.seh.try.end()
16
17 // *****************************************************************************
18 // Abstract: Test CPP catch(...) under SEH -EHa option
19
20 void printf(...);
21 int volatile *NullPtr = 0;
foo()22 void foo() {
23 *NullPtr = 0;
24 }
25 int *pt1, *pt2, *pt3;
26 int g;
crash(int i)27 void crash(int i) {
28 g = i;
29 try {
30 struct A {
31 A() {
32 printf(" in A ctor \n");
33 if (g == 0)
34 *NullPtr = 0;
35 }
36 ~A() {
37 printf(" in A dtor \n");
38 }
39 } ObjA;
40 if (i == 1)
41 *NullPtr = 0;
42 } catch (...) {
43 printf(" in catch(...) funclet \n");
44 if (i == 1)
45 throw(i);
46 }
47 }
48
main()49 int main() {
50 for (int i = 0; i < 2; i++) {
51 __try {
52 crash(i);
53 } __except (1) {
54 printf(" Test CPP unwind: in except handler i = %d \n", i);
55 }
56 }
57 return 0;
58 }
59