1; RUN: not opt -instcombine < %s 2>&1 | FileCheck %s
2; CHECK: Access type node must be a valid scalar type
3
4define void @test6(i32* %gi) #0 {
5entry:
6  store i32 42, i32* %gi, align 4, !tbaa !0
7  br label %for.cond
8
9for.cond:                                         ; preds = %for.body, %entry
10  br i1 undef, label %for.body, label %for.end
11
12for.body:                                         ; preds = %for.cond
13  store i32 undef, i32* %gi, align 4, !tbaa !2
14  br label %for.cond
15
16for.end:                                          ; preds = %for.cond
17  ret void
18}
19
20attributes #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