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

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