ObjFW  Diff

Differences From Artifact [674f1f49e8]:

To Artifact [556b909780]:


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
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







-
+

-
+











-
+







-
+



-
+

-
+







#import "macros.h"

static size_t alignmentOfEncoding(const char **type, size_t *length,
    bool inStruct);
static size_t sizeOfEncoding(const char **type, size_t *length);

static size_t
alignofArray(const char **type, size_t *length)
alignmentOfArray(const char **type, size_t *length)
{
	size_t align;
	size_t alignment;

	assert(*length > 0);

	(*type)++;
	(*length)--;

	while (*length > 0 && OFASCIIIsDigit(**type)) {
		(*type)++;
		(*length)--;
	}

	align = alignmentOfEncoding(type, length, true);
	alignment = alignmentOfEncoding(type, length, true);

	if (*length == 0 || **type != ']')
		@throw [OFInvalidFormatException exception];

	(*type)++;
	(*length)--;

	return align;
	return alignment;
}

static size_t
alignofStruct(const char **type, size_t *length)
alignmentOfStruct(const char **type, size_t *length)
{
	size_t align = 0;
	size_t alignment = 0;
#if defined(OF_POWERPC) && defined(OF_MACOS)
	bool first = true;
#endif

	assert(*length > 0);

	(*type)++;
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
157
158
159
160
161
162
163
164
165
166
167

168
169
170
171

172
173
174
175

176
177
178
179

180
181
182
183
184
185

186
187
188

189
190
191
192
193

194
195
196
197

198
199
200
201
202

203
204
205

206
207
208
209
210

211
212
213

214
215
216

217
218
219

220
221
222

223
224
225

226
227
228

229
230
231

232
233
234

235
236

237
238

239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256

257
258
259
260
261

262
263
264

265
266
267

268
269
270
271
272
273
274
275
276
277
278
279
280
281
282

283
284
285
286

287
288
289
290
291
292
293
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
157
158
159
160
161
162
163
164
165
166

167
168
169
170

171
172
173
174

175
176
177
178

179
180
181
182
183
184

185
186
187

188
189
190
191
192

193
194
195
196

197
198
199
200
201

202
203
204

205
206
207
208
209

210
211
212

213
214
215

216
217
218

219
220
221

222
223
224

225
226
227

228
229
230

231
232
233

234
235

236
237

238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255

256
257
258
259
260

261
262
263

264
265
266

267
268
269
270
271
272
273
274
275
276
277
278
279
280
281

282
283
284
285

286
287
288
289
290
291
292
293







-
+


-
-
+
+




-
-
+
+








-
+



-
+

-
+




















-
+

-
-
+
+








-
+





-
+















-
+



-
+



-
+



-
+





-
+


-
+




-
+



-
+




-
+


-
+




-
+


-
+


-
+


-
+


-
+


-
+


-
+


-
+


-
+

-
+

-
+

















-
+




-
+


-
+


-
+














-
+



-
+







		@throw [OFInvalidFormatException exception];

	/* Skip '=' */
	(*type)++;
	(*length)--;

	while (*length > 0 && **type != '}') {
		size_t fieldAlign = alignmentOfEncoding(type, length, true);
		size_t fieldAlignment = alignmentOfEncoding(type, length, true);

#if defined(OF_POWERPC) && defined(OF_MACOS)
		if (!first && fieldAlign > 4)
			fieldAlign = 4;
		if (!first && fieldAlignment > 4)
			fieldAlignment = 4;

		first = false;
#endif

		if (fieldAlign > align)
			align = fieldAlign;
		if (fieldAlignment > alignment)
			alignment = fieldAlignment;
	}

	if (*length == 0 || **type != '}')
		@throw [OFInvalidFormatException exception];

	(*type)++;
	(*length)--;

	return align;
	return alignment;
}

