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