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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
#include <iostream>
#include <stdexcept>
void erringFunc() { throw std::runtime_error("Hello"); }
void libCallA() { erringFunc(); }
void libCallB() { throw std::runtime_error("World"); }
void handleEventA() {
try {
libCallA();
} catch (std::runtime_error &E) {
std::cout << "handleEventA: unhandled error " << E.what() << "\n";
throw;
}
}
void handleEventB() {
try {
libCallB();
} catch (std::runtime_error &E) {
std::cout << "handleEventB: handle error " << E.what() << "\n";
}
}
class EventGen {
unsigned RemainingEvents = 5;
public:
int generateEvent() {
if (RemainingEvents > 0) {
--RemainingEvents;
return (RemainingEvents % 3) + 1;
}
return 0;
}
};
class TerminateException : public std::runtime_error {
public:
TerminateException() : std::runtime_error("Time to stop!") {}
};
void runEventLoop(EventGen &EG) {
while (true) {
try {
int Ev = EG.generateEvent();
switch (Ev) {
case 0:
throw TerminateException();
case 1:
handleEventA();
break;
case 2:
handleEventB();
break;
}
} catch (TerminateException &E) {
std::cout << "Terminated?\n";
throw;
} catch (std::runtime_error &E) {
std::cout << "Unhandled error: " << E.what() << "\n";
}
}
}
struct CleanUp {
~CleanUp() { std::cout << "Cleanup\n"; }
};
int main() {
EventGen EG;
try {
CleanUp CU;
runEventLoop(EG);
} catch (TerminateException &E) {
std::cout << "Terminated!\n";
}
return 0;
}
/*
REQUIRES: system-linux
RUN: %clang++ %cflags %s -o %t.exe -Wl,-q
RUN: llvm-bolt %t.exe --split-functions --split-strategy=randomN \
RUN: --split-all-cold --split-eh --bolt-seed=7 -o %t.bolt
RUN: %t.bolt | FileCheck %s
CHECK: handleEventB: handle error World
CHECK-NEXT: handleEventA: unhandled error Hello
CHECK-NEXT: Unhandled error: Hello
CHECK-NEXT: handleEventB: handle error World
CHECK-NEXT: handleEventA: unhandled error Hello
CHECK-NEXT: Unhandled error: Hello
CHECK-NEXT: Terminated?
CHECK-NEXT: Cleanup
CHECK-NEXT: Terminated!
*/
|
