1 ; RUN: not opt -instcombine < %s 2>&1 | FileCheck %s 2 ; CHECK: Cycle found in TBAA metadata. 3 4 define void @test6(i32* %gi) #0 { 5 entry: 6 store i32 42, i32* %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, i32* %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} 27