Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as < %s > /dev/null 2> %t
      2 ; RUN: grep "basic block pointers are invalid" %t
      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 }
     10