pr6047_b.ll

   1 ; RUN: opt < %s -postdomtree -analyze | FileCheck %s
   2 define internal void @f() {
   3 entry:
   4   br i1 undef, label %a, label %bb3.i
   5
   6 a:
   7   br i1 undef, label %bb35, label %bb3.i
   8
   9 bb3.i:
  10   br label %bb3.i
  11
  12
  13 bb35.loopexit3:
  14   br label %bb35
  15
  16 bb35:
  17   ret void
  18 }
  19 ; CHECK: [4] %entry