test/Verifier/2006-10-15-AddrLabel.ll

   1 ; RUN: not llvm-as 2>&1 < %s > /dev/null &&
   2 ; RUN: llvm-as 2>&1 < %s > /dev/null | \
   3 ; RUN:    grep 'Cannot form a pointer to a basic block'
   4
   5 define i32 @main() {
   6          %foo  = call i8* %llvm.stacksave()
   7          %foop = bitcast i8* %foo to label*
   8          %nret = load label* %foop
   9          br label %nret;
  10 }