1 ; RUN: not llvm-as < %s > /dev/null 2> %t
2 ; RUN: FileCheck %s --input-file=%t
3 ; CHECK: basic block pointers are invalid
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 }
11