| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | * Copyright 2016-2020 The OpenSSL Project Authors. All Rights Reserved. | 
|  | 3 | * | 
|  | 4 | * Licensed under the OpenSSL license (the "License").  You may not use | 
|  | 5 | * this file except in compliance with the License.  You can obtain a copy | 
|  | 6 | * in the file LICENSE in the source distribution or at | 
|  | 7 | * https://www.openssl.org/source/license.html | 
|  | 8 | */ | 
|  | 9 |  | 
|  | 10 | #define TESTUTIL_NO_size_t_COMPARISON | 
|  | 11 |  | 
|  | 12 | #include <stdio.h> | 
|  | 13 | #include <string.h> | 
|  | 14 | #include <openssl/bio.h> | 
|  | 15 | #include "internal/numbers.h" | 
|  | 16 | #include "testutil.h" | 
|  | 17 | #include "testutil/output.h" | 
|  | 18 |  | 
|  | 19 | #define nelem(x) (int)(sizeof(x) / sizeof((x)[0])) | 
|  | 20 |  | 
|  | 21 | static int justprint = 0; | 
|  | 22 |  | 
|  | 23 | static char *fpexpected[][10][5] = { | 
|  | 24 | { | 
|  | 25 | /*  00 */ { "0.0000e+00", "0.0000", "0", "0.0000E+00", "0" }, | 
|  | 26 | /*  01 */ { "6.7000e-01", "0.6700", "0.67", "6.7000E-01", "0.67" }, | 
|  | 27 | /*  02 */ { "6.6667e-01", "0.6667", "0.6667", "6.6667E-01", "0.6667" }, | 
|  | 28 | /*  03 */ { "6.6667e-04", "0.0007", "0.0006667", "6.6667E-04", "0.0006667" }, | 
|  | 29 | /*  04 */ { "6.6667e-05", "0.0001", "6.667e-05", "6.6667E-05", "6.667E-05" }, | 
|  | 30 | /*  05 */ { "6.6667e+00", "6.6667", "6.667", "6.6667E+00", "6.667" }, | 
|  | 31 | /*  06 */ { "6.6667e+01", "66.6667", "66.67", "6.6667E+01", "66.67" }, | 
|  | 32 | /*  07 */ { "6.6667e+02", "666.6667", "666.7", "6.6667E+02", "666.7" }, | 
|  | 33 | /*  08 */ { "6.6667e+03", "6666.6667", "6667", "6.6667E+03", "6667" }, | 
|  | 34 | /*  09 */ { "6.6667e+04", "66666.6667", "6.667e+04", "6.6667E+04", "6.667E+04" }, | 
|  | 35 | }, | 
|  | 36 | { | 
|  | 37 | /*  10 */ { "0.00000e+00", "0.00000", "0", "0.00000E+00", "0" }, | 
|  | 38 | /*  11 */ { "6.70000e-01", "0.67000", "0.67", "6.70000E-01", "0.67" }, | 
|  | 39 | /*  12 */ { "6.66667e-01", "0.66667", "0.66667", "6.66667E-01", "0.66667" }, | 
|  | 40 | /*  13 */ { "6.66667e-04", "0.00067", "0.00066667", "6.66667E-04", "0.00066667" }, | 
|  | 41 | /*  14 */ { "6.66667e-05", "0.00007", "6.6667e-05", "6.66667E-05", "6.6667E-05" }, | 
|  | 42 | /*  15 */ { "6.66667e+00", "6.66667", "6.6667", "6.66667E+00", "6.6667" }, | 
|  | 43 | /*  16 */ { "6.66667e+01", "66.66667", "66.667", "6.66667E+01", "66.667" }, | 
|  | 44 | /*  17 */ { "6.66667e+02", "666.66667", "666.67", "6.66667E+02", "666.67" }, | 
|  | 45 | /*  18 */ { "6.66667e+03", "6666.66667", "6666.7", "6.66667E+03", "6666.7" }, | 
|  | 46 | /*  19 */ { "6.66667e+04", "66666.66667", "66667", "6.66667E+04", "66667" }, | 
|  | 47 | }, | 
|  | 48 | { | 
|  | 49 | /*  20 */ { "  0.0000e+00", "      0.0000", "           0", "  0.0000E+00", "           0" }, | 
|  | 50 | /*  21 */ { "  6.7000e-01", "      0.6700", "        0.67", "  6.7000E-01", "        0.67" }, | 
|  | 51 | /*  22 */ { "  6.6667e-01", "      0.6667", "      0.6667", "  6.6667E-01", "      0.6667" }, | 
|  | 52 | /*  23 */ { "  6.6667e-04", "      0.0007", "   0.0006667", "  6.6667E-04", "   0.0006667" }, | 
|  | 53 | /*  24 */ { "  6.6667e-05", "      0.0001", "   6.667e-05", "  6.6667E-05", "   6.667E-05" }, | 
|  | 54 | /*  25 */ { "  6.6667e+00", "      6.6667", "       6.667", "  6.6667E+00", "       6.667" }, | 
|  | 55 | /*  26 */ { "  6.6667e+01", "     66.6667", "       66.67", "  6.6667E+01", "       66.67" }, | 
|  | 56 | /*  27 */ { "  6.6667e+02", "    666.6667", "       666.7", "  6.6667E+02", "       666.7" }, | 
|  | 57 | /*  28 */ { "  6.6667e+03", "   6666.6667", "        6667", "  6.6667E+03", "        6667" }, | 
|  | 58 | /*  29 */ { "  6.6667e+04", "  66666.6667", "   6.667e+04", "  6.6667E+04", "   6.667E+04" }, | 
|  | 59 | }, | 
|  | 60 | { | 
|  | 61 | /*  30 */ { " 0.00000e+00", "     0.00000", "           0", " 0.00000E+00", "           0" }, | 
|  | 62 | /*  31 */ { " 6.70000e-01", "     0.67000", "        0.67", " 6.70000E-01", "        0.67" }, | 
|  | 63 | /*  32 */ { " 6.66667e-01", "     0.66667", "     0.66667", " 6.66667E-01", "     0.66667" }, | 
|  | 64 | /*  33 */ { " 6.66667e-04", "     0.00067", "  0.00066667", " 6.66667E-04", "  0.00066667" }, | 
|  | 65 | /*  34 */ { " 6.66667e-05", "     0.00007", "  6.6667e-05", " 6.66667E-05", "  6.6667E-05" }, | 
|  | 66 | /*  35 */ { " 6.66667e+00", "     6.66667", "      6.6667", " 6.66667E+00", "      6.6667" }, | 
|  | 67 | /*  36 */ { " 6.66667e+01", "    66.66667", "      66.667", " 6.66667E+01", "      66.667" }, | 
|  | 68 | /*  37 */ { " 6.66667e+02", "   666.66667", "      666.67", " 6.66667E+02", "      666.67" }, | 
|  | 69 | /*  38 */ { " 6.66667e+03", "  6666.66667", "      6666.7", " 6.66667E+03", "      6666.7" }, | 
|  | 70 | /*  39 */ { " 6.66667e+04", " 66666.66667", "       66667", " 6.66667E+04", "       66667" }, | 
|  | 71 | }, | 
|  | 72 | { | 
|  | 73 | /*  40 */ { "0e+00", "0", "0", "0E+00", "0" }, | 
|  | 74 | /*  41 */ { "7e-01", "1", "0.7", "7E-01", "0.7" }, | 
|  | 75 | /*  42 */ { "7e-01", "1", "0.7", "7E-01", "0.7" }, | 
|  | 76 | /*  43 */ { "7e-04", "0", "0.0007", "7E-04", "0.0007" }, | 
|  | 77 | /*  44 */ { "7e-05", "0", "7e-05", "7E-05", "7E-05" }, | 
|  | 78 | /*  45 */ { "7e+00", "7", "7", "7E+00", "7" }, | 
|  | 79 | /*  46 */ { "7e+01", "67", "7e+01", "7E+01", "7E+01" }, | 
|  | 80 | /*  47 */ { "7e+02", "667", "7e+02", "7E+02", "7E+02" }, | 
|  | 81 | /*  48 */ { "7e+03", "6667", "7e+03", "7E+03", "7E+03" }, | 
|  | 82 | /*  49 */ { "7e+04", "66667", "7e+04", "7E+04", "7E+04" }, | 
|  | 83 | }, | 
|  | 84 | { | 
|  | 85 | /*  50 */ { "0.000000e+00", "0.000000", "0", "0.000000E+00", "0" }, | 
|  | 86 | /*  51 */ { "6.700000e-01", "0.670000", "0.67", "6.700000E-01", "0.67" }, | 
|  | 87 | /*  52 */ { "6.666667e-01", "0.666667", "0.666667", "6.666667E-01", "0.666667" }, | 
|  | 88 | /*  53 */ { "6.666667e-04", "0.000667", "0.000666667", "6.666667E-04", "0.000666667" }, | 
|  | 89 | /*  54 */ { "6.666667e-05", "0.000067", "6.66667e-05", "6.666667E-05", "6.66667E-05" }, | 
|  | 90 | /*  55 */ { "6.666667e+00", "6.666667", "6.66667", "6.666667E+00", "6.66667" }, | 
|  | 91 | /*  56 */ { "6.666667e+01", "66.666667", "66.6667", "6.666667E+01", "66.6667" }, | 
|  | 92 | /*  57 */ { "6.666667e+02", "666.666667", "666.667", "6.666667E+02", "666.667" }, | 
|  | 93 | /*  58 */ { "6.666667e+03", "6666.666667", "6666.67", "6.666667E+03", "6666.67" }, | 
|  | 94 | /*  59 */ { "6.666667e+04", "66666.666667", "66666.7", "6.666667E+04", "66666.7" }, | 
|  | 95 | }, | 
|  | 96 | { | 
|  | 97 | /*  60 */ { "0.0000e+00", "000.0000", "00000000", "0.0000E+00", "00000000" }, | 
|  | 98 | /*  61 */ { "6.7000e-01", "000.6700", "00000.67", "6.7000E-01", "00000.67" }, | 
|  | 99 | /*  62 */ { "6.6667e-01", "000.6667", "000.6667", "6.6667E-01", "000.6667" }, | 
|  | 100 | /*  63 */ { "6.6667e-04", "000.0007", "0.0006667", "6.6667E-04", "0.0006667" }, | 
|  | 101 | /*  64 */ { "6.6667e-05", "000.0001", "6.667e-05", "6.6667E-05", "6.667E-05" }, | 
|  | 102 | /*  65 */ { "6.6667e+00", "006.6667", "0006.667", "6.6667E+00", "0006.667" }, | 
|  | 103 | /*  66 */ { "6.6667e+01", "066.6667", "00066.67", "6.6667E+01", "00066.67" }, | 
|  | 104 | /*  67 */ { "6.6667e+02", "666.6667", "000666.7", "6.6667E+02", "000666.7" }, | 
|  | 105 | /*  68 */ { "6.6667e+03", "6666.6667", "00006667", "6.6667E+03", "00006667" }, | 
|  | 106 | /*  69 */ { "6.6667e+04", "66666.6667", "6.667e+04", "6.6667E+04", "6.667E+04" }, | 
|  | 107 | }, | 
|  | 108 | }; | 
|  | 109 |  | 
|  | 110 | typedef struct z_data_st { | 
|  | 111 | size_t value; | 
|  | 112 | const char *format; | 
|  | 113 | const char *expected; | 
|  | 114 | } z_data; | 
|  | 115 |  | 
|  | 116 | static z_data zu_data[] = { | 
|  | 117 | { SIZE_MAX, "%zu", (sizeof(size_t) == 4 ? "4294967295" | 
|  | 118 | : sizeof(size_t) == 8 ? "18446744073709551615" | 
|  | 119 | : "") }, | 
|  | 120 | /* | 
|  | 121 | * in 2-complement, the unsigned number divided by two plus one becomes the | 
|  | 122 | * smallest possible negative signed number of the corresponding type | 
|  | 123 | */ | 
|  | 124 | { SIZE_MAX / 2 + 1, "%zi", (sizeof(size_t) == 4 ? "-2147483648" | 
|  | 125 | : sizeof(size_t) == 8 ? "-9223372036854775808" | 
|  | 126 | : "") }, | 
|  | 127 | { 0, "%zu", "0" }, | 
|  | 128 | { 0, "%zi", "0" }, | 
|  | 129 | }; | 
|  | 130 |  | 
|  | 131 | static int test_zu(int i) | 
|  | 132 | { | 
|  | 133 | char bio_buf[80]; | 
|  | 134 | const z_data *data = &zu_data[i]; | 
|  | 135 |  | 
|  | 136 | BIO_snprintf(bio_buf, sizeof(bio_buf) - 1, data->format, data->value); | 
|  | 137 | if (!TEST_str_eq(bio_buf, data->expected)) | 
|  | 138 | return 0; | 
|  | 139 | return 1; | 
|  | 140 | } | 
|  | 141 |  | 
|  | 142 | typedef struct j_data_st { | 
|  | 143 | uint64_t value; | 
|  | 144 | const char *format; | 
|  | 145 | const char *expected; | 
|  | 146 | } j_data; | 
|  | 147 |  | 
|  | 148 | static j_data jf_data[] = { | 
|  | 149 | { 0xffffffffffffffffULL, "%ju", "18446744073709551615" }, | 
|  | 150 | { 0xffffffffffffffffULL, "%jx", "ffffffffffffffff" }, | 
|  | 151 | { 0x8000000000000000ULL, "%ju", "9223372036854775808" }, | 
|  | 152 | /* | 
|  | 153 | * These tests imply two's-complement, but it's the only binary | 
|  | 154 | * representation we support, see test/sanitytest.c... | 
|  | 155 | */ | 
|  | 156 | { 0x8000000000000000ULL, "%ji", "-9223372036854775808" }, | 
|  | 157 | }; | 
|  | 158 |  | 
|  | 159 | static int test_j(int i) | 
|  | 160 | { | 
|  | 161 | const j_data *data = &jf_data[i]; | 
|  | 162 | char bio_buf[80]; | 
|  | 163 |  | 
|  | 164 | BIO_snprintf(bio_buf, sizeof(bio_buf) - 1, data->format, data->value); | 
|  | 165 | if (!TEST_str_eq(bio_buf, data->expected)) | 
|  | 166 | return 0; | 
|  | 167 | return 1; | 
|  | 168 | } | 
|  | 169 |  | 
|  | 170 |  | 
|  | 171 | /* Precision and width. */ | 
|  | 172 | typedef struct pw_st { | 
|  | 173 | int p; | 
|  | 174 | const char *w; | 
|  | 175 | } pw; | 
|  | 176 |  | 
|  | 177 | static pw pw_params[] = { | 
|  | 178 | { 4, "" }, | 
|  | 179 | { 5, "" }, | 
|  | 180 | { 4, "12" }, | 
|  | 181 | { 5, "12" }, | 
|  | 182 | { 0, "" }, | 
|  | 183 | { -1, "" }, | 
|  | 184 | { 4, "08" } | 
|  | 185 | }; | 
|  | 186 |  | 
|  | 187 | static int dofptest(int test, int sub, double val, const char *width, int prec) | 
|  | 188 | { | 
|  | 189 | static const char *fspecs[] = { | 
|  | 190 | "e", "f", "g", "E", "G" | 
|  | 191 | }; | 
|  | 192 | char format[80], result[80]; | 
|  | 193 | int ret = 1, i; | 
|  | 194 |  | 
|  | 195 | for (i = 0; i < nelem(fspecs); i++) { | 
|  | 196 | const char *fspec = fspecs[i]; | 
|  | 197 |  | 
|  | 198 | if (prec >= 0) | 
|  | 199 | BIO_snprintf(format, sizeof(format), "%%%s.%d%s", width, prec, | 
|  | 200 | fspec); | 
|  | 201 | else | 
|  | 202 | BIO_snprintf(format, sizeof(format), "%%%s%s", width, fspec); | 
|  | 203 | BIO_snprintf(result, sizeof(result), format, val); | 
|  | 204 |  | 
|  | 205 | if (justprint) { | 
|  | 206 | if (i == 0) | 
|  | 207 | printf("    /*  %d%d */ { \"%s\"", test, sub, result); | 
|  | 208 | else | 
|  | 209 | printf(", \"%s\"", result); | 
|  | 210 | } else if (!TEST_str_eq(fpexpected[test][sub][i], result)) { | 
|  | 211 | TEST_info("test %d format=|%s| exp=|%s|, ret=|%s|", | 
|  | 212 | test, format, fpexpected[test][sub][i], result); | 
|  | 213 | ret = 0; | 
|  | 214 | } | 
|  | 215 | } | 
|  | 216 | if (justprint) | 
|  | 217 | printf(" },\n"); | 
|  | 218 | return ret; | 
|  | 219 | } | 
|  | 220 |  | 
|  | 221 | static int test_fp(int i) | 
|  | 222 | { | 
|  | 223 | int t = 0, r; | 
|  | 224 | const double frac = 2.0 / 3.0; | 
|  | 225 | const pw *pwp = &pw_params[i]; | 
|  | 226 |  | 
|  | 227 | if (justprint) | 
|  | 228 | printf("    {\n"); | 
|  | 229 | r = TEST_true(dofptest(i, t++, 0.0, pwp->w, pwp->p)) | 
|  | 230 | && TEST_true(dofptest(i, t++, 0.67, pwp->w, pwp->p)) | 
|  | 231 | && TEST_true(dofptest(i, t++, frac, pwp->w, pwp->p)) | 
|  | 232 | && TEST_true(dofptest(i, t++, frac / 1000, pwp->w, pwp->p)) | 
|  | 233 | && TEST_true(dofptest(i, t++, frac / 10000, pwp->w, pwp->p)) | 
|  | 234 | && TEST_true(dofptest(i, t++, 6.0 + frac, pwp->w, pwp->p)) | 
|  | 235 | && TEST_true(dofptest(i, t++, 66.0 + frac, pwp->w, pwp->p)) | 
|  | 236 | && TEST_true(dofptest(i, t++, 666.0 + frac, pwp->w, pwp->p)) | 
|  | 237 | && TEST_true(dofptest(i, t++, 6666.0 + frac, pwp->w, pwp->p)) | 
|  | 238 | && TEST_true(dofptest(i, t++, 66666.0 + frac, pwp->w, pwp->p)); | 
|  | 239 | if (justprint) | 
|  | 240 | printf("    },\n"); | 
|  | 241 | return r; | 
|  | 242 | } | 
|  | 243 |  | 
|  | 244 | static int test_big(void) | 
|  | 245 | { | 
|  | 246 | char buf[80]; | 
|  | 247 |  | 
|  | 248 | /* Test excessively big number. Should fail */ | 
|  | 249 | if (!TEST_int_eq(BIO_snprintf(buf, sizeof(buf), | 
|  | 250 | "%f\n", 2 * (double)ULONG_MAX), -1)) | 
|  | 251 | return 0; | 
|  | 252 |  | 
|  | 253 | return 1; | 
|  | 254 | } | 
|  | 255 |  | 
|  | 256 |  | 
|  | 257 | int setup_tests(void) | 
|  | 258 | { | 
|  | 259 | justprint = test_has_option("-expected"); | 
|  | 260 |  | 
|  | 261 | ADD_TEST(test_big); | 
|  | 262 | ADD_ALL_TESTS(test_fp, nelem(pw_params)); | 
|  | 263 | ADD_ALL_TESTS(test_zu, nelem(zu_data)); | 
|  | 264 | ADD_ALL_TESTS(test_j, nelem(jf_data)); | 
|  | 265 | return 1; | 
|  | 266 | } | 
|  | 267 |  | 
|  | 268 | /* | 
|  | 269 | * Replace testutil output routines.  We do this to eliminate possible sources | 
|  | 270 | * of BIO error | 
|  | 271 | */ | 
|  | 272 | void test_open_streams(void) | 
|  | 273 | { | 
|  | 274 | } | 
|  | 275 |  | 
|  | 276 | void test_close_streams(void) | 
|  | 277 | { | 
|  | 278 | } | 
|  | 279 |  | 
|  | 280 | /* | 
|  | 281 | * This works out as long as caller doesn't use any "fancy" formats. | 
|  | 282 | * But we are caller's caller, and test_str_eq is the only one called, | 
|  | 283 | * and it uses only "%s", which is not "fancy"... | 
|  | 284 | */ | 
|  | 285 | int test_vprintf_stdout(const char *fmt, va_list ap) | 
|  | 286 | { | 
|  | 287 | return vfprintf(stdout, fmt, ap); | 
|  | 288 | } | 
|  | 289 |  | 
|  | 290 | int test_vprintf_stderr(const char *fmt, va_list ap) | 
|  | 291 | { | 
|  | 292 | return vfprintf(stderr, fmt, ap); | 
|  | 293 | } | 
|  | 294 |  | 
|  | 295 | int test_flush_stdout(void) | 
|  | 296 | { | 
|  | 297 | return fflush(stdout); | 
|  | 298 | } | 
|  | 299 |  | 
|  | 300 | int test_flush_stderr(void) | 
|  | 301 | { | 
|  | 302 | return fflush(stderr); | 
|  | 303 | } |