static size_t
alignofUnion(const char **type, size_t *length)
alignmentOfUnion(const char **type, size_t *length)
{
	size_t align = 0;
	size_t alignment = 0;

	assert(*length > 0);

	(*type)++;
	(*length)--;

	/* Skip name */
	while (*length > 0 && **type != '=') {
		(*type)++;
		(*length)--;
	}

	if (*length == 0)
		@throw [OFInvalidFormatException exception];

	/* Skip '=' */
	(*type)++;
	(*length)--;

	while (*length > 0 && **type != ')') {
		size_t fieldAlign = alignmentOfEncoding(type, length, true);
		size_t fieldAlignment = alignmentOfEncoding(type, length, true);

		if (fieldAlign > align)
			align = fieldAlign;
		if (fieldAlignment > alignment)
			alignment = fieldAlignment;
	}

	if (*length == 0 || **type != ')')
		@throw [OFInvalidFormatException exception];

	(*type)++;
	(*length)--;

	return align;
	return alignment;
}

static size_t
alignmentOfEncoding(const char **type, size_t *length, bool inStruct)
{
	size_t align;
	size_t alignment;

	if (*length == 0)
		@throw [OFInvalidFormatException exception];

	if (**type == 'r') {
		(*type)++;
		(*length)--;

		if (*length == 0)
			@throw [OFInvalidFormatException exception];
	}

	switch (**type) {
	case 'c':
	case 'C':
		align = OF_ALIGNOF(char);
		alignment = OF_ALIGNOF(char);
		break;
	case 'i':
	case 'I':
		align = OF_ALIGNOF(int);
		alignment = OF_ALIGNOF(int);
		break;
	case 's':
	case 'S':
		align = OF_ALIGNOF(short);
		alignment = OF_ALIGNOF(short);
		break;
	case 'l':
	case 'L':
		align = OF_ALIGNOF(long);
		alignment = OF_ALIGNOF(long);
		break;
	case 'q':
	case 'Q':
#if defined(OF_X86) && !defined(OF_WINDOWS)
		if (inStruct)
			align = 4;
			alignment = 4;
		else
#endif
			align = OF_ALIGNOF(long long);
			alignment = OF_ALIGNOF(long long);
		break;
#ifdef __SIZEOF_INT128__
	case 't':
	case 'T':
		align = __extension__ OF_ALIGNOF(__int128);
		alignment = __extension__ OF_ALIGNOF(__int128);
		break;
#endif
	case 'f':
		align = OF_ALIGNOF(float);
		alignment = OF_ALIGNOF(float);
		break;
	case 'd':
#if defined(OF_X86) && !defined(OF_WINDOWS)
		if (inStruct)
			align = 4;
			alignment = 4;
		else
#endif
			align = OF_ALIGNOF(double);
			alignment = OF_ALIGNOF(double);
		break;
	case 'D':
#if defined(OF_X86) && !defined(OF_WINDOWS)
		if (inStruct)
			align = 4;
			alignment = 4;
		else
#endif
			align = OF_ALIGNOF(long double);
			alignment = OF_ALIGNOF(long double);
		break;
	case 'B':
		align = OF_ALIGNOF(_Bool);
		alignment = OF_ALIGNOF(_Bool);
		break;
	case 'v':
		align = 0;
		alignment = 0;
		break;
	case '*':
		align = OF_ALIGNOF(char *);
		alignment = OF_ALIGNOF(char *);
		break;
	case '@':
		align = OF_ALIGNOF(id);
		alignment = OF_ALIGNOF(id);
		break;
	case '#':
		align = OF_ALIGNOF(Class);
		alignment = OF_ALIGNOF(Class);
		break;
	case ':':
		align = OF_ALIGNOF(SEL);
		alignment = OF_ALIGNOF(SEL);
		break;
	case '[':
		return alignofArray(type, length);
		return alignmentOfArray(type, length);
	case '{':
		return alignofStruct(type, length);
		return alignmentOfStruct(type, length);
	case '(':
		return alignofUnion(type, length);
		return alignmentOfUnion(type, length);
	case '^':
		/* Just to skip over the rest */
		(*type)++;
		(*length)--;
		alignmentOfEncoding(type, length, false);

		return OF_ALIGNOF(void *);
#ifndef __STDC_NO_COMPLEX__
	case 'j':
		(*type)++;
		(*length)--;

		if (*length == 0)
			@throw [OFInvalidFormatException exception];

		switch (**type) {
		case 'f':
			align = OF_ALIGNOF(float _Complex);
			alignment = OF_ALIGNOF(float _Complex);
			break;
		case 'd':
# if defined(OF_X86) && !defined(OF_WINDOWS)
			if (inStruct)
				align = 4;
				alignment = 4;
			else
# endif
				align = OF_ALIGNOF(double _Complex);
				alignment = OF_ALIGNOF(double _Complex);
			break;
		case 'D':
			align = OF_ALIGNOF(long double _Complex);
			alignment = OF_ALIGNOF(long double _Complex);
			break;
		default:
			@throw [OFInvalidFormatException exception];
		}

		break;
#endif
	default:
		@throw [OFInvalidFormatException exception];
	}

	(*type)++;
	(*length)--;

	return align;
	return alignment;
}

