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