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