static size_t
sizeofArray(const char **type, size_t *length)
sizeOfArray(const char **type, size_t *length)
{
	size_t count = 0;
	size_t size;

	assert(*length > 0);

	(*type)++;
314
315
316
317
318
319
320
321

322
323
324
325
326

327
328
329
330
331
332
333
314
315
316
317
318
319
320

321
322
323
324
325

326
327
328
329
330
331
332
333







-
+




-
+







	if (SIZE_MAX / count < size)
		@throw [OFOutOfRangeException exception];

	return count * size;
}

static size_t
sizeofStruct(const char **type, size_t *length)
sizeOfStruct(const char **type, size_t *length)
{
	size_t size = 0;
	const char *typeCopy = *type;
	size_t lengthCopy = *length;
	size_t alignment = alignofStruct(&typeCopy, &lengthCopy);
	size_t alignment = alignmentOfStruct(&typeCopy, &lengthCopy);
#if defined(OF_POWERPC) && defined(OF_MACOS)
	bool first = true;
#endif

	assert(*length > 0);

	(*type)++;
343
344
345
346
347
348
349
350

351
352
353
354
355


356
357
358
359


360
361
362
363
364
365



366
367
368
369
370
371
372
343
344
345
346
347
348
349

350
351
352
353
354

355
356
357
358


359
360
361
362
363
364


365
366
367
368
369
370
371
372
373
374







-
+




-
+
+


-
-
+
+




-
-
+
+
+







		@throw [OFInvalidFormatException exception];

	/* Skip '=' */
	(*type)++;
	(*length)--;

	while (*length > 0 && **type != '}') {
		size_t fieldSize, fieldAlign;
		size_t fieldSize, fieldAlignment;

		typeCopy = *type;
		lengthCopy = *length;
		fieldSize = sizeOfEncoding(type, length);
		fieldAlign = alignmentOfEncoding(&typeCopy, &lengthCopy, true);
		fieldAlignment = alignmentOfEncoding(&typeCopy, &lengthCopy,
		    true);

#if defined(OF_POWERPC) && defined(OF_MACOS)
		if (!first && fieldAlign > 4)
			fieldAlign = 4;
		if (!first && fieldAlignment > 4)
			fieldAlignment = 4;

		first = false;
#endif

		if (size % fieldAlign != 0) {
			size_t padding = fieldAlign - (size % fieldAlign);
		if (size % fieldAlignment != 0) {
			size_t padding =
			    fieldAlignment - (size % fieldAlignment);

			if (SIZE_MAX - size < padding)
				@throw [OFOutOfRangeException exception];

			size += padding;
		}

391
392
393
394
395
396
397
398

399
400
401
402
403
404
405
393
394
395
396
397
398
399

400
401
402
403
404
405
406
407







-
+







		size += padding;
	}

	return size;
}

static size_t
sizeofUnion(const char **type, size_t *length)
sizeOfUnion(const char **type, size_t *length)
{
	size_t size = 0;

	assert(*length > 0);

	(*type)++;
	(*length)--;
500
501
502
503
504
505
506
507

508
509

510
511

512
513
514
515
516
517
518
502
503
504
505
506
507
508

509
510

511
512

513
514
515
516
517
518
519
520







-
+

-
+

-
+







	case '#':
		size = sizeof(Class);
		break;
	case ':':
		size = sizeof(SEL);
		break;
	case '[':
		return sizeofArray(type, length);
		return sizeOfArray(type, length);
	case '{':
		return sizeofStruct(type, length);
		return sizeOfStruct(type, length);
	case '(':
		return sizeofUnion(type, length);
		return sizeOfUnion(type, length);
	case '^':
		/* Just to skip over the rest */
		(*type)++;
		(*length)--;
		sizeOfEncoding(type, length);

		return sizeof(void *);