test/Transforms/ADCE/2004-05-04-UnreachableBlock.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

; RUN: opt < %s -adce -disable-output

define void @test() {
entry:
        br label %UnifiedReturnBlock

UnifiedReturnBlock:             ; preds = %invoke_catch.0, %entry
        ret void

invoke_catch.0:         ; No predecessors!
        br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock

UnifiedUnwindBlock:             ; preds = %invoke_catch.0
        unreachable
}