diff options
| author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-03-22 08:43:04 +0000 |
|---|---|---|
| committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-03-22 08:43:04 +0000 |
| commit | 7541cd36fdd1bd044e22497838faac7b8f7e48cd (patch) | |
| tree | 47b19da10990a6b456fba97f5c36f0e72fe28d06 /test/Instrumentation/MemorySanitizer | |
| parent | 2be921adc41fb079ce25d36bdd6402ca70d56451 (diff) | |
Fix llvm::removeUnreachableBlocks to handle unreachable loops.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177713 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation/MemorySanitizer')
| -rw-r--r-- | test/Instrumentation/MemorySanitizer/unreachable.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Instrumentation/MemorySanitizer/unreachable.ll b/test/Instrumentation/MemorySanitizer/unreachable.ll index 66a9575d3f..c8130717c7 100644 --- a/test/Instrumentation/MemorySanitizer/unreachable.ll +++ b/test/Instrumentation/MemorySanitizer/unreachable.ll @@ -21,3 +21,19 @@ exit: ; CHECK: @Func ; CHECK: store i32 0, {{.*}} @__msan_retval_tls ; CHECK: ret i32 42 + + +define i32 @UnreachableLoop() nounwind uwtable { +entry: + ret i32 0 + +zzz: + br label %xxx + +xxx: + br label %zzz +} + +; CHECK: @UnreachableLoop +; CHECK: store i32 0, {{.*}} @__msan_retval_tls +; CHECK: ret i32 0 |