mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-30 23:26:07 +00:00
99 lines
2.2 KiB
C
99 lines
2.2 KiB
C
|
// RUN: %clang -fstrict-flex-arrays=2 -target x86_64-apple-darwin -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-2 %s
|
||
|
|
// RUN: %clang -fstrict-flex-arrays=1 -target x86_64-apple-darwin -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-1 %s
|
||
|
|
// RUN: %clang -fstrict-flex-arrays=0 -target x86_64-apple-darwin -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-0 %s
|
||
|
|
|
||
|
|
#define OBJECT_SIZE_BUILTIN __builtin_object_size
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
float f;
|
||
|
|
double c[];
|
||
|
|
} foo_t;
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
float f;
|
||
|
|
double c[0];
|
||
|
|
} foo0_t;
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
float f;
|
||
|
|
double c[1];
|
||
|
|
} foo1_t;
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
float f;
|
||
|
|
double c[2];
|
||
|
|
} foo2_t;
|
||
|
|
|
||
|
|
// CHECK-LABEL: @bar
|
||
|
|
unsigned bar(foo_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 %
|
||
|
|
// CHECK-STRICT-1: ret i32 %
|
||
|
|
// CHECK-STRICT-2: ret i32 %
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @bar0
|
||
|
|
unsigned bar0(foo0_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 %
|
||
|
|
// CHECK-STRICT-1: ret i32 %
|
||
|
|
// CHECK-STRICT-2: ret i32 %
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @bar1
|
||
|
|
unsigned bar1(foo1_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 %
|
||
|
|
// CHECK-STRICT-1: ret i32 %
|
||
|
|
// CHECK-STRICT-2: ret i32 8
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @bar2
|
||
|
|
unsigned bar2(foo2_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 %
|
||
|
|
// CHECK-STRICT-1: ret i32 16
|
||
|
|
// CHECK-STRICT-2: ret i32 16
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// Also checks for non-trailing flex-array like members
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
double c[0];
|
||
|
|
float f;
|
||
|
|
} foofoo0_t;
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
double c[1];
|
||
|
|
float f;
|
||
|
|
} foofoo1_t;
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
double c[2];
|
||
|
|
float f;
|
||
|
|
} foofoo2_t;
|
||
|
|
|
||
|
|
// CHECK-LABEL: @babar0
|
||
|
|
unsigned babar0(foofoo0_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 0
|
||
|
|
// CHECK-STRICT-1: ret i32 0
|
||
|
|
// CHECK-STRICT-2: ret i32 0
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @babar1
|
||
|
|
unsigned babar1(foofoo1_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 8
|
||
|
|
// CHECK-STRICT-1: ret i32 8
|
||
|
|
// CHECK-STRICT-2: ret i32 8
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @babar2
|
||
|
|
unsigned babar2(foofoo2_t *f) {
|
||
|
|
// CHECK-STRICT-0: ret i32 16
|
||
|
|
// CHECK-STRICT-1: ret i32 16
|
||
|
|
// CHECK-STRICT-2: ret i32 16
|
||
|
|
return OBJECT_SIZE_BUILTIN(f->c, 1);
|
||
|
|
}
|