| 1 | // REQUIRES: system-windows |
|---|
| 2 | // |
|---|
| 3 | // RUN: %clang_cl /Od /Z7 /Zi %s -o %t |
|---|
| 4 | // RUN: %dexter --fail-lt 1.0 -w --binary %t --debugger 'dbgeng' -- %s |
|---|
| 5 | // |
|---|
| 6 | // RUN: %clang_cl /O2 /Z7 /Zi %s -o %t |
|---|
| 7 | // RUN: %dexter --fail-lt 1.0 -w --binary %t \ |
|---|
| 8 | // RUN: --debugger 'dbgeng' -- %s |
|---|
| 9 | |
|---|
| 10 | // This code is structured to have an early exit with an epilogue in the middle |
|---|
| 11 | // of the function, which creates a gap between the beginning of the inlined |
|---|
| 12 | // code region and the end. Previously, this confused cdb. |
|---|
| 13 | |
|---|
| 14 | volatile bool shutting_down_ = true; |
|---|
| 15 | volatile bool tearing_down_ = true; |
|---|
| 16 | |
|---|
| 17 | void __attribute__((optnone)) setCrashString(const char *) {} |
|---|
| 18 | void __attribute__((optnone)) doTailCall() {} |
|---|
| 19 | extern "C" void __declspec(noreturn) abort(); |
|---|
| 20 | |
|---|
| 21 | void __forceinline inlineCrashFrame() { |
|---|
| 22 | if (shutting_down_ || tearing_down_) { |
|---|
| 23 | setCrashString("crashing" ); |
|---|
| 24 | // MSVC lays out calls to abort out of line, gets the layout we want. |
|---|
| 25 | abort(); // DexLabel('stop') |
|---|
| 26 | } |
|---|
| 27 | } |
|---|
| 28 | |
|---|
| 29 | void __declspec(noinline) callerOfInlineCrashFrame(bool is_keeping_alive) { |
|---|
| 30 | if (is_keeping_alive) |
|---|
| 31 | inlineCrashFrame(); |
|---|
| 32 | else |
|---|
| 33 | doTailCall(); |
|---|
| 34 | } |
|---|
| 35 | |
|---|
| 36 | int __attribute__((optnone)) main() { |
|---|
| 37 | callerOfInlineCrashFrame(true); |
|---|
| 38 | } |
|---|
| 39 | |
|---|
| 40 | /* |
|---|
| 41 | DexExpectProgramState({'frames':[ |
|---|
| 42 | {'function': 'inlineCrashFrame', 'location':{'lineno' : ref('stop')} }, |
|---|
| 43 | {'function': 'callerOfInlineCrashFrame'}, |
|---|
| 44 | {'function': 'main'} |
|---|
| 45 | ]}) |
|---|
| 46 | */ |
|---|
| 47 | |
|---|
