diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2015-07-05 14:21:36 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2015-07-05 14:21:36 +0000 |
| commit | 1a82d4c088707c791c792f6822f611b47a12bdfe (patch) | |
| tree | 7c411f9b5d807f7f204fdd16965d8925a82b6d18 /test/Instrumentation/SanitizerCoverage/coverage.ll | |
| parent | 3a0822f094b578157263e04114075ad7df81db41 (diff) | |
Notes
Diffstat (limited to 'test/Instrumentation/SanitizerCoverage/coverage.ll')
| -rw-r--r-- | test/Instrumentation/SanitizerCoverage/coverage.ll | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Instrumentation/SanitizerCoverage/coverage.ll b/test/Instrumentation/SanitizerCoverage/coverage.ll index b2f0ab0680bf..659c03040f2f 100644 --- a/test/Instrumentation/SanitizerCoverage/coverage.ll +++ b/test/Instrumentation/SanitizerCoverage/coverage.ll @@ -119,3 +119,12 @@ entry: ; CHECK4: call void @__sanitizer_cov_indir_call16({{.*}},[[CACHE:.*]]) ; CHECK4-NOT: call void @__sanitizer_cov_indir_call16({{.*}},[[CACHE]]) ; CHECK4: ret void + +define void @call_unreachable() uwtable sanitize_address { +entry: + unreachable +} + +; CHECK4-LABEL: define void @call_unreachable +; CHECK4-NOT: __sanitizer_cov +; CHECK4: unreachable |