1 // RUN: %clang_cc1 -triple x86_64-linux -O1 -disable-llvm-passes %s \
2 // RUN:     -emit-llvm -o - | FileCheck %s
3 //
4 // Check that we generate correct TBAA information for accesses to array
5 // elements.
6 
7 struct A { int i; };
8 struct B { A a[1]; };
9 
10 int foo(B *b) {
11 // CHECK-LABEL: _Z3fooP1B
12 // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_i:!.*]]
13   return b->a->i;
14 }
15 
16 // CHECK-DAG: [[TAG_A_i]] = !{[[TYPE_A:!.*]], [[TYPE_int:!.*]], i64 0}
17 // CHECK-DAG: [[TYPE_A]] = !{!"_ZTS1A", !{{.*}}, i64 0}
18 // CHECK-DAG: [[TYPE_int]] = !{!"int", !{{.*}}, i64 0}
19