; RUN: opt < %s -postdomtree -analyze | FileCheck %s
define internal void @f() {
entry:
  br i1 undef, label %bb35, label %bb3.i

bb3.i:
  br label %bb3.i

bb35.loopexit3:
  br label %bb35

bb35:
  ret void
}

;CHECK:Inorder PostDominator Tree:
;CHECK-NEXT:  [1]  <<exit node>>
;CHECK-NEXT:    [2] %bb35
;CHECK-NEXT:      [3] %bb35.loopexit3
;CHECK-NEXT:    [2] %entry
;CHECK-NEXT:    [2] %bb3.i