1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
// RUN: %clang -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-NO-STRICT %s
// RUN: %clang -fstrict-flex-arrays=0 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-0 %s
// RUN: %clang -fstrict-flex-arrays=1 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-1 %s
// RUN: %clang -fstrict-flex-arrays=2 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-2 %s
// RUN: %clang -fstrict-flex-arrays=3 -target x86_64 -O2 -S -emit-llvm %s -o - 2>&1 | FileCheck --check-prefixes=CHECK,CHECK-STRICT-3 %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-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 -1
// CHECK-STRICT-3: ret i32 -1
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @bar0(
unsigned bar0(foo0_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 -1
// CHECK-STRICT-3: ret i32 0
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @bar1(
unsigned bar1(foo1_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 8
// CHECK-STRICT-3: ret i32 8
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @bar2(
unsigned bar2(foo2_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 16
// CHECK-STRICT-2: ret i32 16
// CHECK-STRICT-3: ret i32 16
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
#define DYNAMIC_OBJECT_SIZE_BUILTIN __builtin_dynamic_object_size
// CHECK-LABEL: @dyn_bar(
unsigned dyn_bar(foo_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 -1
// CHECK-STRICT-3: ret i32 -1
return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @dyn_bar0(
unsigned dyn_bar0(foo0_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 -1
// CHECK-STRICT-3: ret i32 0
return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @dyn_bar1(
unsigned dyn_bar1(foo1_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 -1
// CHECK-STRICT-2: ret i32 8
// CHECK-STRICT-3: ret i32 8
return DYNAMIC_OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @dyn_bar2(
unsigned dyn_bar2(foo2_t *f) {
// CHECK-NO-STRICT: ret i32 -1
// CHECK-STRICT-0: ret i32 -1
// CHECK-STRICT-1: ret i32 16
// CHECK-STRICT-2: ret i32 16
// CHECK-STRICT-3: ret i32 16
return DYNAMIC_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-NO-STRICT: ret i32 0
// CHECK-STRICT-0: ret i32 0
// CHECK-STRICT-1: ret i32 0
// CHECK-STRICT-2: ret i32 0
// CHECK-STRICT-3: ret i32 0
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @babar1(
unsigned babar1(foofoo1_t *f) {
// CHECK-NO-STRICT: ret i32 8
// CHECK-STRICT-0: ret i32 8
// CHECK-STRICT-1: ret i32 8
// CHECK-STRICT-2: ret i32 8
// CHECK-STRICT-3: ret i32 8
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
// CHECK-LABEL: @babar2(
unsigned babar2(foofoo2_t *f) {
// CHECK-NO-STRICT: ret i32 16
// CHECK-STRICT-0: ret i32 16
// CHECK-STRICT-1: ret i32 16
// CHECK-STRICT-2: ret i32 16
// CHECK-STRICT-3: ret i32 16
return OBJECT_SIZE_BUILTIN(f->c, 1);
}
|
