diff options
| author | Joseph Tremoulet <jotrem@microsoft.com> | 2016-01-02 15:24:24 +0000 |
|---|---|---|
| committer | Joseph Tremoulet <jotrem@microsoft.com> | 2016-01-02 15:24:24 +0000 |
| commit | 06125e52a7de61fcac60f2900aa4c58652dfa552 (patch) | |
| tree | a3571cef7dcea7c6faef5b08abb475bcda6fa724 /llvm/test/Bitcode | |
| parent | 71e5676de4d30bbff60f496912db1036f8956430 (diff) | |
| download | bcm5719-llvm-06125e52a7de61fcac60f2900aa4c58652dfa552.tar.gz bcm5719-llvm-06125e52a7de61fcac60f2900aa4c58652dfa552.zip | |
[WinEH] Tighten parentPad verifier checks
Summary: A catchswitch cannot be a parent of a cleanuppad or another catchswitch.
Reviewers: rnk, andrew.w.kaylor, majnemer
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D15841
llvm-svn: 256690
Diffstat (limited to 'llvm/test/Bitcode')
| -rw-r--r-- | llvm/test/Bitcode/compatibility.ll | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/llvm/test/Bitcode/compatibility.ll b/llvm/test/Bitcode/compatibility.ll index 31e501de0a1..9363f503be5 100644 --- a/llvm/test/Bitcode/compatibility.ll +++ b/llvm/test/Bitcode/compatibility.ll @@ -859,17 +859,23 @@ catchpad: ; CHECK-NEXT: br label %body body: - invoke void @f.ccc() to label %continue unwind label %terminate + invoke void @f.ccc() to label %continue unwind label %terminate.inner catchret from %catch to label %return ; CHECK: catchret from %catch to label %return return: ret i32 0 +terminate.inner: + cleanuppad within %catch [] + unreachable + ; CHECK: cleanuppad within %catch [] + ; CHECK-NEXT: unreachable + terminate: - cleanuppad within %cs [] + cleanuppad within none [] unreachable - ; CHECK: cleanuppad within %cs [] + ; CHECK: cleanuppad within none [] ; CHECK-NEXT: unreachable continue: |
