blob: db23252d0d953a3f24e961fc7d8aef237d1c8bf8 (
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// RUN: %clang_cc1 -triple x86_64-windows -fasync-exceptions -fcxx-exceptions -fexceptions -fms-extensions -x c++ -Wno-implicit-function-declaration -emit-llvm %s -o - | FileCheck %s
// CHECK: define dso_local void @"?crash@@YAXH@Z
// CHECK: invoke void @llvm.seh.try.begin()
// CHECK: invoke void @llvm.seh.scope.begin()
// CHECK: invoke void @llvm.seh.scope.end()
// CHECK: %[[dst:[0-9-]+]] = catchswitch within none [label %catch] unwind to caller
// CHECK: %[[dst1:[0-9-]+]] = catchpad within %[[dst]] [ptr null, i32 0, ptr null]
// CHECK: "funclet"(token %[[dst1]])
// CHECK: define dso_local void @"?bar@@YAXXZ
// CHECK: invoke void @llvm.seh.try.begin()
// CHECK: invoke void @_CxxThrowException
// CHECK: %[[dst:[0-9-]+]] = catchpad within %0 [ptr null, i32 0, ptr null]
// CHECK: invoke void @llvm.seh.try.begin() [ "funclet"(token %[[dst]]) ]
// CHECK: invoke void @llvm.seh.try.begin()
// CHECK: %[[src:[0-9-]+]] = load volatile i32, ptr %i
// CHECK-NEXT: invoke void @"?crash@@YAXH@Z"(i32 noundef %[[src]])
// CHECK: invoke void @llvm.seh.try.end()
// CHECK: invoke void @llvm.seh.try.begin()
// CHECK: invoke void @"?bar@@YAXXZ"()
// CHECK: invoke void @llvm.seh.try.end()
// *****************************************************************************
// Abstract: Test CPP catch(...) under SEH -EHa option
void printf(...);
int volatile *NullPtr = 0;
void foo() {
*NullPtr = 0;
}
int *pt1, *pt2, *pt3;
int g;
void crash(int i) {
g = i;
try {
struct A {
A() {
printf(" in A ctor \n");
if (g == 0)
*NullPtr = 0;
}
~A() {
printf(" in A dtor \n");
}
} ObjA;
if (i == 1)
*NullPtr = 0;
} catch (...) {
printf(" in catch(...) funclet \n");
if (i == 1)
throw(i);
}
}
void bar() {
try {
throw 1;
} catch(...) {
try {
*NullPtr = 0;
} catch (...) {
throw 1;
}
}
}
int main() {
for (int i = 0; i < 2; i++) {
__try {
crash(i);
} __except (1) {
printf(" Test CPP unwind: in except handler i = %d \n", i);
}
}
__try {
bar();
} __except (1) {
printf("Test CPP unwind: in except handler \n");
}
return 0;
}
|
