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