test/Transforms/CorrelatedExprs/2002-10-07-NoImmediateDominator.ll

   1 ; RUN: llvm-as < %s | opt -cee
   2 ;
   3 ; This testcase causes an assertion error.
   4 ;
   5 implementation   ; Functions:
   6
   7 void %test(int %A) {
   8         br label %bb2
   9 bb2:
  10         ret void
  11
  12 bb3:            ; No predecessors!
  13         br bool true, label %bb4, label %bb2
  14
  15 bb4:
  16         ret void
  17 }