1 1.2 rillig /* $NetBSD: t_strpct.c,v 1.2 2025/05/03 07:22:52 rillig Exp $ */ 2 1.1 rillig 3 1.1 rillig /* 4 1.1 rillig * Copyright (c) 2025 The NetBSD Foundation, Inc. 5 1.1 rillig * All rights reserved. 6 1.1 rillig * 7 1.1 rillig * This code was contributed to The NetBSD Foundation by Roland Illig. 8 1.1 rillig * 9 1.1 rillig * Redistribution and use in source and binary forms, with or without 10 1.1 rillig * modification, are permitted provided that the following conditions 11 1.1 rillig * are met: 12 1.1 rillig * 1. Redistributions of source code must retain the above copyright 13 1.1 rillig * notice, this list of conditions and the following disclaimer. 14 1.1 rillig * 2. Redistributions in binary form must reproduce the above copyright 15 1.1 rillig * notice, this list of conditions and the following disclaimer in the 16 1.1 rillig * documentation and/or other materials provided with the distribution. 17 1.1 rillig * 18 1.1 rillig * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 19 1.1 rillig * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 20 1.1 rillig * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 21 1.1 rillig * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 22 1.1 rillig * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 23 1.1 rillig * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 24 1.1 rillig * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 25 1.1 rillig * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 26 1.1 rillig * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 27 1.1 rillig * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 28 1.1 rillig * POSSIBILITY OF SUCH DAMAGE. 29 1.1 rillig */ 30 1.1 rillig 31 1.1 rillig #include <sys/cdefs.h> 32 1.1 rillig __COPYRIGHT("@(#) Copyright (c) 2025\ 33 1.1 rillig The NetBSD Foundation, inc. All rights reserved."); 34 1.2 rillig __RCSID("$NetBSD: t_strpct.c,v 1.2 2025/05/03 07:22:52 rillig Exp $"); 35 1.1 rillig 36 1.1 rillig #include <stdbool.h> 37 1.1 rillig #include <stdint.h> 38 1.1 rillig #include <stdio.h> 39 1.1 rillig #include <string.h> 40 1.1 rillig #include <util.h> 41 1.1 rillig 42 1.1 rillig #include <atf-c.h> 43 1.1 rillig 44 1.1 rillig static void 45 1.1 rillig check_strspct(const char *file, unsigned line, 46 1.1 rillig size_t bufsiz, intmax_t num, intmax_t den, size_t digits, 47 1.1 rillig const char *want) 48 1.1 rillig { 49 1.1 rillig char buf[128]; 50 1.1 rillig 51 1.1 rillig ATF_REQUIRE_MSG(bufsiz < sizeof(buf) - 2, "bufsiz too large"); 52 1.1 rillig memset(buf, '>', sizeof(buf)); 53 1.1 rillig buf[0] = '<'; 54 1.1 rillig buf[sizeof(buf) - 1] = '\0'; 55 1.1 rillig 56 1.1 rillig const char *have = strspct(buf + 1, bufsiz, num, den, digits); 57 1.1 rillig 58 1.1 rillig ATF_REQUIRE_MSG(buf[0] == '<', 59 1.1 rillig "out-of-bounds write before"); 60 1.1 rillig ATF_REQUIRE_MSG(buf[1 + bufsiz] == '>', 61 1.1 rillig "out-of-bounds write after"); 62 1.1 rillig ATF_REQUIRE_MSG(have == buf + 1, 63 1.1 rillig "have != buf"); 64 1.1 rillig ATF_CHECK_MSG(bufsiz > 0 ? strcmp(have, want) == 0 : true, 65 1.1 rillig "%s:%u: want \"%s\", have \"%s\"", 66 1.1 rillig file, line, want, have); 67 1.1 rillig } 68 1.1 rillig 69 1.1 rillig #define h_strspct(bufsiz, num, den, digits, want) \ 70 1.1 rillig check_strspct(__FILE__, __LINE__, bufsiz, num, den, digits, want) 71 1.1 rillig 72 1.2 rillig static void 73 1.2 rillig check_strpct(const char *file, unsigned line, 74 1.2 rillig size_t bufsiz, uintmax_t num, uintmax_t den, size_t digits, 75 1.2 rillig const char *want) 76 1.2 rillig { 77 1.2 rillig char buf[128]; 78 1.2 rillig 79 1.2 rillig ATF_REQUIRE_MSG(bufsiz < sizeof(buf) - 2, "bufsiz too large"); 80 1.2 rillig memset(buf, '>', sizeof(buf)); 81 1.2 rillig buf[0] = '<'; 82 1.2 rillig buf[sizeof(buf) - 1] = '\0'; 83 1.2 rillig 84 1.2 rillig const char *have = strpct(buf + 1, bufsiz, num, den, digits); 85 1.2 rillig 86 1.2 rillig ATF_REQUIRE_MSG(buf[0] == '<', 87 1.2 rillig "out-of-bounds write before"); 88 1.2 rillig ATF_REQUIRE_MSG(buf[1 + bufsiz] == '>', 89 1.2 rillig "out-of-bounds write after"); 90 1.2 rillig ATF_REQUIRE_MSG(have == buf + 1, 91 1.2 rillig "have != buf"); 92 1.2 rillig ATF_CHECK_MSG(bufsiz > 0 ? strcmp(have, want) == 0 : true, 93 1.2 rillig "%s:%u: want \"%s\", have \"%s\"", 94 1.2 rillig file, line, want, have); 95 1.2 rillig } 96 1.2 rillig 97 1.2 rillig #define h_strpct(bufsiz, num, den, digits, want) \ 98 1.2 rillig check_strpct(__FILE__, __LINE__, bufsiz, num, den, digits, want) 99 1.2 rillig 100 1.1 rillig ATF_TC(strspct); 101 1.1 rillig ATF_TC_HEAD(strspct, tc) 102 1.1 rillig { 103 1.1 rillig atf_tc_set_md_var(tc, "descr", "Checks strspct(3)"); 104 1.1 rillig } 105 1.1 rillig ATF_TC_BODY(strspct, tc) 106 1.1 rillig { 107 1.1 rillig 108 1.2 rillig // Very small buffers. 109 1.1 rillig h_strspct(0, 0, 0, 0, ""); 110 1.1 rillig h_strspct(1, 0, 0, 0, ""); 111 1.2 rillig 112 1.2 rillig // Small buffers. 113 1.2 rillig h_strspct(2, 1, 40, 0, "2"); 114 1.2 rillig h_strspct(3, 1, 40, 0, "2"); 115 1.2 rillig h_strspct(3, 1, 40, 1, "2."); 116 1.2 rillig h_strspct(4, 1, 40, 1, "2.5"); 117 1.2 rillig h_strspct(4, 8, 40, 1, "20."); 118 1.2 rillig h_strspct(6, 1, 5, 1, "20.0"); 119 1.1 rillig h_strspct(100, 1, 5, 5, "20.00000"); 120 1.2 rillig h_strspct( 5, 11223344, 100, 10, "1122"); 121 1.2 rillig h_strspct(10, 11223344, 100, 10, "11223344."); 122 1.2 rillig h_strspct(11, 11223344, 100, 10, "11223344.0"); 123 1.2 rillig 124 1.2 rillig // Small buffers with negative numbers. 125 1.2 rillig h_strspct(1, -1, 40, 0, ""); 126 1.2 rillig h_strspct(2, -1, 40, 0, "-"); 127 1.2 rillig h_strspct(3, -1, 40, 0, "-2"); 128 1.2 rillig h_strspct(3, -1, 40, 1, "-2"); 129 1.2 rillig h_strspct(4, -1, 40, 1, "-2."); 130 1.2 rillig h_strspct(5, -1, 40, 1, "-2.5"); 131 1.2 rillig h_strspct(4, -8, 40, 1, "-20"); 132 1.2 rillig h_strspct(5, -8, 40, 1, "-20."); 133 1.2 rillig h_strspct(6, -1, 5, 1, "-20.0"); 134 1.2 rillig h_strspct(100, -1, 5, 5, "-20.00000"); 135 1.2 rillig h_strspct( 5, -11223344, 100, 10, "-112"); 136 1.2 rillig h_strspct(10, -11223344, 100, 10, "-11223344"); 137 1.2 rillig h_strspct(11, -11223344, 100, 10, "-11223344."); 138 1.2 rillig h_strspct(12, -11223344, 100, 10, "-11223344.0"); 139 1.1 rillig 140 1.1 rillig // Percentages are always rounded towards zero. 141 1.1 rillig h_strspct(6, 1, 6, 1, "16.6"); 142 1.1 rillig h_strspct(7, -1, 6, 1, "-16.6"); 143 1.1 rillig h_strspct(7, 1, -6, 1, "-16.6"); 144 1.1 rillig h_strspct(7, -1, -6, 1, "16.6"); 145 1.2 rillig h_strspct(100, 1, 7, 20, "14.28571428571428571428"); 146 1.2 rillig 147 1.2 rillig // Big numbers. 148 1.2 rillig h_strspct(100, INTMAX_MAX, INTMAX_MAX, 0, "100"); 149 1.2 rillig h_strspct(100, INTMAX_MIN, INTMAX_MIN, 25, "100.0000000000000000000000000"); 150 1.2 rillig h_strspct(100, INTMAX_MIN, INTMAX_MAX, 25, "-100.0000000000000000108420217"); 151 1.2 rillig h_strspct(100, INTMAX_MAX, INTMAX_MIN, 25, "-99.9999999999999999891579782"); 152 1.2 rillig h_strspct(100, INTMAX_MAX, INTMAX_MAX, 25, "100.0000000000000000000000000"); 153 1.2 rillig } 154 1.2 rillig 155 1.2 rillig ATF_TC(strpct); 156 1.2 rillig ATF_TC_HEAD(strpct, tc) 157 1.2 rillig { 158 1.2 rillig atf_tc_set_md_var(tc, "descr", "Checks strpct(3)"); 159 1.2 rillig } 160 1.2 rillig ATF_TC_BODY(strpct, tc) 161 1.2 rillig { 162 1.1 rillig 163 1.2 rillig // Small buffers. 164 1.2 rillig h_strpct(0, 0, 0, 0, ""); 165 1.2 rillig h_strpct(1, 0, 0, 0, ""); 166 1.2 rillig h_strpct(2, 0, 0, 0, "0"); 167 1.2 rillig h_strpct(3, 0, 0, 0, "0"); 168 1.2 rillig h_strpct(3, 0, 0, 1, "0."); 169 1.2 rillig h_strpct(4, 0, 0, 1, "0.0"); 170 1.2 rillig h_strpct(4, 1, 5, 1, "20."); 171 1.2 rillig h_strpct(6, 1, 5, 1, "20.0"); 172 1.2 rillig h_strpct(100, 1, 5, 5, "20.00000"); 173 1.2 rillig 174 1.2 rillig h_strpct(100, 1, 7, 20, "14.28571428571428571428"); 175 1.2 rillig 176 1.2 rillig h_strpct( 5, 11223344, 100, 10, "1122"); 177 1.2 rillig h_strpct(10, 11223344, 100, 10, "11223344."); 178 1.2 rillig h_strpct(11, 11223344, 100, 10, "11223344.0"); 179 1.2 rillig 180 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 0, "100"); 181 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 1, "100.0"); 182 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 5, "100.00000"); 183 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 10, "100.0000000000"); 184 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 15, "100.000000000000000"); 185 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 20, "100.00000000000000000000"); 186 1.2 rillig h_strpct(100, UINTMAX_MAX, UINTMAX_MAX, 25, "100.0000000000000000000000000"); 187 1.2 rillig 188 1.2 rillig h_strpct(100, UINTMAX_MAX - 1, UINTMAX_MAX, 25, "99.9999999999999999945789891"); 189 1.2 rillig h_strpct(100, 1, (UINTMAX_MAX >> 1) + 1, 70, 190 1.2 rillig "0.0000000000000000108420217248550443400745280086994171142578125000000000"); 191 1.2 rillig h_strpct(100, UINTMAX_MAX, 1, 10, "1844674407370955161500.0000000000"); 192 1.2 rillig h_strpct(100, 1, UINTMAX_MAX, 30, "0.000000000000000005421010862427"); 193 1.1 rillig } 194 1.1 rillig 195 1.1 rillig ATF_TP_ADD_TCS(tp) 196 1.1 rillig { 197 1.1 rillig 198 1.1 rillig ATF_TP_ADD_TC(tp, strspct); 199 1.2 rillig ATF_TP_ADD_TC(tp, strpct); 200 1.1 rillig 201 1.1 rillig return atf_no_error(); 202 1.1 rillig } 203