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
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
294
295
296
297
298
299
300
301
|
#undef NDEBUG
#include "arf.h"
#include <assert.h>
#include <string.h>
#include <stdint.h>
#define UTF8_BOM "\xef\xbb\xbf"
#define UTF8_REPLACEMENT "\xef\xbf\xbd"
#define ptr_len(s) ((const uint8_t *)(s)), (sizeof(s) - 1)
int main(void) {
assert(arf_is_valid_c_str(""));
assert(arf_is_valid_c_str("foo"));
assert(arf_is_valid_c_str("%"));
assert(arf_is_valid_c_str("%ff"));
assert(arf_is_valid_c_str("🐰�"));
assert(arf_is_valid_c_str("\2/yes/\3"));
assert(arf_is_valid_c_str("\xc2\x80"));
assert(arf_is_valid_c_str(UTF8_BOM));
assert(arf_is_valid_c_str(UTF8_REPLACEMENT));
assert(arf_is_valid_c_str("\xd0\x80"));
assert(!arf_is_valid_c_str("\xc0"));
assert(!arf_is_valid_c_str("\xf5"));
assert(!arf_is_valid_c_str("\xf0\xd0\x80\x80"));
assert(!arf_is_valid_c_str("\xf0\x80\xd0\x80"));
assert(!arf_is_valid_c_str("\xf0\x80\x80\xd0"));
assert(!arf_is_valid_c_str("\xef\xbf\xbe"));
assert(!arf_is_valid_c_str("\xf0\x80"));
assert(!arf_is_valid_c_str("\xf0\xf0"));
assert(!arf_is_valid_c_str("\xf3\x90"));
assert(!arf_is_valid_c_str("\xf4\xf4"));
assert(!arf_is_valid_c_str("\xf4\x90"));
assert(!arf_is_valid_c_str("\xf5\x90"));
assert(!arf_is_valid_c_str("\x80"));
assert(!arf_is_valid_c_str("\x8f"));
assert(!arf_is_valid_c_str("\x90"));
assert(!arf_is_valid_c_str("\x9f"));
assert(!arf_is_valid_c_str("\xa0"));
assert(!arf_is_valid_c_str("\xbf"));
assert(!arf_is_valid_c_str("\xc0\x80"));
assert(!arf_is_valid_c_str("\xc0\xbf"));
assert(!arf_is_valid_c_str("\xc1\x80"));
assert(!arf_is_valid_c_str("\xc1\xbf"));
assert(!arf_is_valid_c_str("\xc2"));
assert(!arf_is_valid_c_str("\xc2\x2e"));
assert(!arf_is_valid_c_str("\xc2\x7f"));
assert(!arf_is_valid_c_str("\xc2\x80\x80"));
assert(!arf_is_valid_c_str("\xc2\xc0"));
assert(!arf_is_valid_c_str("\xc2\xfd"));
assert(!arf_is_valid_c_str("\xdf"));
assert(!arf_is_valid_c_str("\xdf\x7f"));
assert(!arf_is_valid_c_str("\xdf\xc0"));
assert(!arf_is_valid_c_str("\xdf\xfd"));
assert(!arf_is_valid_c_str("\xe0"));
assert(!arf_is_valid_c_str("\xe0\x7f\xa0"));
assert(!arf_is_valid_c_str("\xe0\x80\x80"));
assert(!arf_is_valid_c_str("\xe0\x80\xa0"));
assert(!arf_is_valid_c_str("\xe0\x9f\xa0"));
assert(!arf_is_valid_c_str("\xe0\x9f\xbf"));
assert(!arf_is_valid_c_str("\xe0\xa0"));
assert(!arf_is_valid_c_str("\xe0\xa0\x7f"));
assert(!arf_is_valid_c_str("\xe0\xa0\xc0"));
assert(!arf_is_valid_c_str("\xe0\xa0\xfd"));
assert(!arf_is_valid_c_str("\xe0\xc0\xa0"));
assert(!arf_is_valid_c_str("\xe0\xfd\xa0"));
assert(!arf_is_valid_c_str("\xe1"));
assert(!arf_is_valid_c_str("\xe1\x2e"));
assert(!arf_is_valid_c_str("\xe1\x7f\x80"));
assert(!arf_is_valid_c_str("\xe1\x80"));
assert(!arf_is_valid_c_str("\xe1\x80\x2e"));
assert(!arf_is_valid_c_str("\xe1\x80\x7f"));
assert(!arf_is_valid_c_str("\xe1\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xe1\x80\xc0"));
assert(!arf_is_valid_c_str("\xe1\x80\xfd"));
assert(!arf_is_valid_c_str("\xe1\xc0\x80"));
assert(!arf_is_valid_c_str("\xe1\xfd\x80"));
assert(!arf_is_valid_c_str("\xec"));
assert(!arf_is_valid_c_str("\xec\x7f\x80"));
assert(!arf_is_valid_c_str("\xec\x80"));
assert(!arf_is_valid_c_str("\xec\x80\x7f"));
assert(!arf_is_valid_c_str("\xec\x80\xc0"));
assert(!arf_is_valid_c_str("\xec\x80\xfd"));
assert(!arf_is_valid_c_str("\xec\xc0\x80"));
assert(!arf_is_valid_c_str("\xec\xfd\x80"));
assert(!arf_is_valid_c_str("\xed"));
assert(!arf_is_valid_c_str("\xed\x7f\x80"));
assert(!arf_is_valid_c_str("\xed\x80"));
assert(!arf_is_valid_c_str("\xed\x80\x7f"));
assert(!arf_is_valid_c_str("\xed\x80\xc0"));
assert(!arf_is_valid_c_str("\xed\x80\xfd"));
assert(!arf_is_valid_c_str("\xed\xa0\x80"));
assert(!arf_is_valid_c_str("\xed\xa0\xbf"));
assert(!arf_is_valid_c_str("\xed\xbf\x80"));
assert(!arf_is_valid_c_str("\xed\xbf\xbf"));
assert(!arf_is_valid_c_str("\xed\xc0\x80"));
assert(!arf_is_valid_c_str("\xed\xfd\x80"));
assert(!arf_is_valid_c_str("\xee"));
assert(!arf_is_valid_c_str("\xee\x7f\x80"));
assert(!arf_is_valid_c_str("\xee\x80"));
assert(!arf_is_valid_c_str("\xee\x80\x7f"));
assert(!arf_is_valid_c_str("\xee\x80\xc0"));
assert(!arf_is_valid_c_str("\xee\x80\xfd"));
assert(!arf_is_valid_c_str("\xee\xc0\x80"));
assert(!arf_is_valid_c_str("\xee\xfd\x80"));
assert(!arf_is_valid_c_str("\xef"));
assert(!arf_is_valid_c_str("\xef\x7f\x80"));
assert(!arf_is_valid_c_str("\xef\x80"));
assert(!arf_is_valid_c_str("\xef\x80\x7f"));
assert(!arf_is_valid_c_str("\xef\x80\xc0"));
assert(!arf_is_valid_c_str("\xef\x80\xfd"));
assert(!arf_is_valid_c_str("\xef\xc0\x80"));
assert(!arf_is_valid_c_str("\xef\xfd\x80"));
assert(!arf_is_valid_c_str("\xf0"));
assert(!arf_is_valid_c_str("\xf0\x7f\x90\x90"));
assert(!arf_is_valid_c_str("\xf0\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf0\x80\x90\x90"));
assert(!arf_is_valid_c_str("\xf0\x8f\x90\x90"));
assert(!arf_is_valid_c_str("\xf0\x8f\xbf\xbf"));
assert(!arf_is_valid_c_str("\xf0\x90"));
assert(!arf_is_valid_c_str("\xf0\x90\x7f\x90"));
assert(!arf_is_valid_c_str("\xf0\x90\x90"));
assert(!arf_is_valid_c_str("\xf0\x90\x90\x7f"));
assert(!arf_is_valid_c_str("\xf0\x90\x90\xc0"));
assert(!arf_is_valid_c_str("\xf0\x90\x90\xfd"));
assert(!arf_is_valid_c_str("\xf0\x90\xc0\x90"));
assert(!arf_is_valid_c_str("\xf0\x90\xfd\x90"));
assert(!arf_is_valid_c_str("\xf0\xc0\x90\x90"));
assert(!arf_is_valid_c_str("\xf0\xfd\x90\x90"));
assert(!arf_is_valid_c_str("\xf1"));
assert(!arf_is_valid_c_str("\xf1\x23"));
assert(!arf_is_valid_c_str("\xf1\x7f\x80\x80"));
assert(!arf_is_valid_c_str("\xf1\x80"));
assert(!arf_is_valid_c_str("\xf1\x80\x23"));
assert(!arf_is_valid_c_str("\xf1\x80\x7f\x80"));
assert(!arf_is_valid_c_str("\xf1\x80\x80"));
assert(!arf_is_valid_c_str("\xf1\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xf1\x80\x80\x7f"));
assert(!arf_is_valid_c_str("\xf1\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf1\x80\x80\xc0"));
assert(!arf_is_valid_c_str("\xf1\x80\x80\xfd"));
assert(!arf_is_valid_c_str("\xf1\x80\xc0\x80"));
assert(!arf_is_valid_c_str("\xf1\x80\xfd\x80"));
assert(!arf_is_valid_c_str("\xf1\xc0\x80\x80"));
assert(!arf_is_valid_c_str("\xf1\xfd\x80\x80"));
assert(!arf_is_valid_c_str("\xf3"));
assert(!arf_is_valid_c_str("\xf3\x7f\x80\x80"));
assert(!arf_is_valid_c_str("\xf3\x80"));
assert(!arf_is_valid_c_str("\xf3\x80\x7f\x80"));
assert(!arf_is_valid_c_str("\xf3\x80\x80"));
assert(!arf_is_valid_c_str("\xf3\x80\x80\x7f"));
assert(!arf_is_valid_c_str("\xf3\x80\x80\xc0"));
assert(!arf_is_valid_c_str("\xf3\x80\x80\xfd"));
assert(!arf_is_valid_c_str("\xf3\x80\xc0\x80"));
assert(!arf_is_valid_c_str("\xf3\x80\xfd\x80"));
assert(!arf_is_valid_c_str("\xf3\xc0\x80\x80"));
assert(!arf_is_valid_c_str("\xf3\xfd\x80\x80"));
assert(!arf_is_valid_c_str("\xf4"));
assert(!arf_is_valid_c_str("\xf4\x7f\x80\x80"));
assert(!arf_is_valid_c_str("\xf4\x80"));
assert(!arf_is_valid_c_str("\xf4\x80\x7f\x80"));
assert(!arf_is_valid_c_str("\xf4\x80\x80"));
assert(!arf_is_valid_c_str("\xf4\x80\x80\x7f"));
assert(!arf_is_valid_c_str("\xf4\x80\x80\xc0"));
assert(!arf_is_valid_c_str("\xf4\x80\x80\xfd"));
assert(!arf_is_valid_c_str("\xf4\x80\xc0\x80"));
assert(!arf_is_valid_c_str("\xf4\x80\xfd\x80"));
assert(!arf_is_valid_c_str("\xf4\x90\x80\x80"));
assert(!arf_is_valid_c_str("\xf4\xbf\x80\x80"));
assert(!arf_is_valid_c_str("\xf4\xc0\x80\x80"));
assert(!arf_is_valid_c_str("\xf4\xfd\x80\x80"));
assert(!arf_is_valid_c_str("\xf5\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf7\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf7\xbf\xbf\xbf"));
assert(!arf_is_valid_c_str("\xf8\x23"));
assert(!arf_is_valid_c_str("\xf8\x80\x23"));
assert(!arf_is_valid_c_str("\xf8\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xf8\x80\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xf8\x80\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf8\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf8\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xf8\x80\x80"));
assert(!arf_is_valid_c_str("\xf8\x80"));
assert(!arf_is_valid_c_str("\xf8"));
assert(!arf_is_valid_c_str("\xfb\xbf\xbf\xbf\xbf"));
assert(!arf_is_valid_c_str("\xfc\x23"));
assert(!arf_is_valid_c_str("\xfc\x80\x23"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80\x80\x23"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xfc\x80\x80\x80"));
assert(!arf_is_valid_c_str("\xfc\x80\x80"));
assert(!arf_is_valid_c_str("\xfc\x80"));
assert(!arf_is_valid_c_str("\xfc"));
assert(!arf_is_valid_c_str("\xfd\xbf\xbf\xbf\xbf\xbf"));
assert(!arf_is_valid_c_str("\xfe"));
assert(!arf_is_valid_c_str("\xfe\xff"));
assert(!arf_is_valid_c_str("\xff"));
assert(!arf_is_valid_c_str("\xff\xfe"));
assert(!arf_has_arf_magic(ptr_len("")));
assert(!arf_has_arf_magic(ptr_len("f")));
assert(!arf_has_arf_magic(ptr_len("foo")));
assert(!arf_has_arf_magic(ptr_len(UTF8_REPLACEMENT)));
assert(!arf_has_arf_magic(ptr_len(UTF8_REPLACEMENT "foo")));
assert(arf_has_arf_magic(ptr_len(UTF8_BOM "foo")));
assert(!arf_is_valid_arf(ptr_len("")));
assert(!arf_is_valid_arf(ptr_len("foo")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "\xc0" "\0" "\xc0")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "\xc0" "\0" "\0\xc0")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "\xc0" "\0" "\0\x40")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo" "\0" "foo")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foox" "\0" "foo%FF")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo\xef\xbb\xbf" "\0" "foo%FF")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo�" "\0" "foo%ff")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo�" "\0" "goo\0\x7F")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo�" "\0" "foo\0")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo�" "\0" "foo\0\x80")));
assert(!arf_is_valid_arf(ptr_len(UTF8_BOM "foo\xef\xbf\xbc" "\0" "foo\0\x7F")));
assert(!arf_is_valid_arf(ptr_len(UTF8_REPLACEMENT "foo�" "\0" UTF8_REPLACEMENT "foo\0\x7F")));
assert(!arf_is_valid_arf(ptr_len(UTF8_REPLACEMENT UTF8_BOM "foo�" "\0" UTF8_REPLACEMENT "foo\0\x7F")));
assert(arf_is_valid_arf(ptr_len(UTF8_BOM "foo\xef\xbf\xbd" "\0" "foo\0\x7F")));
assert(arf_is_valid_arf(ptr_len(UTF8_BOM "foo�" "\0" "foo\0\x7F")));
assert(arf_is_valid_arf(ptr_len(UTF8_BOM "�foo���bar�" "\0" "\0\x7F" "foo\0\x7F\0\x7E\0\x7D" "bar\0\x7C")));
assert(arf_is_valid_arf(ptr_len(UTF8_BOM UTF8_BOM "foo�" "\0" UTF8_BOM "foo\0\x7F")));
assert(arf_is_valid_arf(ptr_len(UTF8_BOM UTF8_REPLACEMENT "foo�" "\0" UTF8_REPLACEMENT "foo\0\x7F")));
size_t len;
assert(arf_categorize_c_str("", &len));
assert(len == 0);
assert(arf_categorize_c_str("foo", &len));
assert(len == 3);
assert(!arf_categorize_c_str("foo\xff", &len));
assert(len == 15);
assert(arf_categorize_c_str(UTF8_BOM, &len));
assert(len == sizeof(UTF8_BOM) - 1);
assert(arf_categorize_c_str(UTF8_REPLACEMENT, &len));
assert(len == sizeof(UTF8_REPLACEMENT) - 1);
assert(arf_sizeof_c_str_arf("foo") == 10);
assert(arf_sizeof_c_str_arf("\xff") == 9);
assert(arf_sizeof_c_str_arf("foo\xff") == 15);
assert(arf_sizeof_c_str_arf("foo\xff" "bar\xfe") == 26);
assert(arf_sizeof_c_str_arf(UTF8_BOM) == 10);
assert(arf_sizeof_c_str_arf(UTF8_REPLACEMENT) == 10);
uint8_t buffer[1024];
arf_c_str_arf("foo", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "foo\0foo")) == 0);
arf_c_str_arf("\xff", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "�\0" "\0\x7F")) == 0);
arf_c_str_arf("foo\xff", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "foo�\0" "foo\0\x7F")) == 0);
arf_c_str_arf("foo\xff" "bar\xfe", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "foo�bar�\0" "foo\0\x7F" "bar\0\x7E")) == 0);
arf_c_str_arf("foo\xff" "bar\xfe" "end", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "foo�bar�end\0" "foo\0\x7F" "bar\0\x7E" "end")) == 0);
arf_c_str_arf(UTF8_BOM "foo\xff" "bar\xfe" "end", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM UTF8_BOM "foo�bar�end\0" UTF8_BOM "foo\0\x7F" "bar\0\x7E" "end")) == 0);
arf_c_str_arf(UTF8_REPLACEMENT "foo\xff" "bar\xfe" "end", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM UTF8_REPLACEMENT "foo�bar�end\0" UTF8_REPLACEMENT "foo\0\x7F" "bar\0\x7E" "end")) == 0);
arf_c_str_arf("\xe6\x96", buffer);
assert(memcmp(buffer, ptr_len(UTF8_BOM "��\0" "\0f" "\0\x16")) == 0);
assert(arf_sizeof_arf_c_str(ptr_len(UTF8_BOM "�\0" "\0\x7F")) == 2);
assert(arf_sizeof_arf_c_str(ptr_len(UTF8_BOM "foo�\0" "foo\0\x7F")) == 5);
assert(arf_sizeof_arf_c_str(ptr_len(UTF8_BOM "foo�bar�\0" "foo\0\x7F" "bar\0\x7E")) == 9);
assert(arf_sizeof_arf_c_str(ptr_len(UTF8_BOM "foo�bar�end\0" "foo\0\x7F" "bar\0\x7E" "end")) == 12);
arf_arf_c_str(ptr_len(UTF8_BOM "�\0" "\0\x7F"), (char *)buffer);
assert(strcmp((const char *)buffer, "\xff") == 0);
arf_arf_c_str(ptr_len(UTF8_BOM "foo�\0" "foo\0\x7F"), (char *)buffer);
assert(strcmp((const char *)buffer, "foo\xff") == 0);
arf_arf_c_str(ptr_len(UTF8_BOM "foo�bar�\0" "foo\0\x7F" "bar\0\x7E"), (char *)buffer);
assert(strcmp((const char *)buffer, "foo\xff" "bar\xfe") == 0);
arf_arf_c_str(ptr_len(UTF8_BOM "foo�bar�end\0" "foo\0\x7F" "bar\0\x7E" "end"), (char *)buffer);
assert(strcmp((const char *)buffer, "foo\xff" "bar\xfe" "end") == 0);
return 0;
}
|
