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

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