1 | // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++11 -fexceptions -fcxx-exceptions -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name trymacro.cpp %s | FileCheck %s |
2 | |
3 | // CHECK: Z3fn1v: |
4 | void fn1() try { return; } // CHECK: [[@LINE]]:12 -> [[@LINE+1]]:14 = #1 |
5 | catch(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2 |
6 | |
7 | #define RETURN_BLOCK { return; } |
8 | |
9 | // CHECK: Z3fn2v: |
10 | void fn2() try RETURN_BLOCK // CHECK: [[@LINE]]:12 -> [[@LINE+1]]:14 = #1 |
11 | catch(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2 |
12 | |
13 | #define TRY try |
14 | #define CATCH(x) catch (x) |
15 | |
16 | // CHECK: Z3fn3v: |
17 | void fn3() TRY { return; } // CHECK: [[@LINE]]:15 -> [[@LINE+1]]:14 = #1 |
18 | CATCH(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2 |
19 | |
20 | // CHECK: Z3fn4v: |
21 | #define TRY2 try { // CHECK-DAG: File 1, [[@LINE]]:18 -> [[@LINE]]:19 = #1 |
22 | void fn4() TRY2 // CHECK-DAG: Expansion,File 0, [[@LINE]]:12 -> [[@LINE]]:16 = #1 (Expanded file = 1) |
23 | for (;;) |
24 | return; |
25 | } |
26 | catch (...) {} |
27 | |
28 | // CHECK: Z3fn5v: |
29 | #define TRY3 try { return; } catch (...) // CHECK-DAG: File 2, [[@LINE]]:18 -> [[@LINE]]:29 = #1 |
30 | #define TRY4 try { TRY3 { return; } } catch (...) // CHECK-DAG: Expansion,File 1, [[@LINE]]:20 -> [[@LINE]]:24 = #1 (Expanded file = 2) |
31 | void fn5() { |
32 | for (;;) { |
33 | TRY4 { return; } // CHECK-DAG: Expansion,File 0, [[@LINE]]:5 -> [[@LINE]]:9 = #1 (Expanded file = 1) |
34 | } // CHECK-DAG: File 0, [[@LINE-1]]:10 -> [[@LINE-1]]:21 = #5 |
35 | } |
36 | |
37 | int main() { |
38 | fn1(); |
39 | fn2(); |
40 | fn3(); |
41 | fn4(); |
42 | fn5(); |
43 | } |
44 | |