inline-line-gap.cpp
1.42 KB
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
// REQUIRES: system-windows
//
// RUN: %dexter --fail-lt 1.0 -w --builder 'clang-cl_vs2015' \
// RUN: --debugger 'dbgeng' --cflags '/Od /Z7 /Zi' \
// RUN: --ldflags '/Od /Z7 /Zi' -- %s
//
// RUN: %dexter --fail-lt 1.0 -w --builder 'clang-cl_vs2015' \
// RUN: --debugger 'dbgeng' --cflags '/O2 /Z7 /Zi' \
// RUN: --ldflags '/O2 /Z7 /Zi' -- %s
// This code is structured to have an early exit with an epilogue in the middle
// of the function, which creates a gap between the beginning of the inlined
// code region and the end. Previously, this confused cdb.
volatile bool shutting_down_ = true;
volatile bool tearing_down_ = true;
void __attribute__((optnone)) setCrashString(const char *) {}
void __attribute__((optnone)) doTailCall() {}
extern "C" void __declspec(noreturn) abort();
void __forceinline inlineCrashFrame() {
if (shutting_down_ || tearing_down_) {
setCrashString("crashing");
// MSVC lays out calls to abort out of line, gets the layout we want.
abort(); // DexLabel('stop')
}
}
void __declspec(noinline) callerOfInlineCrashFrame(bool is_keeping_alive) {
if (is_keeping_alive)
inlineCrashFrame();
else
doTailCall();
}
int __attribute__((optnone)) main() {
callerOfInlineCrashFrame(true);
}
/*
DexExpectProgramState({'frames':[
{'function': 'inlineCrashFrame', 'location':{'lineno' : 'stop'} },
{'function': 'callerOfInlineCrashFrame'},
{'function': 'main'}
]})
*/