blob: 7966103b2ea81029f701801a9734208ee3c24712 [file] [log] [blame]
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +01001/*
2 * (C) 2014 by On-Waves
3 * All Rights Reserved
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010015 */
16
17#include <stdlib.h>
18#include <osmocom/core/application.h>
19#include <osmocom/core/logging.h>
20#include <osmocom/core/utils.h>
21#include <osmocom/core/msgb.h>
Jacob Erlbeckcbefa082015-11-27 13:26:17 +010022#include <setjmp.h>
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010023
24#include <errno.h>
25
26#include <string.h>
27
28#define CHECK_RC(rc) \
29 if (rc != 0) { \
30 printf("Operation failed rc=%d on %s:%d\n", rc, __FILE__, __LINE__); \
31 abort(); \
32 }
33
Jacob Erlbeckcbefa082015-11-27 13:26:17 +010034static jmp_buf jmp_env;
35static int jmp_env_valid = 0;
36static void osmo_panic_raise(const char *fmt, va_list args)
37{
38 /*
39 * The args can include pointer values which are not suitable for
40 * regression testing. So just write the (hopefully constant) format
41 * string to stdout and write the full message to stderr.
42 */
43 printf("%s", fmt);
44 vfprintf(stderr, fmt, args);
45 if (!jmp_env_valid)
46 abort();
47 longjmp(jmp_env, 1);
48}
49
50/* Note that this does not nest */
51#define OSMO_PANIC_TRY(pE) (osmo_panic_try(pE, setjmp(jmp_env)))
52
53static int osmo_panic_try(volatile int *exception, int setjmp_result)
54{
55 jmp_env_valid = setjmp_result == 0;
56 *exception = setjmp_result;
57
58 if (setjmp_result)
59 fprintf(stderr, "Exception caught: %d\n", setjmp_result);
60
61 return *exception == 0;
62}
63
Harald Weltee61d4592022-11-03 11:05:58 +010064static void test_msgb_api(void)
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010065{
66 struct msgb *msg = msgb_alloc_headroom(4096, 128, "data");
67 unsigned char *cptr = NULL;
68 int rc;
69
70 printf("Testing the msgb API\n");
71
72 printf("Buffer: %s\n", msgb_hexdump(msg));
73 OSMO_ASSERT(msgb_test_invariant(msg));
74 cptr = msg->l1h = msgb_put(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +000075 printf("put(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010076 printf("Buffer: %s\n", msgb_hexdump(msg));
77 OSMO_ASSERT(msgb_test_invariant(msg));
78 cptr = msg->l2h = msgb_put(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +000079 printf("put(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010080 printf("Buffer: %s\n", msgb_hexdump(msg));
81 OSMO_ASSERT(msgb_test_invariant(msg));
82 cptr = msg->l3h = msgb_put(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +000083 printf("put(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010084 printf("Buffer: %s\n", msgb_hexdump(msg));
85 OSMO_ASSERT(msgb_test_invariant(msg));
86 cptr = msg->l4h = msgb_put(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +000087 printf("put(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010088 printf("Buffer: %s\n", msgb_hexdump(msg));
89 OSMO_ASSERT(msgb_test_invariant(msg));
90 OSMO_ASSERT(msgb_length(msg) == 16);
91 cptr = msgb_push(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +000092 printf("push(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +010093 printf("Buffer: %s\n", msgb_hexdump(msg));
94 OSMO_ASSERT(msgb_test_invariant(msg));
95 OSMO_ASSERT(msgb_length(msg) == 20);
96 rc = msgb_trim(msg, 16);
97 printf("trim(16) -> %d\n", rc);
98 CHECK_RC(rc);
99 OSMO_ASSERT(msgb_test_invariant(msg));
100 printf("Buffer: %s\n", msgb_hexdump(msg));
101 OSMO_ASSERT(msgb_length(msg) == 16);
102
103 cptr = msgb_get(msg, 4);
Holger Hans Peter Freytherfdb46672015-11-09 16:32:43 +0000104 printf("get(4) -> data%+td\n", cptr - msg->data);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +0100105 printf("Buffer: %s\n", msgb_hexdump(msg));
106 OSMO_ASSERT(msgb_test_invariant(msg));
107 OSMO_ASSERT(msgb_length(msg) == 12);
108
109 printf("Test msgb_hexdump\n");
110 msg->l1h = msg->head;
111 printf("Buffer: %s\n", msgb_hexdump(msg));
112 msg->l3h = msg->data;
113 printf("Buffer: %s\n", msgb_hexdump(msg));
114 msg->l3h = msg->head - 1;
115 printf("Buffer: %s\n", msgb_hexdump(msg));
116
117 msgb_free(msg);
118}
119
Harald Weltee61d4592022-11-03 11:05:58 +0100120static void test_msgb_api_errors(void)
Jacob Erlbeck17b3c3a2015-11-27 13:26:20 +0100121{
122 struct msgb *msg = msgb_alloc_headroom(4096, 128, "data");
123 volatile int e = 0;
124 int rc;
125
126 printf("Testing the msgb API error handling\n");
127
128 osmo_set_panic_handler(osmo_panic_raise);
129
130 if (OSMO_PANIC_TRY(&e))
131 msgb_trim(msg, -1);
132 OSMO_ASSERT(e != 0);
133
134 rc = msgb_trim(msg, 4096 + 500);
135 OSMO_ASSERT(rc == -1);
136
137 msgb_free(msg);
138 osmo_set_panic_handler(NULL);
139}
140
Harald Weltee61d4592022-11-03 11:05:58 +0100141static void test_msgb_copy(void)
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100142{
143 struct msgb *msg = msgb_alloc_headroom(4096, 128, "data");
144 struct msgb *msg2;
145 int i;
146
147 printf("Testing msgb_copy\n");
148
149 msg->l1h = msgb_put(msg, 20);
150 msg->l2h = msgb_put(msg, 20);
151 msg->l3h = msgb_put(msg, 20);
152 msg->l4h = msgb_put(msg, 20);
153
154 OSMO_ASSERT(msgb_length(msg) == 80);
155 for (i = 0; i < msgb_length(msg); i++)
156 msg->data[i] = (uint8_t)i;
157
158 msg2 = msgb_copy(msg, "copy");
159
160 OSMO_ASSERT(msgb_length(msg) == msgb_length(msg2));
161 OSMO_ASSERT(msgb_l1len(msg) == msgb_l1len(msg2));
162 OSMO_ASSERT(msgb_l2len(msg) == msgb_l2len(msg2));
163 OSMO_ASSERT(msgb_l3len(msg) == msgb_l3len(msg2));
Max61359a22022-10-14 20:34:58 +0300164 OSMO_ASSERT(msgb_l4len(msg) == msgb_l4len(msg2));
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100165
Max61359a22022-10-14 20:34:58 +0300166 if (!msgb_eq_data_print(msg2, msg->data, msgb_length(msg)))
167 printf("copy test failed!\n");
168
169 if (!msgb_eq_l1_data_print(msg2, msgb_l1(msg), msgb_l1len(msg)))
170 printf("copy test failed at L1!\n");
171 if (!msgb_eq_l2_data_print(msg2, msgb_l2(msg), msgb_l2len(msg)))
172 printf("copy test failed at L2!\n");
173 if (!msgb_eq_l3_data_print(msg2, msgb_l3(msg), msgb_l3len(msg)))
174 printf("copy test failed at L3!\n");
175 if (!msgb_eq_l4_data_print(msg2, msgb_l4(msg), msgb_l4len(msg)))
176 printf("copy test failed at L4!\n");
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100177
178 printf("Src: %s\n", msgb_hexdump(msg));
Max61359a22022-10-14 20:34:58 +0300179 printf("Dst: %s\n", msgb_hexdump(msg2));
180
181 OSMO_ASSERT(msgb_test_invariant(msg));
182 OSMO_ASSERT(msgb_test_invariant(msg2));
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100183
184 msgb_free(msg);
185 msgb_free(msg2);
186}
187
Harald Weltee61d4592022-11-03 11:05:58 +0100188static void test_msgb_resize_area(void)
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100189{
190 struct msgb *msg = msgb_alloc_headroom(4096, 128, "data");
191 int rc;
192 volatile int e = 0;
193 int i, saved_i;
194 uint8_t *cptr, *old_l3h;
195
196 osmo_set_panic_handler(osmo_panic_raise);
197
198 rc = msgb_resize_area(msg, msg->data, 0, 0);
199 OSMO_ASSERT(rc >= 0);
200
201 if (OSMO_PANIC_TRY(&e))
202 msgb_resize_area(msg, NULL, 0, 0);
203 OSMO_ASSERT(e != 0);
204
205 if (OSMO_PANIC_TRY(&e))
Harald Weltea24be852016-12-09 17:58:17 +0100206 msgb_resize_area(msg, NULL, 0, 0);
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100207 OSMO_ASSERT(e != 0);
208
209 if (OSMO_PANIC_TRY(&e))
210 msgb_resize_area(msg, msg->data, 20, 0);
211 OSMO_ASSERT(e != 0);
212
213 if (OSMO_PANIC_TRY(&e))
214 msgb_resize_area(msg, msg->data, -1, 0);
215 OSMO_ASSERT(e != 0);
216
217 if (OSMO_PANIC_TRY(&e))
218 msgb_resize_area(msg, msg->data, 0, -1);
219 OSMO_ASSERT(e != 0);
220
221 printf("Testing msgb_resize_area\n");
222
223 msg->l1h = msgb_put(msg, 20);
224 msg->l2h = msgb_put(msg, 20);
225 msg->l3h = msgb_put(msg, 20);
226 msg->l4h = msgb_put(msg, 20);
227
228 for (i = 0; i < msgb_length(msg); i++)
229 msg->data[i] = (uint8_t)i;
230
231 printf("Original: %s\n", msgb_hexdump(msg));
232
233 /* Extend area */
234 saved_i = msg->l3h[0];
235 old_l3h = msg->l3h;
236
237 rc = msgb_resize_area(msg, msg->l2h, 20, 20 + 30);
238
239 /* Reset the undefined part to allow printing the buffer to stdout */
240 memset(old_l3h, 0, msg->l3h - old_l3h);
241
242 printf("Extended: %s\n", msgb_hexdump(msg));
243
244 OSMO_ASSERT(rc >= 0);
245 OSMO_ASSERT(msgb_length(msg) == 80 + 30);
246 OSMO_ASSERT(msgb_l1len(msg) == 80 + 30);
247 OSMO_ASSERT(msgb_l2len(msg) == 60 + 30);
248 OSMO_ASSERT(msgb_l3len(msg) == 40);
249 OSMO_ASSERT(msg->tail - msg->l4h == 20);
250
251 for (cptr = msgb_data(msg), i = 0; cptr < old_l3h; cptr++, i++)
252 OSMO_ASSERT(*cptr == (uint8_t)i);
253
254 for (cptr = msg->l3h, i = saved_i; cptr < msg->tail; cptr++, i++)
255 OSMO_ASSERT(*cptr == (uint8_t)i);
256
257 rc = msgb_resize_area(msg, msg->l2h, 50, 8000);
258 OSMO_ASSERT(rc == -1);
259
260 /* Shrink area */
261 saved_i = msg->l4h[0];
262 OSMO_ASSERT(saved_i == (uint8_t)(msg->l4h[-1] + 1));
263
264 rc = msgb_resize_area(msg, msg->l3h, 20, 10);
265
266 printf("Shrinked: %s\n", msgb_hexdump(msg));
267
268 OSMO_ASSERT(rc >= 0);
269 OSMO_ASSERT(msgb_length(msg) == 80 + 30 - 10);
270 OSMO_ASSERT(msgb_l1len(msg) == 80 + 30 - 10);
271 OSMO_ASSERT(msgb_l2len(msg) == 60 + 30 - 10);
272 OSMO_ASSERT(msgb_l3len(msg) == 40 - 10);
273 OSMO_ASSERT(msg->tail - msg->l4h == 20);
274
275 OSMO_ASSERT(msg->l4h[0] != msg->l4h[-1] - 1);
276
277 for (cptr = msg->l4h, i = saved_i; cptr < msg->tail; cptr++, i++)
278 OSMO_ASSERT(*cptr == (uint8_t)i);
279
280 rc = msgb_resize_area(msg, msg->l2h, 50, 8000);
281 OSMO_ASSERT(rc == -1);
282
283 msgb_free(msg);
284
285 osmo_set_panic_handler(NULL);
286}
287
Harald Weltee61d4592022-11-03 11:05:58 +0100288static void test_msgb_printf(void)
Philipp Maierc5b47cc2017-10-10 16:53:21 +0200289{
290 struct msgb *msg;
291 struct msgb *msg_ref;
292 int rc;
293 int total_len;
294
295 msg = msgb_alloc(80, "data");
296
297 /* Add normal text: */
298 printf("Add normal text:\n");
299 rc = msgb_printf(msg, "|this is a test %i, %s, %16x|", 4711, "testme",
300 0x4711);
301 total_len = msgb_length(msg);
302 printf("#1: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
303 msg->data);
304 OSMO_ASSERT(rc == 0);
305 OSMO_ASSERT(msgb_tailroom(msg) == 33);
306
307 /* Add normal text: */
308 rc = msgb_printf(msg, "|some more text|");
309 total_len = msgb_length(msg);
310 printf("#2: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
311 msg->data);
312 OSMO_ASSERT(rc == 0);
313 OSMO_ASSERT(msgb_tailroom(msg) == 17);
314
315 /* Add normal text which will not fit: */
316 rc = msgb_printf(msg, "|more %i %x %s|", 23, 0xfee,
317 "text will not fit");
318 total_len = msgb_length(msg);
319 printf("#3: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
320 msg->data);
321 OSMO_ASSERT(rc == -EINVAL);
322
323 /* Check if we got the right amount of characters in the message buffer
324 * until here, so that we can be sure that the following cornercase
325 * tests yield plausible results */
326 OSMO_ASSERT(msgb_tailroom(msg) == 17);
327
328 /* Add normal text which just does not fit by one character, this should not
329 * alter the message buffers tail pointer */
330 rc = msgb_printf(msg, "|more 123456 ABC|");
331 total_len = msgb_length(msg);
332 printf("#4: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
333 msg->data);
334 OSMO_ASSERT(rc == -EINVAL);
335
336 /* Make sure the tailroom, nor the contained string length did change */
337 OSMO_ASSERT(msgb_tailroom(msg) == 17);
338 OSMO_ASSERT(msgb_length(msg) == 63);
339
340 /* Add normal text which just fits */
341 rc = msgb_printf(msg, "|more 123456 AB|");
342 total_len = msgb_length(msg);
343 printf("#5: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
344 msg->data);
345 OSMO_ASSERT(rc == 0);
346
347 /* Make sure that the string in the bufer takes up all available Space.
348 * Also make sure that the available tailroom has space for one byte,
349 * which actually holds the string terminator */
350 OSMO_ASSERT(msgb_tailroom(msg) == 1);
351 OSMO_ASSERT(msgb_length(msg) == 79);
352
353 /* Try to add a nullstring to the already full buffer, this should
354 * be ok, since we still have one byte tailroom */
355 rc = msgb_printf(msg, "");
356 total_len = msgb_length(msg);
357 printf("#6: rc=%i, total_len=%i, msg->data=%s\n", rc, total_len,
358 msg->data);
359 OSMO_ASSERT(rc == 0);
360
361 /* Make sure that we still have the same conditions as before */
362 OSMO_ASSERT(msgb_tailroom(msg) == 1);
363 OSMO_ASSERT(msgb_length(msg) == 79);
364
365 msgb_free(msg);
366
367 /* Test behaviour when a completely full buffer is passed to
368 * msgb_printf(). We should get rc == -EINVAL and the message
369 * buffer must not be changed at all */
370 msg = msgb_alloc(15, "data");
371 msg_ref = msgb_alloc(msgb_tailroom(msg), "data");
372 memset(msg->data, 0x41, msgb_tailroom(msg));
373 memset(msg_ref->data, 0x41, msgb_tailroom(msg_ref));
374 msgb_put(msg, msgb_tailroom(msg));
375 msgb_put(msg_ref, msgb_tailroom(msg_ref));
376
377 printf("#7: before: %s", msgb_hexdump(msg));
378 rc = msgb_printf(msg, "ABCDEF");
379 printf(" after: rc=%i, %s", rc, msgb_hexdump(msg));
380 if (memcmp(msg->data, msg_ref->data, msgb_length(msg)) == 0)
381 printf(" ==> ok, no change\n");
382 else
383 printf(" ==> error, change detected\n");
384 OSMO_ASSERT(rc == -EINVAL);
385 OSMO_ASSERT(msgb_tailroom(msg) == 0);
386 OSMO_ASSERT(msgb_length(msg) == msgb_length(msg_ref));
387
388 msgb_free(msg);
389 msgb_free(msg_ref);
390}
391
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +0100392static struct log_info info = {};
393
394int main(int argc, char **argv)
395{
Neels Hofmeyra829b452018-04-05 03:02:35 +0200396 void *ctx = talloc_named_const(NULL, 0, "msgb_test");
397 osmo_init_logging2(ctx, &info);
398 msgb_talloc_ctx_init(ctx, 0);
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +0100399
400 test_msgb_api();
Jacob Erlbeck17b3c3a2015-11-27 13:26:20 +0100401 test_msgb_api_errors();
Jacob Erlbeck0a053ec2015-11-27 13:26:18 +0100402 test_msgb_copy();
403 test_msgb_resize_area();
Philipp Maierc5b47cc2017-10-10 16:53:21 +0200404 test_msgb_printf();
Jacob Erlbeck7cd8a1b2015-11-27 13:26:16 +0100405
406 printf("Success.\n");
407
408 return 0;
409}