summaryrefslogtreecommitdiffstats
path: root/test/CoverageMapping
diff options
context:
space:
mode:
authorJustin Bogner <mail@justinbogner.com>2015-07-23 23:24:21 +0000
committerJustin Bogner <mail@justinbogner.com>2015-07-23 23:24:21 +0000
commitbd40a9cd8e286b925c3543cab68a107ea8194078 (patch)
tree14d7a4ea35444e0faea3b81f4e54dc9a0ff0ef12 /test/CoverageMapping
parent21442a13e0f425c450ceb6f67899157659f68c0b (diff)
InstrProf: Don't extend coverage regions into the catch keyword
The catch keyword isn't really part of a region, so it's fairly meaningless to extend into it. This was usually harmless, but it could crash when catch blocks involved macros in strange ways. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@243066 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CoverageMapping')
-rw-r--r--test/CoverageMapping/trymacro.cpp24
1 files changed, 24 insertions, 0 deletions
diff --git a/test/CoverageMapping/trymacro.cpp b/test/CoverageMapping/trymacro.cpp
new file mode 100644
index 0000000000..6bd3ea219c
--- /dev/null
+++ b/test/CoverageMapping/trymacro.cpp
@@ -0,0 +1,24 @@
+// RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++11 -fexceptions -fcxx-exceptions -fprofile-instr-generate -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name trymacro.cpp %s | FileCheck %s
+
+// CHECK: Z3fn1v:
+void fn1() try { return; } // CHECK: [[@LINE]]:12 -> [[@LINE+1]]:14 = #1
+catch(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2
+
+#define RETURN_BLOCK { return; }
+
+// CHECK: Z3fn2v:
+void fn2() try RETURN_BLOCK // CHECK: [[@LINE]]:12 -> [[@LINE+1]]:14 = #1
+catch(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2
+
+#define TRY try
+#define CATCH(x) catch (x)
+
+// CHECK: Z3fn3v:
+void fn3() TRY { return; } // CHECK: [[@LINE]]:12 -> [[@LINE+1]]:14 = #1
+CATCH(...) {} // CHECK: [[@LINE]]:12 -> [[@LINE]]:14 = #2
+
+int main() {
+ fn1();
+ fn2();
+ fn3();
+}