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

   1 ; RUN: opt < %s -adce -disable-output
   2
   3 define void @test() {
   4 entry:
   5         br label %UnifiedReturnBlock
   6
   7 UnifiedReturnBlock:             ; preds = %invoke_catch.0, %entry
   8         ret void
   9
  10 invoke_catch.0:         ; No predecessors!
  11         br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock
  12
  13 UnifiedUnwindBlock:             ; preds = %invoke_catch.0
  14         unreachable
  15 }
  16