1 1.1 christos /* $NetBSD: buffer_test.c,v 1.3 2025/01/26 16:25:49 christos Exp $ */ 2 1.1 christos 3 1.1 christos /* 4 1.1 christos * Copyright (C) Internet Systems Consortium, Inc. ("ISC") 5 1.1 christos * 6 1.1 christos * SPDX-License-Identifier: MPL-2.0 7 1.1 christos * 8 1.1 christos * This Source Code Form is subject to the terms of the Mozilla Public 9 1.1 christos * License, v. 2.0. If a copy of the MPL was not distributed with this 10 1.1 christos * file, you can obtain one at https://mozilla.org/MPL/2.0/. 11 1.1 christos * 12 1.1 christos * See the COPYRIGHT file distributed with this work for additional 13 1.1 christos * information regarding copyright ownership. 14 1.1 christos */ 15 1.1 christos 16 1.1 christos #include <fcntl.h> 17 1.1 christos #include <inttypes.h> 18 1.1 christos #include <limits.h> 19 1.1 christos #include <sched.h> /* IWYU pragma: keep */ 20 1.1 christos #include <setjmp.h> 21 1.1 christos #include <stdarg.h> 22 1.1 christos #include <stdbool.h> 23 1.1 christos #include <stddef.h> 24 1.1 christos #include <stdlib.h> 25 1.1 christos #include <string.h> 26 1.1 christos #include <unistd.h> 27 1.1 christos 28 1.1 christos #define UNIT_TESTING 29 1.1 christos #include <cmocka.h> 30 1.1 christos 31 1.1 christos #include <isc/buffer.h> 32 1.1 christos #include <isc/region.h> 33 1.1 christos #include <isc/result.h> 34 1.1 christos #include <isc/types.h> 35 1.1 christos #include <isc/util.h> 36 1.1 christos 37 1.1 christos #include <tests/isc.h> 38 1.1 christos 39 1.1 christos /* reserve space in dynamic buffers */ 40 1.1 christos ISC_RUN_TEST_IMPL(isc_buffer_reserve) { 41 1.1 christos isc_result_t result; 42 1.1 christos isc_buffer_t *b; 43 1.1 christos 44 1.1 christos UNUSED(state); 45 1.1 christos 46 1.1 christos b = NULL; 47 1.3 christos isc_buffer_allocate(mctx, &b, ISC_BUFFER_INCR); 48 1.3 christos assert_int_equal(b->length, ISC_BUFFER_INCR); 49 1.1 christos 50 1.1 christos /* 51 1.3 christos * 512 bytes should already be available, so this call does 52 1.1 christos * nothing. 53 1.1 christos */ 54 1.3 christos result = isc_buffer_reserve(b, 512); 55 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 56 1.1 christos assert_non_null(b); 57 1.3 christos assert_int_equal(b->length, ISC_BUFFER_INCR); 58 1.1 christos 59 1.1 christos /* 60 1.3 christos * This call should grow it to 1536 bytes as only 1024 bytes are 61 1.1 christos * available in the buffer. 62 1.1 christos */ 63 1.3 christos result = isc_buffer_reserve(b, 1025); 64 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 65 1.1 christos assert_non_null(b); 66 1.3 christos assert_int_equal(b->length, 3 * ISC_BUFFER_INCR); 67 1.1 christos 68 1.1 christos /* 69 1.3 christos * 1536 bytes should already be available, so this call does 70 1.1 christos * nothing. 71 1.1 christos */ 72 1.3 christos result = isc_buffer_reserve(b, 1500); 73 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 74 1.1 christos assert_non_null(b); 75 1.3 christos assert_int_equal(b->length, 3 * ISC_BUFFER_INCR); 76 1.1 christos 77 1.1 christos /* 78 1.3 christos * This call should grow it to 4096 bytes as only 1536 bytes are 79 1.1 christos * available in the buffer. 80 1.1 christos */ 81 1.3 christos result = isc_buffer_reserve(b, 3585); 82 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 83 1.1 christos assert_non_null(b); 84 1.3 christos assert_int_equal(b->length, 8 * ISC_BUFFER_INCR); 85 1.1 christos 86 1.1 christos /* Consume some of the buffer so we can run the next test. */ 87 1.1 christos isc_buffer_add(b, 4096); 88 1.1 christos 89 1.1 christos /* 90 1.1 christos * This call should fail and leave buffer untouched. 91 1.1 christos */ 92 1.3 christos result = isc_buffer_reserve(b, UINT_MAX); 93 1.1 christos assert_int_equal(result, ISC_R_NOMEMORY); 94 1.1 christos assert_non_null(b); 95 1.3 christos assert_int_equal(b->length, 8 * ISC_BUFFER_INCR); 96 1.1 christos 97 1.1 christos isc_buffer_free(&b); 98 1.1 christos } 99 1.1 christos 100 1.1 christos /* dynamic buffer automatic reallocation */ 101 1.1 christos ISC_RUN_TEST_IMPL(isc_buffer_dynamic) { 102 1.1 christos isc_buffer_t *b; 103 1.1 christos size_t last_length = 10; 104 1.1 christos int i; 105 1.1 christos 106 1.1 christos UNUSED(state); 107 1.1 christos 108 1.1 christos b = NULL; 109 1.1 christos isc_buffer_allocate(mctx, &b, last_length); 110 1.1 christos assert_non_null(b); 111 1.1 christos assert_int_equal(b->length, last_length); 112 1.1 christos 113 1.1 christos isc_buffer_putuint8(b, 1); 114 1.1 christos 115 1.1 christos for (i = 0; i < 1000; i++) { 116 1.1 christos isc_buffer_putstr(b, "thisisa24charslongstring"); 117 1.1 christos } 118 1.1 christos assert_true(b->length - last_length >= 1000 * 24); 119 1.1 christos last_length += 1000 * 24; 120 1.1 christos 121 1.1 christos for (i = 0; i < 10000; i++) { 122 1.1 christos isc_buffer_putuint8(b, 1); 123 1.1 christos } 124 1.1 christos 125 1.1 christos assert_true(b->length - last_length >= 10000 * 1); 126 1.1 christos last_length += 10000 * 1; 127 1.1 christos 128 1.1 christos for (i = 0; i < 10000; i++) { 129 1.1 christos isc_buffer_putuint16(b, 1); 130 1.1 christos } 131 1.1 christos 132 1.1 christos assert_true(b->length - last_length >= 10000 * 2); 133 1.1 christos 134 1.1 christos for (i = 0; i < 10000; i++) { 135 1.1 christos isc_buffer_putuint32(b, 1); 136 1.1 christos } 137 1.1 christos assert_true(b->length - last_length >= 10000 * 4); 138 1.1 christos 139 1.1 christos isc_buffer_free(&b); 140 1.1 christos } 141 1.1 christos 142 1.1 christos /* copy a region into a buffer */ 143 1.1 christos ISC_RUN_TEST_IMPL(isc_buffer_copyregion) { 144 1.1 christos unsigned char data[] = { 0x11, 0x22, 0x33, 0x44 }; 145 1.1 christos isc_buffer_t *b = NULL; 146 1.1 christos isc_result_t result; 147 1.1 christos 148 1.1 christos isc_region_t r = { 149 1.1 christos .base = data, 150 1.1 christos .length = sizeof(data), 151 1.1 christos }; 152 1.1 christos 153 1.1 christos UNUSED(state); 154 1.1 christos 155 1.1 christos isc_buffer_allocate(mctx, &b, sizeof(data)); 156 1.1 christos 157 1.1 christos /* 158 1.1 christos * Fill originally allocated buffer space. 159 1.1 christos */ 160 1.1 christos result = isc_buffer_copyregion(b, &r); 161 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 162 1.1 christos 163 1.1 christos /* 164 1.3 christos * Appending should succeed. 165 1.1 christos */ 166 1.1 christos result = isc_buffer_copyregion(b, &r); 167 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 168 1.1 christos 169 1.1 christos isc_buffer_free(&b); 170 1.1 christos } 171 1.1 christos 172 1.1 christos /* sprintf() into a buffer */ 173 1.1 christos ISC_RUN_TEST_IMPL(isc_buffer_printf) { 174 1.1 christos unsigned int used, prev_used; 175 1.1 christos const char *empty_fmt; 176 1.1 christos isc_result_t result; 177 1.1 christos isc_buffer_t *b, sb; 178 1.1 christos char buf[8]; 179 1.1 christos 180 1.1 christos UNUSED(state); 181 1.1 christos 182 1.1 christos /* 183 1.1 christos * Prepare a buffer with auto-reallocation enabled. 184 1.1 christos */ 185 1.1 christos b = NULL; 186 1.1 christos isc_buffer_allocate(mctx, &b, 0); 187 1.1 christos 188 1.1 christos /* 189 1.1 christos * Sanity check. 190 1.1 christos */ 191 1.1 christos result = isc_buffer_printf(b, "foo"); 192 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 193 1.1 christos used = isc_buffer_usedlength(b); 194 1.1 christos assert_int_equal(used, 3); 195 1.1 christos 196 1.1 christos result = isc_buffer_printf(b, "bar"); 197 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 198 1.1 christos used = isc_buffer_usedlength(b); 199 1.1 christos assert_int_equal(used, 3 + 3); 200 1.1 christos 201 1.1 christos /* 202 1.1 christos * Also check the terminating NULL byte is there, even though it is not 203 1.1 christos * part of the buffer's used region. 204 1.1 christos */ 205 1.1 christos assert_memory_equal(isc_buffer_current(b), "foobar", 7); 206 1.1 christos 207 1.1 christos /* 208 1.1 christos * Skip over data from previous check to prevent failures in previous 209 1.1 christos * check from affecting this one. 210 1.1 christos */ 211 1.1 christos prev_used = used; 212 1.1 christos isc_buffer_forward(b, prev_used); 213 1.1 christos 214 1.1 christos /* 215 1.1 christos * Some standard usage checks. 216 1.1 christos */ 217 1.1 christos isc_buffer_printf(b, "%d", 42); 218 1.1 christos used = isc_buffer_usedlength(b); 219 1.1 christos assert_int_equal(used - prev_used, 2); 220 1.1 christos 221 1.1 christos isc_buffer_printf(b, "baz%1X", 42); 222 1.1 christos used = isc_buffer_usedlength(b); 223 1.1 christos assert_int_equal(used - prev_used, 2 + 5); 224 1.1 christos 225 1.1 christos isc_buffer_printf(b, "%6.1f", 42.42f); 226 1.1 christos used = isc_buffer_usedlength(b); 227 1.1 christos assert_int_equal(used - prev_used, 2 + 5 + 6); 228 1.1 christos 229 1.1 christos /* 230 1.1 christos * Also check the terminating NULL byte is there, even though it is not 231 1.1 christos * part of the buffer's used region. 232 1.1 christos */ 233 1.1 christos assert_memory_equal(isc_buffer_current(b), "42baz2A 42.4", 14); 234 1.1 christos 235 1.1 christos /* 236 1.1 christos * Check an empty format string is properly handled. 237 1.1 christos * 238 1.1 christos * Note: we don't use a string literal for the format string to 239 1.1 christos * avoid triggering [-Werror=format-zero-length]. 240 1.1 christos * Note: we have a dummy third argument as some compilers complain 241 1.1 christos * without it. 242 1.1 christos */ 243 1.1 christos prev_used = used; 244 1.1 christos empty_fmt = ""; 245 1.1 christos result = isc_buffer_printf(b, empty_fmt, ""); 246 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 247 1.1 christos used = isc_buffer_usedlength(b); 248 1.1 christos assert_int_equal(prev_used, used); 249 1.1 christos 250 1.1 christos isc_buffer_free(&b); 251 1.1 christos 252 1.1 christos /* 253 1.1 christos * Check overflow on a static buffer. 254 1.1 christos */ 255 1.1 christos isc_buffer_init(&sb, buf, sizeof(buf)); 256 1.1 christos result = isc_buffer_printf(&sb, "123456"); 257 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 258 1.1 christos used = isc_buffer_usedlength(&sb); 259 1.1 christos assert_int_equal(used, 6); 260 1.1 christos 261 1.1 christos result = isc_buffer_printf(&sb, "789"); 262 1.1 christos assert_int_equal(result, ISC_R_NOSPACE); 263 1.1 christos used = isc_buffer_usedlength(&sb); 264 1.1 christos assert_int_equal(used, 6); 265 1.1 christos 266 1.1 christos result = isc_buffer_printf(&sb, "78"); 267 1.1 christos assert_int_equal(result, ISC_R_NOSPACE); 268 1.1 christos used = isc_buffer_usedlength(&sb); 269 1.1 christos assert_int_equal(used, 6); 270 1.1 christos 271 1.1 christos result = isc_buffer_printf(&sb, "7"); 272 1.1 christos assert_int_equal(result, ISC_R_SUCCESS); 273 1.1 christos used = isc_buffer_usedlength(&sb); 274 1.1 christos assert_int_equal(used, 7); 275 1.1 christos } 276 1.1 christos 277 1.1 christos ISC_TEST_LIST_START 278 1.1 christos 279 1.1 christos ISC_TEST_ENTRY(isc_buffer_reserve) 280 1.1 christos ISC_TEST_ENTRY(isc_buffer_dynamic) 281 1.1 christos ISC_TEST_ENTRY(isc_buffer_copyregion) 282 1.1 christos ISC_TEST_ENTRY(isc_buffer_printf) 283 1.1 christos 284 1.1 christos ISC_TEST_LIST_END 285 1.1 christos 286 1.1 christos ISC_TEST_MAIN 287