157 lines · c
1// RUN: %clang -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-NO-STRICT %s2// RUN: %clang -fstrict-flex-arrays=0 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-0 %s3// RUN: %clang -fstrict-flex-arrays=1 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-1 %s4// RUN: %clang -fstrict-flex-arrays=2 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-2 %s5// RUN: %clang -fstrict-flex-arrays=3 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-3 %s6 7#define OBJECT_SIZE_BUILTIN __builtin_object_size8 9typedef struct {10 float f;11 double c[];12} foo_t;13 14typedef struct {15 float f;16 double c[0];17} foo0_t;18 19typedef struct {20 float f;21 double c[1];22} foo1_t;23 24typedef struct {25 float f;26 double c[2];27} foo2_t;28 29// CHECK-LABEL: @bar(30unsigned bar(foo_t *f) {31 // CHECK-NO-STRICT: ret i32 -132 // CHECK-STRICT-0: ret i32 -133 // CHECK-STRICT-1: ret i32 -134 // CHECK-STRICT-2: ret i32 -135 // CHECK-STRICT-3: ret i32 -136 return OBJECT_SIZE_BUILTIN(f->c, 1);37}38 39// CHECK-LABEL: @bar0(40unsigned bar0(foo0_t *f) {41 // CHECK-NO-STRICT: ret i32 -142 // CHECK-STRICT-0: ret i32 -143 // CHECK-STRICT-1: ret i32 -144 // CHECK-STRICT-2: ret i32 -145 // CHECK-STRICT-3: ret i32 046 return OBJECT_SIZE_BUILTIN(f->c, 1);47}48 49// CHECK-LABEL: @bar1(50unsigned bar1(foo1_t *f) {51 // CHECK-NO-STRICT: ret i32 -152 // CHECK-STRICT-0: ret i32 -153 // CHECK-STRICT-1: ret i32 -154 // CHECK-STRICT-2: ret i32 855 // CHECK-STRICT-3: ret i32 856 return OBJECT_SIZE_BUILTIN(f->c, 1);57}58 59// CHECK-LABEL: @bar2(60unsigned bar2(foo2_t *f) {61 // CHECK-NO-STRICT: ret i32 -162 // CHECK-STRICT-0: ret i32 -163 // CHECK-STRICT-1: ret i32 1664 // CHECK-STRICT-2: ret i32 1665 // CHECK-STRICT-3: ret i32 1666 return OBJECT_SIZE_BUILTIN(f->c, 1);67}68 69#define DYNAMIC_OBJECT_SIZE_BUILTIN __builtin_dynamic_object_size70 71// CHECK-LABEL: @dyn_bar(72unsigned dyn_bar(foo_t *f) {73 // CHECK-NO-STRICT: ret i32 -174 // CHECK-STRICT-0: ret i32 -175 // CHECK-STRICT-1: ret i32 -176 // CHECK-STRICT-2: ret i32 -177 // CHECK-STRICT-3: ret i32 -178 return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);79}80 81// CHECK-LABEL: @dyn_bar0(82unsigned dyn_bar0(foo0_t *f) {83 // CHECK-NO-STRICT: ret i32 -184 // CHECK-STRICT-0: ret i32 -185 // CHECK-STRICT-1: ret i32 -186 // CHECK-STRICT-2: ret i32 -187 // CHECK-STRICT-3: ret i32 088 return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);89}90 91// CHECK-LABEL: @dyn_bar1(92unsigned dyn_bar1(foo1_t *f) {93 // CHECK-NO-STRICT: ret i32 -194 // CHECK-STRICT-0: ret i32 -195 // CHECK-STRICT-1: ret i32 -196 // CHECK-STRICT-2: ret i32 897 // CHECK-STRICT-3: ret i32 898 return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);99}100 101// CHECK-LABEL: @dyn_bar2(102unsigned dyn_bar2(foo2_t *f) {103 // CHECK-NO-STRICT: ret i32 -1104 // CHECK-STRICT-0: ret i32 -1105 // CHECK-STRICT-1: ret i32 16106 // CHECK-STRICT-2: ret i32 16107 // CHECK-STRICT-3: ret i32 16108 return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);109}110 111// Also checks for non-trailing flex-array like members112 113typedef struct {114 double c[0];115 float f;116} foofoo0_t;117 118typedef struct {119 double c[1];120 float f;121} foofoo1_t;122 123typedef struct {124 double c[2];125 float f;126} foofoo2_t;127 128// CHECK-LABEL: @babar0(129unsigned babar0(foofoo0_t *f) {130 // CHECK-NO-STRICT: ret i32 0131 // CHECK-STRICT-0: ret i32 0132 // CHECK-STRICT-1: ret i32 0133 // CHECK-STRICT-2: ret i32 0134 // CHECK-STRICT-3: ret i32 0135 return OBJECT_SIZE_BUILTIN(f->c, 1);136}137 138// CHECK-LABEL: @babar1(139unsigned babar1(foofoo1_t *f) {140 // CHECK-NO-STRICT: ret i32 8141 // CHECK-STRICT-0: ret i32 8142 // CHECK-STRICT-1: ret i32 8143 // CHECK-STRICT-2: ret i32 8144 // CHECK-STRICT-3: ret i32 8145 return OBJECT_SIZE_BUILTIN(f->c, 1);146}147 148// CHECK-LABEL: @babar2(149unsigned babar2(foofoo2_t *f) {150 // CHECK-NO-STRICT: ret i32 16151 // CHECK-STRICT-0: ret i32 16152 // CHECK-STRICT-1: ret i32 16153 // CHECK-STRICT-2: ret i32 16154 // CHECK-STRICT-3: ret i32 16155 return OBJECT_SIZE_BUILTIN(f->c, 1);156}157