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