[llvm-commits] [llvm] r166157 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Rafael Espíndola]

> The verifier didn't reject it as far as I could tell.

At least for simple cases it does. One can assemble

define void @foo() {
entry:
  ret void

u:
  %xx = getelementptr i8* %xx, i32 0
  ret void
}

but

define void @foo() {
entry:
  br label %u

u:
  %xx = getelementptr i8* %xx, i32 0
  ret void
}

fails.

Cheers,
Rafael