llvm/test/Verifier/tbaa-cyclic.ll

   1 ; RUN: not llvm-as -disable-output < %s 2>&1 | FileCheck %s
   2 ; CHECK: Access type node must be a valid scalar type
   3
   4 define void @test6(ptr %gi) #0 {
   5 entry:
   6   store i32 42, ptr %gi, align 4, !tbaa !0
   7   br label %for.cond
   8
   9 for.cond:                                         ; preds = %for.body, %entry
  10   br i1 undef, label %for.body, label %for.end
  11
  12 for.body:                                         ; preds = %for.cond
  13   store i32 undef, ptr %gi, align 4, !tbaa !2
  14   br label %for.cond
  15
  16 for.end:                                          ; preds = %for.cond
  17   ret void
  18 }
  19
  20 attributes #0 = { nounwind ssp uwtable }
  21
  22 !0 = !{!1, !1, i64 0}
  23 !1 = !{!"Simple C/C++ TBAA"}
  24 !2 = distinct !{!3, !2, i64 0}
  25 !3 = !{!"int", !4}
  26 !4 = !{!"omnipotent ", !1}