1 // RUN: %clang_cc1 -triple x86_64-linux -std=c++98 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 2 // RUN: %clang_cc1 -triple x86_64-linux -std=c++11 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 3 // RUN: %clang_cc1 -triple x86_64-linux -std=c++14 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 4 // RUN: %clang_cc1 -triple x86_64-linux -std=c++17 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 5 // RUN: %clang_cc1 -triple x86_64-linux -std=c++20 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 6 // RUN: %clang_cc1 -triple x86_64-linux -std=c++23 %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 7 // RUN: %clang_cc1 -triple x86_64-linux -std=c++2c %s -O3 -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK %s 8 // RUN: %clang_cc1 -triple x86_64-linux -std=c++1z %s -O3 -pointer-tbaa -disable-llvm-passes -pedantic-errors -emit-llvm -o - | FileCheck --check-prefixes=CHECK,POINTER-TBAA %s 9 10 // cwg158: yes 11 12 // CHECK-LABEL: define {{.*}} @_Z1f 13 const int *f(const int * const *p, int **q) { 14 // CHECK: load ptr, ptr %p.addr 15 // CHECK: load ptr, {{.*}}, !tbaa ![[INTPTR_TBAA:[^,]*]] 16 const int *x = *p; 17 // CHECK: store ptr null, {{.*}}, !tbaa ![[INTPTR_TBAA]] 18 *q = 0; 19 return x; 20 } 21 22 struct A {}; 23 24 // CHECK-LABEL: define {{.*}} @_Z1g 25 const int *(A::*const *g(const int *(A::* const **p)[3], int *(A::***q)[3]))[3] { 26 // CHECK: load ptr, ptr %p.addr 27 // CHECK: load ptr, {{.*}}, !tbaa ![[MEMPTR_TBAA:[^,]*]] 28 const int *(A::*const *x)[3] = *p; 29 // CHECK: store ptr null, {{.*}}, !tbaa ![[MEMPTR_TBAA]] 30 *q = 0; 31 return x; 32 } 33 34 // CHECK-LABEL: define {{.*}} @_Z1h 35 const int * h(const int * (*p)[10], int *(*q)[9]) { 36 // CHECK: load ptr, ptr %p.addr, align 8, !tbaa [[PTRARRAY_TBAA:!.+]] 37 const int * x = *p[0]; 38 39 // CHECK: load ptr, ptr %q.addr, align 8, !tbaa [[PTRARRAY_TBAA]] 40 *q[0] = 0; 41 return x; 42 } 43 44 // POINTER-TBAA: [[PTRARRAY_TBAA]] = !{[[PTRARRAY_TY:!.+]], [[PTRARRAY_TY]], i64 0} 45 // POINTER-TBAA: [[PTRARRAY_TY]] = !{!"p2 int", [[ANYPTR:!.+]], i64 0} 46 // POINTER-TBAA: [[ANYPTR]] = !{!"any pointer" 47