Home | History | Annotate | Line # | Download | only in libutil
t_snprintb.c revision 1.36
      1 /* $NetBSD: t_snprintb.c,v 1.36 2024/04/08 21:28:35 rillig Exp $ */
      2 
      3 /*
      4  * Copyright (c) 2002, 2004, 2008, 2010, 2024 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code was contributed to The NetBSD Foundation by Christos Zoulas and
      8  * Roland Illig.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  *
     19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  * POSSIBILITY OF SUCH DAMAGE.
     30  */
     31 
     32 #include <sys/cdefs.h>
     33 __COPYRIGHT("@(#) Copyright (c) 2008, 2010, 2024\
     34  The NetBSD Foundation, inc. All rights reserved.");
     35 __RCSID("$NetBSD: t_snprintb.c,v 1.36 2024/04/08 21:28:35 rillig Exp $");
     36 
     37 #include <stdio.h>
     38 #include <string.h>
     39 #include <util.h>
     40 #include <vis.h>
     41 
     42 #include <atf-c.h>
     43 
     44 static const char *
     45 vis_arr(char *buf, size_t bufsize, const char *arr, size_t arrsize)
     46 {
     47 	ATF_REQUIRE(bufsize >= 2);
     48 	int rv = strnvisx(buf + 1, bufsize - 2, arr, arrsize,
     49 	    VIS_WHITE | VIS_OCTAL);
     50 	ATF_REQUIRE_MSG(rv >= 0, "buffer too small for size %zu", arrsize);
     51 	buf[0] = '"';
     52 	buf[1 + rv] = '"';
     53 	buf[1 + rv + 1] = '\0';
     54 	return buf;
     55 }
     56 
     57 static void
     58 check_snprintb_m(const char *file, size_t line,
     59     size_t bufsize, const char *bitfmt, size_t bitfmtlen, uint64_t val,
     60     size_t line_max,
     61     int want_rv, const char *want_buf, size_t want_bufsize)
     62 {
     63 	char buf[1024], vis_bitfmt[1024], vis_want_buf[1024], vis_buf[1024];
     64 
     65 	ATF_REQUIRE(bufsize <= sizeof(buf));
     66 	ATF_REQUIRE(want_bufsize <= sizeof(buf));
     67 	if (bitfmtlen > 2 && bitfmt[0] == '\177')
     68 		ATF_REQUIRE_MSG(
     69 		    bitfmt[bitfmtlen - 1] == '\0',
     70 		    "%s:%zu: missing trailing '\\0' in new-style bitfmt",
     71 		    file, line);
     72 	if (bufsize == 0)
     73 		want_bufsize = 0;
     74 	memset(buf, 0x5a, sizeof(buf));
     75 
     76 	int rv = snprintb_m(buf, bufsize, bitfmt, val, line_max);
     77 
     78 	size_t have_bufsize = sizeof(buf);
     79 	while (have_bufsize > 0 && buf[have_bufsize - 1] == 0x5a)
     80 		have_bufsize--;
     81 	if (rv > 0 && (unsigned)rv < have_bufsize
     82 	    && buf[rv - 1] == '\0' && buf[rv] == '\0')
     83 		have_bufsize = rv + 1;
     84 	if (rv < 0)
     85 		for (size_t i = have_bufsize; i >= 2; i--)
     86 			if (buf[i - 2] == '\0' && buf[i - 1] == '\0')
     87 				have_bufsize = i;
     88 
     89 	ATF_CHECK_MSG(
     90 	    rv == want_rv
     91 	    && memcmp(buf, want_buf, want_bufsize) == 0
     92 	    && (line_max == 0 || have_bufsize < 2
     93 		|| buf[have_bufsize - 2] == '\0')
     94 	    && (have_bufsize < 1 || buf[have_bufsize - 1] == '\0'),
     95 	    "failed:\n"
     96 	    "\ttest case: %s:%zu\n"
     97 	    "\tformat: %s\n"
     98 	    "\tvalue: %#jx\n"
     99 	    "\tline_max: %zu\n"
    100 	    "\twant: %d bytes %s\n"
    101 	    "\thave: %d bytes %s\n",
    102 	    file, line,
    103 	    vis_arr(vis_bitfmt, sizeof(vis_bitfmt), bitfmt, bitfmtlen),
    104 	    (uintmax_t)val,
    105 	    line_max,
    106 	    want_rv, vis_arr(vis_want_buf, sizeof(vis_want_buf),
    107 		want_buf, want_bufsize),
    108 	    rv, vis_arr(vis_buf, sizeof(vis_buf), buf, have_bufsize));
    109 }
    110 
    111 #define	h_snprintb_m_len(bufsize, bitfmt, val, line_max,		\
    112 	    want_rv, want_buf)						\
    113 	check_snprintb_m(__FILE__, __LINE__,				\
    114 	    bufsize, bitfmt, sizeof(bitfmt) - 1, val, line_max,		\
    115 	    want_rv, want_buf, sizeof(want_buf))
    116 
    117 #define	h_snprintb(bitfmt, val, want_buf)				\
    118 	h_snprintb_m_len(1024, bitfmt, val, 0, sizeof(want_buf) - 1, want_buf)
    119 
    120 #define	h_snprintb_len(bufsize, bitfmt, val, want_rv, want_buf)		\
    121 	h_snprintb_m_len(bufsize, bitfmt, val, 0, want_rv, want_buf)
    122 
    123 #define	h_snprintb_error(bitfmt, want_buf)				\
    124 	h_snprintb_m_len(1024, bitfmt, 0x00, 0, -1, want_buf)
    125 
    126 #define	h_snprintb_val_error(bitfmt, val, want_buf)			\
    127 	h_snprintb_m_len(1024, bitfmt, val, 0, -1, want_buf)
    128 
    129 #define	h_snprintb_m(bitfmt, val, line_max, want_buf)			\
    130 	h_snprintb_m_len(1024, bitfmt, val, line_max,			\
    131 	    sizeof(want_buf) - 1, want_buf)
    132 
    133 ATF_TC(snprintb);
    134 ATF_TC_HEAD(snprintb, tc)
    135 {
    136 	atf_tc_set_md_var(tc, "descr", "Checks snprintb(3)");
    137 }
    138 ATF_TC_BODY(snprintb, tc)
    139 {
    140 
    141 	// style and number base, old style, octal, zero value
    142 	//
    143 	// The value 0 does not get a leading '0'.
    144 	h_snprintb(
    145 	    "\010",
    146 	    0x00,
    147 	    "0");
    148 
    149 	// style and number base, old style, octal, nonzero value
    150 	//
    151 	// Nonzero octal values get a leading '0'.
    152 	h_snprintb(
    153 	    "\010",
    154 	    0xff,
    155 	    "0377");
    156 
    157 	// style and number base, old style, decimal, zero value
    158 	h_snprintb(
    159 	    "\012",
    160 	    0x00,
    161 	    "0");
    162 
    163 	// style and number base, old style, decimal, nonzero value
    164 	h_snprintb(
    165 	    "\012",
    166 	    0xff,
    167 	    "255");
    168 
    169 	// style and number base, old style, hexadecimal, zero value
    170 	//
    171 	// The value 0 does not get a leading '0x'.
    172 	h_snprintb(
    173 	    "\020",
    174 	    0x00,
    175 	    "0");
    176 
    177 	// style and number base, old style, hexadecimal, nonzero value
    178 	//
    179 	// Nonzero hexadecimal values get a leading '0x'.
    180 	h_snprintb(
    181 	    "\177\020",
    182 	    0xff,
    183 	    "0xff");
    184 
    185 	// style and number base, old style, invalid base 0
    186 	h_snprintb_error(
    187 	    "",
    188 	    "#");
    189 
    190 	// style and number base, old style, invalid base 2
    191 	h_snprintb_error(
    192 	    "\002",
    193 	    "#");
    194 
    195 	// style and number base, old style, invalid base 255 or -1
    196 	h_snprintb_error(
    197 	    "\377",
    198 	    "#");
    199 
    200 	// style and number base, new style, octal, zero value
    201 	//
    202 	// The value 0 does not get a leading '0'.
    203 	h_snprintb(
    204 	    "\177\010",
    205 	    0x00,
    206 	    "0");
    207 
    208 	// style and number base, new style, octal, nonzero value
    209 	//
    210 	// Nonzero octal values get a leading '0'.
    211 	h_snprintb(
    212 	    "\177\010",
    213 	    0xff,
    214 	    "0377");
    215 
    216 	// style and number base, new style, decimal, zero value
    217 	h_snprintb(
    218 	    "\177\012",
    219 	    0x00,
    220 	    "0");
    221 
    222 	// style and number base, new style, decimal, nonzero value
    223 	h_snprintb(
    224 	    "\177\012",
    225 	    0xff,
    226 	    "255");
    227 
    228 	// style and number base, new style, hexadecimal, zero value
    229 	//
    230 	// The value 0 does not get a leading '0x'.
    231 	h_snprintb(
    232 	    "\177\020",
    233 	    0x00,
    234 	    "0");
    235 
    236 	// style and number base, new style, hexadecimal, nonzero value
    237 	//
    238 	// Nonzero hexadecimal values get a leading '0x'.
    239 	h_snprintb(
    240 	    "\177\020",
    241 	    0xff,
    242 	    "0xff");
    243 
    244 	// style and number base, new style, invalid number base 0
    245 	h_snprintb_error(
    246 	    "\177",
    247 	    "#");
    248 
    249 	// style and number base, new style, invalid number base 2
    250 	h_snprintb_error(
    251 	    "\177\002",
    252 	    "#");
    253 
    254 	// style and number base, new style, invalid number base 255 or -1
    255 	h_snprintb_error(
    256 	    "\177\377",
    257 	    "#");
    258 
    259 	// old style, from lsb to msb
    260 	h_snprintb(
    261 	    "\020"
    262 	    "\001bit1"
    263 	    "\002bit2"
    264 	    "\037bit31"
    265 	    "\040bit32",
    266 	    0xffffffff80000001,
    267 	    "0xffffffff80000001<bit1,bit32>");
    268 
    269 	// old style, invalid bit number, at the beginning
    270 	h_snprintb_error(
    271 	    "\020"
    272 	    "\041invalid",
    273 	    "0#");
    274 
    275 	// old style, invalid bit number, in the middle
    276 	//
    277 	// The old-style format supports only 32 bits, interpreting the
    278 	// \041 as part of the text belonging to bit 1.
    279 	h_snprintb(
    280 	    "\020"
    281 	    "\001bit1"
    282 	    "\041bit33",
    283 	    0x01,
    284 	    "0x1<bit1!bit33>");
    285 
    286 	// old style, repeated bit numbers
    287 	//
    288 	// When a bit number is mentioned more than once,
    289 	// this is most likely a typo.
    290 	h_snprintb(
    291 	    "\020"
    292 	    "\001once"
    293 	    "\001again",
    294 	    0x01,
    295 	    "0x1<once,again>");
    296 
    297 	// old style, non-printable description
    298 	//
    299 	// The characters ' ' and '\t' are interpreted as bit numbers,
    300 	// not as part of the description; the visual arrangement in this
    301 	// example is intentionally misleading.
    302 	h_snprintb(
    303 	    "\020"
    304 	    "\001least significant"
    305 	    "\002horizontal\ttab"
    306 	    "\003\xC3\xA4",
    307 	    0xff,
    308 	    "0xff<least,horizontal,\xC3\xA4>");
    309 
    310 	// old style, empty description
    311 	//
    312 	// The description of a bit in the old format must not be empty,
    313 	// to prevent multiple commas in a row.
    314 	h_snprintb_val_error(
    315 	    "\020"
    316 	    "\001lsb"
    317 	    "\004"
    318 	    "\005"
    319 	    "\010msb",
    320 	    0xff,
    321 	    "0xff<lsb#");
    322 
    323 	// old style, buffer size 0, null buffer
    324 	//
    325 	// If the buffer size is 0, the buffer is not accessed at all and
    326 	// may be a null pointer.
    327 	int null_rv_old = snprintb(NULL, 0, "\020\001lsb", 0x01);
    328 	ATF_CHECK_MSG(
    329 	    null_rv_old == 8,
    330 	    "want length 8, have %d", null_rv_old);
    331 
    332 	// old style, buffer too small for value
    333 	h_snprintb_len(
    334 	    1, "\020", 0x00,
    335 	    1, "");
    336 
    337 	// old style, buffer large enough for zero value
    338 	h_snprintb_len(
    339 	    2, "\020", 0x00,
    340 	    1, "0");
    341 
    342 	// old style, buffer too small for nonzero value
    343 	h_snprintb_len(
    344 	    3, "\020", 0x07,
    345 	    3, "0#");
    346 
    347 	// old style, buffer large enough for nonzero value
    348 	h_snprintb_len(
    349 	    4, "\020", 0x07,
    350 	    3, "0x7");
    351 
    352 	// old style, buffer too small for '<'
    353 	h_snprintb_len(
    354 	    4, "\020\001lsb", 0x07,
    355 	    8, "0x#");
    356 
    357 	// old style, buffer too small for description
    358 	h_snprintb_len(
    359 	    7, "\020\001lsb", 0x07,
    360 	    8, "0x7<l#");
    361 
    362 	// old style, buffer too small for '>'
    363 	h_snprintb_len(
    364 	    8, "\020\001lsb", 0x07,
    365 	    8, "0x7<ls#");
    366 
    367 	// old style, buffer large enough for '>'
    368 	h_snprintb_len(
    369 	    9, "\020\001lsb", 0x07,
    370 	    8, "0x7<lsb>");
    371 
    372 	// old style, buffer too small for second description
    373 	h_snprintb_len(
    374 	    9, "\020\001one\002two", 0x07,
    375 	    12, "0x7<one#");
    376 
    377 	// old style, buffer too small for second description
    378 	h_snprintb_len(
    379 	    10, "\020\001one\002two", 0x07,
    380 	    12, "0x7<one,#");
    381 
    382 	// old style, buffer too small for '>' after second description
    383 	h_snprintb_len(
    384 	    12, "\020\001one\002two", 0x07,
    385 	    12, "0x7<one,tw#");
    386 
    387 	// old style, buffer large enough for '>' after second description
    388 	h_snprintb_len(
    389 	    13, "\020\001one\002two", 0x07,
    390 	    12, "0x7<one,two>");
    391 
    392 	// new style, buffer size 0, null buffer
    393 	//
    394 	// If the buffer size is 0, the buffer may be NULL.
    395 	int null_rv_new = snprintb(NULL, 0, "\177\020b\000lsb\0", 0x01);
    396 	ATF_CHECK_MSG(
    397 	    null_rv_new == 8,
    398 	    "want length 8, have %d", null_rv_new);
    399 
    400 	// new style single bits
    401 	h_snprintb(
    402 	    "\177\020"
    403 	    "b\000lsb\0"
    404 	    "b\001above-lsb\0"
    405 	    "b\037bit31\0"
    406 	    "b\040bit32\0"
    407 	    "b\076below-msb\0"
    408 	    "b\077msb\0",
    409 	    0x8000000180000001,
    410 	    "0x8000000180000001<lsb,bit31,bit32,msb>");
    411 
    412 	// new style single bits, duplicate bits
    413 	h_snprintb(
    414 	    "\177\020"
    415 	    "b\000lsb\0"
    416 	    "b\000lsb\0"
    417 	    "b\000lsb\0",
    418 	    0xff,
    419 	    "0xff<lsb,lsb,lsb>");
    420 
    421 	// new style single bits, 'b' with empty description
    422 	//
    423 	// The description of a 'b' conversion must not be empty, as the
    424 	// output would contain several commas in a row.
    425 	h_snprintb_val_error(
    426 	    "\177\020"
    427 	    "b\000lsb\0"
    428 	    "b\001\0"
    429 	    "b\002\0"
    430 	    "b\007msb\0",
    431 	    0xff,
    432 	    "0xff<lsb#");
    433 
    434 	// new style single bits, bit number too large
    435 	h_snprintb_error(
    436 	    "\177\020"
    437 	    "b\100too-high\0",
    438 	    "0#");
    439 	h_snprintb_error(
    440 	    "\177\020"
    441 	    "b\377too-high\0",
    442 	    "0#");
    443 
    444 	// new style single bits, non-printable description
    445 	//
    446 	// Contrary to the old-style format, the new-style format allows
    447 	// arbitrary characters in the description, even control characters
    448 	// and non-ASCII characters.
    449 	h_snprintb(
    450 	    "\177\020"
    451 	    "b\000space \t \xC3\xA4\0",
    452 	    0x1,
    453 	    "0x1<space \t \xC3\xA4>");
    454 
    455 	// new style named bit-field, octal
    456 	//
    457 	// The bit-field value gets a leading '0' iff it is nonzero.
    458 	h_snprintb(
    459 	    "\177\010"
    460 	    "f\000\010byte0\0"
    461 	    "f\010\010byte1\0",
    462 	    0x0100,
    463 	    "0400<byte0=0,byte1=01>");
    464 
    465 	// new style named bit-field, decimal
    466 	h_snprintb(
    467 	    "\177\012"
    468 	    "f\000\010byte0\0"
    469 	    "f\010\010byte1\0",
    470 	    0x0100,
    471 	    "256<byte0=0,byte1=1>");
    472 
    473 	// new style named bit-field, hexadecimal
    474 	//
    475 	// The bit-field value gets a leading '0x' iff it is nonzero.
    476 	h_snprintb(
    477 	    "\177\020"
    478 	    "f\000\010byte0\0"
    479 	    "f\010\010byte1\0",
    480 	    0x0100,
    481 	    "0x100<byte0=0,byte1=0x1>");
    482 
    483 	// new style bit-field, from 0 width 0
    484 	h_snprintb(
    485 	    "\177\020"
    486 	    "f\000\000zero-width\0"
    487 		"=\000zero\0",
    488 	    0xffff,
    489 	    "0xffff<zero-width=0=zero>");
    490 
    491 	// new style bit-field, from 0 width 1
    492 	h_snprintb(
    493 	    "\177\020"
    494 	    "f\000\001lsb\0"
    495 		"=\000zero\0"
    496 		"=\001one\0",
    497 	    0x0,
    498 	    "0<lsb=0=zero>");
    499 	h_snprintb(
    500 	    "\177\020"
    501 	    "f\000\001lsb\0"
    502 		"=\000zero\0"
    503 		"=\001one\0",
    504 	    0x1,
    505 	    "0x1<lsb=0x1=one>");
    506 
    507 	// new style bit-field, from 0 width 63
    508 	h_snprintb(
    509 	    "\177\020"
    510 	    "f\000\077uint63\0"
    511 		"=\125match\0",
    512 	    0xaaaa5555aaaa5555,
    513 	    "0xaaaa5555aaaa5555<uint63=0x2aaa5555aaaa5555>");
    514 
    515 	// new style bit-field, from 0 width 64
    516 	h_snprintb(
    517 	    "\177\020"
    518 	    "f\000\100uint64\0"
    519 		"=\125match\0",
    520 	    0xaaaa5555aaaa5555,
    521 	    "0xaaaa5555aaaa5555<uint64=0xaaaa5555aaaa5555>");
    522 
    523 	// new style bit-field, from 0 width 65
    524 	h_snprintb_error(
    525 	    "\177\020"
    526 	    "f\000\101uint65\0",
    527 	    "0#");
    528 
    529 	// new style bit-field, from 1 width 8
    530 	h_snprintb(
    531 	    "\177\020"
    532 	    "f\001\010uint8\0"
    533 		"=\203match\0",
    534 	    0x0106,
    535 	    "0x106<uint8=0x83=match>");
    536 
    537 	// new style bit-field, from 1 width 9
    538 	//
    539 	// The '=' and ':' directives can match a bit-field value between
    540 	// 0 and 255, independent of the bit-field's width.
    541 	h_snprintb(
    542 	    "\177\020"
    543 	    "f\001\011uint9\0"
    544 		"=\203match\0"
    545 		"*=default-f\0"
    546 	    "F\001\011\0"
    547 		":\203match\0"
    548 		"*default-F\0",
    549 	    0x0306,
    550 	    "0x306<uint9=0x183=default-f,default-F>");
    551 
    552 	// new style bit-field, from 24 width 32
    553 	h_snprintb(
    554 	    "\177\020"
    555 	    "f\030\040uint32\0",
    556 	    0xaaaa555500000000,
    557 	    "0xaaaa555500000000<uint32=0xaa555500>");
    558 
    559 	// new style bit-field, from 60 width 4
    560 	h_snprintb(
    561 	    "\177\020"
    562 	    "f\074\004uint4\0",
    563 	    0xf555555555555555,
    564 	    "0xf555555555555555<uint4=0xf>");
    565 
    566 	// new style bit-field, from 60 width 5
    567 	//
    568 	// The end of the bit-field is out of bounds.
    569 	h_snprintb(
    570 	    "\177\020"
    571 	    "f\074\005uint5\0",
    572 	    0xf555555555555555,
    573 	    "0xf555555555555555<uint5=0xf>");
    574 
    575 	// new style bit-field, from 64 width 0
    576 	//
    577 	// The beginning of the bit-field is out of bounds, the end is fine.
    578 	h_snprintb_error(
    579 	    "\177\020"
    580 	    "f\100\000uint0\0",
    581 	    "0#");
    582 
    583 	// new style bit-field, from 65 width 0
    584 	//
    585 	// The beginning and end of the bit-field are out of bounds.
    586 	h_snprintb_error(
    587 	    "\177\020"
    588 	    "f\101\000uint0\0",
    589 	    "0#");
    590 
    591 	// new style bit-field, 'f' with empty description
    592 	//
    593 	// The description of an 'f' conversion must not be empty, as the
    594 	// output would contain an isolated '='.
    595 	h_snprintb_val_error(
    596 	    "\177\020"
    597 	    "f\000\004\0"
    598 		"=\001one\0",
    599 	    0x1,
    600 	    "0x1#");
    601 
    602 	// new style bit-field, non-printable description
    603 	//
    604 	// Contrary to the old-style format, the new-style format allows
    605 	// arbitrary characters in the description, even control characters
    606 	// and non-ASCII characters.
    607 	h_snprintb(
    608 	    "\177\020"
    609 	    "f\000\010\t \xC3\xA4\0"
    610 		"=\001\t \xC3\xA4\0"
    611 	    "F\000\010\0"
    612 		":\001\t \xC3\xA4\0"
    613 	    "F\000\010\0"
    614 		"*\t \xC3\xA4\0",
    615 	    0x1,
    616 	    "0x1<\t \xC3\xA4=0x1=\t \xC3\xA4,\t \xC3\xA4,\t \xC3\xA4>");
    617 
    618 	// new style bit-field, '=' with empty description
    619 	//
    620 	// The description of a '=' conversion must not be empty, as the
    621 	// output would contain several '=' in a row.
    622 	h_snprintb_val_error(
    623 	    "\177\020"
    624 	    "f\000\004f\0"
    625 		"=\001one\0"
    626 		"=\001\0"
    627 		"=\001\0",
    628 	    0x1,
    629 	    "0x1<f=0x1=one#");
    630 
    631 	// new style bit-field, 'F' followed by ':' with empty description
    632 	//
    633 	// The description of a ':' conversion must not be empty, as the
    634 	// output would contain empty angle brackets.
    635 	h_snprintb_val_error(
    636 	    "\177\020"
    637 	    "F\000\004\0"
    638 		":\001\0"
    639 		"*default\0",
    640 	    0x1,
    641 	    "0x1<#");
    642 
    643 	// new style bit-field, 'F', ':' with empty description, '*'
    644 	//
    645 	// The description of a ':' conversion must not be empty, as the
    646 	// output would contain empty angle brackets. Not in this particular
    647 	// test case, as the value is different, but the structural error is
    648 	// detected nevertheless.
    649 	h_snprintb_val_error(
    650 	    "\177\020"
    651 	    "F\000\004\0"
    652 		":\001\0"
    653 		"*default\0",
    654 	    0x2,
    655 	    "0x2<#");
    656 
    657 	// new style bit-field, 'f' with non-exhaustive '='
    658 	h_snprintb(
    659 	    "\177\020"
    660 	    "f\000\004Field\0"
    661 		"=\1one\0"
    662 		"=\2two\0",
    663 	    0x3,
    664 	    "0x3<Field=0x3>");
    665 
    666 	// new style bit-field, 'F' with non-exhaustive ':'
    667 	//
    668 	// An unnamed bit-field that does not match any values generates empty
    669 	// angle brackets, which looks confusing. The ':' directives should
    670 	// either be exhaustive, or there should be a '*' catch-all directive.
    671 	h_snprintb(
    672 	    "\177\020"
    673 	    "F\000\004\0"
    674 		":\1one\0"
    675 		":\2two\0",
    676 	    0x3,
    677 	    "0x3<>");
    678 
    679 	// new style bit-field, 'F' with non-exhaustive ':'
    680 	//
    681 	// A bit-field that does not match any values generates multiple commas
    682 	// in a row, which looks confusing. The ':' conversions should either be
    683 	// exhaustive, or there should be a '*' catch-all conversion.
    684 	h_snprintb(
    685 	    "\177\020"
    686 	    "b\000bit0\0"
    687 	    "F\000\004\0"
    688 		":\1one\0"
    689 		":\2two\0"
    690 	    "b\001bit1\0",
    691 	    0x3,
    692 	    "0x3<bit0,,bit1>");
    693 
    694 	// new style bit-field, '=', can never match
    695 	//
    696 	// The extracted value from the bit-field has 7 bits and is thus less
    697 	// than 128, therefore it can neither match 128 nor 255.
    698 	h_snprintb(
    699 	    "\177\020"
    700 	    "f\000\007f\0"
    701 		"=\200never\0"
    702 		"=\377never\0",
    703 	    0xff,
    704 	    "0xff<f=0x7f>");
    705 
    706 	// new style, two separate bit-fields
    707 	h_snprintb(
    708 	    "\177\020"
    709 	    "f\000\004f1\0"
    710 		"=\001one\0"
    711 		"=\002two\0"
    712 	    "f\004\004f2\0"
    713 		"=\001one\0"
    714 		"=\002two\0",
    715 	    0x12,
    716 	    "0x12<f1=0x2=two,f2=0x1=one>");
    717 
    718 	// new style, mixed named and unnamed bit-fields
    719 	h_snprintb(
    720 	    "\177\020"
    721 	    "f\000\004f1\0"
    722 		"=\001one\0"
    723 		"=\002two\0"
    724 	    "F\010\004\0"
    725 		":\015thirteen\0"
    726 	    "f\004\004f2\0"
    727 		"=\001one\0"
    728 		"=\002two\0",
    729 	    0x0d12,
    730 	    "0xd12<f1=0x2=two,thirteen,f2=0x1=one>");
    731 
    732 	// new style bit-field, overlapping
    733 	h_snprintb(
    734 	    "\177\020"
    735 	    "f\000\004lo\0"
    736 	    "f\002\004mid\0"
    737 	    "f\004\004hi\0"
    738 	    "f\000\010all\0",
    739 	    0x18,
    740 	    "0x18<lo=0x8,mid=0x6,hi=0x1,all=0x18>");
    741 
    742 	// new style bit-field, difference between '=' and ':'
    743 	//
    744 	// The ':' conversion can almost emulate the '=' conversion, without the
    745 	// numeric output and with a different separator. It's best to use
    746 	// either 'f' with '=', or 'F' with ':', but not mix them.
    747 	h_snprintb(
    748 	    "\177\020"
    749 	    "f\000\004field\0"
    750 		"=\010f-value\0"
    751 	    "F\000\000\0"		// Use an empty bit-field
    752 		":\000separator\0"	// to generate a separator.
    753 	    "F\000\004\0"
    754 		":\010F-value\0",
    755 	    0x18,
    756 	    "0x18<field=0x8=f-value,separator,F-value>");
    757 
    758 	// new style bit-field default, fixed string
    759 	//
    760 	// The 'f' conversion pairs up with the '=' conversion,
    761 	// the 'F' conversion pairs up with the ':' conversion,
    762 	// but there's only one 'default' conversion for both variants,
    763 	// so its description should include the '=' when used with 'f' but
    764 	// not with 'F'.
    765 	h_snprintb(
    766 	    "\177\020"
    767 	    "f\030\010f1\0"
    768 		"*default\0"
    769 	    "f\020\010f2\0"
    770 		"*=default\0"
    771 	    "F\010\010\0"
    772 		"*default\0"
    773 	    "F\010\010\0"
    774 		"*=default\0",
    775 	    0x11223344,
    776 	    "0x11223344<f1=0x11default,f2=0x22=default,default,=default>");
    777 
    778 	// new style bit-field default, numeric conversion specifier
    779 	h_snprintb(
    780 	    "\177\020"
    781 	    "f\010\010f\0"
    782 		"*=f(%ju)\0"
    783 	    "F\000\010F\0"
    784 		"*F(%ju)\0",
    785 	    0x1122,
    786 	    "0x1122<f=0x11=f(17),F(34)>");
    787 
    788 	// new style bit-field default, can never match
    789 	//
    790 	// The '=' conversion are exhaustive, making the '*' redundant.
    791 	h_snprintb(
    792 	    "\177\020"
    793 	    "f\010\002f\0"
    794 		"=\000zero\0"
    795 		"=\001one\0"
    796 		"=\002two\0"
    797 		"=\003three\0"
    798 		"*default\0",
    799 	    0xff00,
    800 	    "0xff00<f=0x3=three>");
    801 
    802 	// new style bit-field default, invalid conversion specifier
    803 	//
    804 	// There is no reliable way to make snprintf return an error, as such
    805 	// errors are defined as undefined behavior in the C standard.
    806 	// Instead, here's a conversion specifier that produces a literal '%'.
    807 	h_snprintb(
    808 	    "\177\020"
    809 	    "f\000\010f\0"
    810 		"*=%030ju%%\0",
    811 	    0xff,
    812 	    "0xff<f=0xff=000000000000000000000000000255%>");
    813 
    814 	// new style unknown conversion, at the beginning
    815 	h_snprintb_val_error(
    816 	    "\177\020"
    817 	    "unknown\0",
    818 	    0xff,
    819 	    "0xff#");
    820 
    821 	// new style unknown conversion, after a known conversion
    822 	h_snprintb_val_error(
    823 	    "\177\020"
    824 	    "b\007msb\0"
    825 	    "unknown\0",
    826 	    0xff,
    827 	    "0xff<msb#");
    828 
    829 	// new style combinations, 'b' '='
    830 	//
    831 	// A '=' conversion requires a preceding 'f' conversion.
    832 	h_snprintb_val_error(
    833 	    "\177\020"
    834 	    "b\004bit4\0"
    835 		"=\000clear\0"
    836 		"=\001set\0"
    837 		"=\245complete\0"
    838 	    "b\000bit0\0"
    839 		"=\000clear\0"
    840 		"=\001set\0"
    841 		"=\245complete\0",
    842 	    0xa5,
    843 	    "0xa5#");
    844 
    845 	// new style combinations, 'b' ':'
    846 	//
    847 	// A ':' conversion requires a preceding 'f' or 'F' conversion.
    848 	h_snprintb_val_error(
    849 	    "\177\020"
    850 	    "b\004bit4\0"
    851 		":\000clear\0"
    852 		":\001set\0"
    853 		":\245complete\0"
    854 	    "b\000bit0\0"
    855 		":\000clear\0"
    856 		":\001set\0"
    857 		":\245complete\0",
    858 	    0xa5,
    859 	    "0xa5#");
    860 
    861 	// new style combinations, 'b' '*'
    862 	//
    863 	// A '*' conversion requires a preceding 'f' or 'F' conversion.
    864 	h_snprintb_val_error(
    865 	    "\177\020"
    866 	    "b\004bit4\0"
    867 		"*default(%ju)\0"
    868 	    "b\000bit0\0"
    869 		"*default(%ju)\0",
    870 	    0xa5,
    871 	    "0xa5#");
    872 
    873 	// new style combinations, 'f' 'b' '='
    874 	//
    875 	// A '=' conversion requires a preceding 'f' conversion, there must
    876 	// not be a 'b' conversion in between.
    877 	h_snprintb_val_error(
    878 	    "\177\020"
    879 	    "f\000\010f\0"
    880 	    "b\005bit5\0"
    881 		"=\245match\0",
    882 	    0xa5,
    883 	    "0xa5<f=0xa5,bit5#");
    884 
    885 	// new style combinations, 'F' 'b' ':'
    886 	//
    887 	// A ':' conversion requires a preceding 'F' conversion, there must
    888 	// not be a 'b' conversion in between.
    889 	//
    890 	// The isolated leading comma is produced by the non-exhaustive 'F'
    891 	// conversion. Detecting these at runtime would be too costly.
    892 	h_snprintb_val_error(
    893 	    "\177\020"
    894 	    "F\000\010f\0"
    895 	    "b\005bit5\0"
    896 		":\245match\0",
    897 	    0xa5,
    898 	    "0xa5<,bit5#");
    899 
    900 	// new style combinations, 'f' ':'
    901 	//
    902 	// The ':' conversion requires a preceding 'F' conversion, not 'f'.
    903 	h_snprintb_val_error(
    904 	    "\177\20"
    905 	    "f\000\004nibble\0"
    906 		":\001one\0",
    907 	    0x01,
    908 	    "0x1<nibble=0x1#");
    909 
    910 	// new style combinations, 'F' '='
    911 	//
    912 	// A '=' conversion requires a preceding 'f' conversion, not 'F'.
    913 	h_snprintb_val_error(
    914 	    "\177\20"
    915 	    "F\000\004\0"
    916 		"=\001one\0",
    917 	    0x01,
    918 	    "0x1<#");
    919 
    920 	// new style combinations, '='
    921 	//
    922 	// A '=' conversion requires a preceding 'f' or 'F' conversion.
    923 	h_snprintb_val_error(
    924 	    "\177\020"
    925 		"=\245match\0",
    926 	    0xa5,
    927 	    "0xa5#");
    928 
    929 	// new style combinations, ':'
    930 	//
    931 	// A ':' conversion requires a preceding 'f' or 'F' conversion.
    932 	h_snprintb_val_error(
    933 	    "\177\020"
    934 		":\245match\0",
    935 	    0xa5,
    936 	    "0xa5#");
    937 
    938 	// new style combinations, '*'
    939 	//
    940 	// A '*' conversion requires a preceding 'f' or 'F' conversion.
    941 	h_snprintb_val_error(
    942 	    "\177\020"
    943 		"*match\0",
    944 	    0xa5,
    945 	    "0xa5#");
    946 
    947 	// new style combinations, 'f' '*' '='
    948 	//
    949 	// After a catch-all '*' conversions, there must not be further '='
    950 	// conversions.
    951 	h_snprintb_val_error(
    952 	    "\177\020"
    953 	    "f\000\010f\0"
    954 		"*=default\0"
    955 		"=\245match\0",
    956 	    0xa5,
    957 	    "0xa5<f=0xa5=default#");
    958 
    959 	// new style combinations, 'F' '*' ':'
    960 	//
    961 	// After a catch-all '*' conversion, there must not be further ':'
    962 	// conversions.
    963 	h_snprintb_val_error(
    964 	    "\177\020"
    965 	    "F\000\010F\0"
    966 		"*default\0"
    967 		":\245-match\0",
    968 	    0xa5,
    969 	    "0xa5<default#");
    970 
    971 	// new style combinations, 'f' '*' '*'
    972 	//
    973 	// After a catch-all '*' conversion, there must not be further '=' or
    974 	// '*' conversions.
    975 	h_snprintb_val_error(
    976 	    "\177\020"
    977 	    "f\000\010f\0"
    978 		"*=default-f\0"
    979 		"*ignored\0",
    980 	    0xa5,
    981 	    "0xa5<f=0xa5=default-f#");
    982 
    983 	// new style combinations, 'F' '*' '*'
    984 	//
    985 	// After a catch-all '*' conversion, there must not be further ':' or
    986 	// '*' conversions.
    987 	h_snprintb_val_error(
    988 	    "\177\020"
    989 	    "F\000\010\0"
    990 		"*default-F\0"
    991 		"*ignored\0",
    992 	    0xa5,
    993 	    "0xa5<default-F#");
    994 
    995 	// example from the manual page, old style octal
    996 	h_snprintb(
    997 	    "\010\002BITTWO\001BITONE",
    998 	    0x03,
    999 	    "03<BITTWO,BITONE>");
   1000 
   1001 	// example from the manual page, old style hexadecimal
   1002 	//
   1003 	// When using a hexadecimal escape sequence to encode a bit number,
   1004 	// the description must not start with a hexadecimal digit, or that
   1005 	// digit is interpreted as part of the bit number. To prevent this,
   1006 	// the bit number and the description need to be written as separate
   1007 	// string literals.
   1008 	h_snprintb(
   1009 	    "\x10"
   1010 	    "\x10" "NOTBOOT"
   1011 	    "\x0f" "FPP"
   1012 	    "\x0e" "SDVMA"
   1013 	    "\x0c" "VIDEO"
   1014 	    "\x0b" "LORES"
   1015 	    "\x0a" "FPA"
   1016 	    "\x09" "DIAG"
   1017 	    "\x07" "CACHE"
   1018 	    "\x06" "IOCACHE"
   1019 	    "\x05" "LOOPBACK"
   1020 	    "\x04" "DBGCACHE",
   1021 	    0xe860,
   1022 	    "0xe860<NOTBOOT,FPP,SDVMA,VIDEO,CACHE,IOCACHE>");
   1023 
   1024 	// example from the manual page, new style bits and fields
   1025 	h_snprintb(
   1026 	    "\177\020"
   1027 	    "b\000" "LSB\0"
   1028 	    "b\001" "BITONE\0"
   1029 	    "f\004\004" "NIBBLE2\0"
   1030 	    "f\020\004" "BURST\0"
   1031 		"=\x04" "FOUR\0"
   1032 		"=\x0f" "FIFTEEN\0"
   1033 	    "b\037" "MSB\0",
   1034 	    0x800f0701,
   1035 	    "0x800f0701<LSB,NIBBLE2=0,BURST=0xf=FIFTEEN,MSB>");
   1036 
   1037 	// example from the manual page, new style mmap
   1038 #define	MAP_FMT				\
   1039 	"\177\020"			\
   1040 	"b\0"  "SHARED\0"		\
   1041 	"b\1"  "PRIVATE\0"		\
   1042 	"b\2"  "COPY\0"			\
   1043 	"b\4"  "FIXED\0"		\
   1044 	"b\5"  "RENAME\0"		\
   1045 	"b\6"  "NORESERVE\0"		\
   1046 	"b\7"  "INHERIT\0"		\
   1047 	"b\11" "HASSEMAPHORE\0"		\
   1048 	"b\12" "TRYFIXED\0"		\
   1049 	"b\13" "WIRED\0"		\
   1050 	"F\14\1\0"			\
   1051 		":\0" "FILE\0"		\
   1052 		":\1" "ANONYMOUS\0"	\
   1053 	"b\15" "STACK\0"		\
   1054 	"F\30\010\0"			\
   1055 		":\000" "ALIGN=NONE\0"	\
   1056 		":\015" "ALIGN=8KB\0"	\
   1057 		"*"     "ALIGN=2^%ju\0"
   1058 	h_snprintb(
   1059 	    MAP_FMT,
   1060 	    0x0d001234,
   1061 	    "0xd001234<COPY,FIXED,RENAME,HASSEMAPHORE,ANONYMOUS,ALIGN=8KB>");
   1062 	h_snprintb(
   1063 	    MAP_FMT,
   1064 	    0x2e000000,
   1065 	    "0x2e000000<FILE,ALIGN=2^46>");
   1066 
   1067 	// It is possible but cumbersome to implement a reduced variant of
   1068 	// rot13 using snprintb, shown here for lowercase letters only.
   1069 	for (char ch = 'A'; ch <= '~'; ch++) {
   1070 		char rot13 = ch >= 'a' && ch <= 'm' ? ch + 13
   1071 		    : ch >= 'n' && ch <= 'z' ? ch - 13
   1072 		    : '?';
   1073 		char expected[8];
   1074 		ATF_REQUIRE_EQ(7,
   1075 		    snprintf(expected, sizeof(expected), "%#x<%c>", ch, rot13));
   1076 		h_snprintb(
   1077 		    "\177\020"
   1078 		    "F\000\010\0"
   1079 		    ":an\0:bo\0:cp\0:dq\0:er\0:fs\0:gt\0:hu\0"
   1080 		    ":iv\0:jw\0:kx\0:ly\0:mz\0"
   1081 		    ":na\0:ob\0:pc\0:qd\0:re\0:sf\0:tg\0:uh\0"
   1082 		    ":vi\0:wj\0:xk\0:yl\0:zm\0"
   1083 		    // If snprintf accepted "%jc", it would be possible to
   1084 		    // echo the non-alphabetic characters instead of a
   1085 		    // catchall question mark.
   1086 		    "*?\0",
   1087 		    ch,
   1088 		    expected);
   1089 	}
   1090 
   1091 	// new style, small buffers
   1092 	h_snprintb_len(
   1093 	    0, "\177\020", 0x00,
   1094 	    1, "");
   1095 	h_snprintb_len(
   1096 	    1, "\177\020", 0x00,
   1097 	    1, "");
   1098 	h_snprintb_len(
   1099 	    2, "\177\020", 0x00,
   1100 	    1, "0");
   1101 	h_snprintb_len(
   1102 	    3, "\177\020", 0x00,
   1103 	    1, "0");
   1104 	h_snprintb_len(
   1105 	    3, "\177\020", 0x07,
   1106 	    3, "0#");
   1107 	h_snprintb_len(
   1108 	    4, "\177\020", 0x07,
   1109 	    3, "0x7");
   1110 	h_snprintb_len(
   1111 	    7, "\177\020b\000lsb\0", 0x07,
   1112 	    8, "0x7<l#");
   1113 	h_snprintb_len(
   1114 	    8, "\177\020b\000lsb\0", 0x07,
   1115 	    8, "0x7<ls#");
   1116 	h_snprintb_len(
   1117 	    9, "\177\020b\000lsb\0", 0x07,
   1118 	    8, "0x7<lsb>");
   1119 	h_snprintb_len(
   1120 	    9, "\177\020b\000one\0b\001two\0", 0x07,
   1121 	    12, "0x7<one#");
   1122 	h_snprintb_len(
   1123 	    10, "\177\020b\000one\0b\001two\0", 0x07,
   1124 	    12, "0x7<one,#");
   1125 	h_snprintb_len(
   1126 	    12, "\177\020b\000one\0b\001two\0", 0x07,
   1127 	    12, "0x7<one,tw#");
   1128 	h_snprintb_len(
   1129 	    13, "\177\020b\000one\0b\001two\0", 0x07,
   1130 	    12, "0x7<one,two>");
   1131 }
   1132 
   1133 ATF_TC(snprintb_m);
   1134 ATF_TC_HEAD(snprintb_m, tc)
   1135 {
   1136 	atf_tc_set_md_var(tc, "descr", "Checks snprintb_m(3)");
   1137 }
   1138 ATF_TC_BODY(snprintb_m, tc)
   1139 {
   1140 
   1141 	// old style, line_max exceeded by number in line 1
   1142 	h_snprintb_m(
   1143 	    "\020",
   1144 	    0xff,
   1145 	    1,
   1146 	    "#\0");
   1147 
   1148 	// old style, line_max exceeded by '<' in line 1
   1149 	h_snprintb_m(
   1150 	    "\020"
   1151 	    "\001lsb",
   1152 	    0xff,
   1153 	    4,
   1154 	    "0xf#\0");
   1155 
   1156 	// old style, line_max exceeded by description
   1157 	h_snprintb_m(
   1158 	    "\020"
   1159 	    "\001bit1"
   1160 	    "\002bit2",
   1161 	    0xff,
   1162 	    7,
   1163 	    "0xff<b#\0"
   1164 	    "0xff<b#\0");
   1165 
   1166 	// old style, line_max exceeded by '>' in line 1
   1167 	h_snprintb_m(
   1168 	    "\020"
   1169 	    "\001bit1"
   1170 	    "\0022",
   1171 	    0xff,
   1172 	    9,
   1173 	    "0xff<bit#\0"
   1174 	    "0xff<2>\0");
   1175 
   1176 	// old style, line_max exceeded by description in line 2
   1177 	h_snprintb_m(
   1178 	    "\020"
   1179 	    "\0011"
   1180 	    "\002bit2",
   1181 	    0xff,
   1182 	    8,
   1183 	    "0xff<1>\0"
   1184 	    "0xff<bi#\0");
   1185 
   1186 	// old style, line_max exceeded by '>' in line 2
   1187 	h_snprintb_m(
   1188 	    "\020"
   1189 	    "\0011"
   1190 	    "\002bit2",
   1191 	    0xff,
   1192 	    9,
   1193 	    "0xff<1>\0"
   1194 	    "0xff<bit#\0");
   1195 
   1196 	// old style, complete
   1197 	h_snprintb_m(
   1198 	    "\020"
   1199 	    "\0011"
   1200 	    "\002bit2",
   1201 	    0xff,
   1202 	    10,
   1203 	    "0xff<1>\0"
   1204 	    "0xff<bit2>\0");
   1205 
   1206 	// new style, line_max exceeded by value in line 1
   1207 	h_snprintb_m(
   1208 	    "\177\020",
   1209 	    0xff,
   1210 	    3,
   1211 	    "0x#\0");
   1212 
   1213 	// new style, line_max exceeded by single-bit '<' in line 1
   1214 	h_snprintb_m(
   1215 	    "\177\020"
   1216 	    "b\000bit\0",
   1217 	    0xff,
   1218 	    4,
   1219 	    "0xf#\0");
   1220 
   1221 	// new style, line_max exceeded by single-bit description in line 1
   1222 	h_snprintb_m(
   1223 	    "\177\020"
   1224 	    "b\000bit0\0"
   1225 	    "b\001two\0",
   1226 	    0xff,
   1227 	    8,
   1228 	    "0xff<bi#\0"
   1229 	    "0xff<tw#\0");
   1230 
   1231 	// new style, line_max exceeded by single-bit '>' in line 1
   1232 	h_snprintb_m(
   1233 	    "\177\020"
   1234 	    "b\000bit0\0"
   1235 	    "b\001two\0",
   1236 	    0xff,
   1237 	    9,
   1238 	    "0xff<bit#\0"
   1239 	    "0xff<two>\0");
   1240 
   1241 	// new style, line_max exceeded by single-bit description in line 2
   1242 	h_snprintb_m(
   1243 	    "\177\020"
   1244 	    "b\000one\0"
   1245 	    "b\001three\0",
   1246 	    0xff,
   1247 	    9,
   1248 	    "0xff<one>\0"
   1249 	    "0xff<thr#\0");
   1250 
   1251 	// new style, line_max exceeded by single-bit '>' in line 2
   1252 	h_snprintb_m(
   1253 	    "\177\020"
   1254 	    "b\000one\0"
   1255 	    "b\001three\0",
   1256 	    0xff,
   1257 	    10,
   1258 	    "0xff<one>\0"
   1259 	    "0xff<thre#\0");
   1260 
   1261 	// new style, single-bit complete
   1262 	h_snprintb_m(
   1263 	    "\177\020"
   1264 	    "b\000one\0"
   1265 	    "b\001three\0",
   1266 	    0xff,
   1267 	    11,
   1268 	    "0xff<one>\0"
   1269 	    "0xff<three>\0");
   1270 
   1271 	// new style, line_max exceeded by named bit-field number in line 1
   1272 	h_snprintb_m(
   1273 	    "\177\020"
   1274 	    "f\000\004lo\0",
   1275 	    0xff,
   1276 	    3,
   1277 	    "0x#\0");
   1278 
   1279 	// new style, line_max exceeded by named bit-field '<' in line 1
   1280 	h_snprintb_m(
   1281 	    "\177\020"
   1282 	    "f\000\004lo\0",
   1283 	    0xff,
   1284 	    4,
   1285 	    "0xf#\0");
   1286 
   1287 	// new style, line_max exceeded by bit-field description in line 1
   1288 	h_snprintb_m(
   1289 	    "\177\020"
   1290 	    "f\000\004lo\0",
   1291 	    0xff,
   1292 	    6,
   1293 	    "0xff<#\0");
   1294 
   1295 	// new style, line_max exceeded by named bit-field '=' in line 1
   1296 	h_snprintb_m(
   1297 	    "\177\020"
   1298 	    "f\000\004lo\0",
   1299 	    0xff,
   1300 	    7,
   1301 	    "0xff<l#\0");
   1302 
   1303 	// new style, line_max exceeded by named bit-field value in line 1
   1304 	h_snprintb_m(
   1305 	    "\177\020"
   1306 	    "f\000\004lo\0",
   1307 	    0xff,
   1308 	    10,
   1309 	    "0xff<lo=0#\0");
   1310 
   1311 	// new style, line_max exceeded by named bit-field '=' in line 1
   1312 	h_snprintb_m(
   1313 	    "\177\020"
   1314 	    "f\000\004lo\0"
   1315 		"=\017match\0",
   1316 	    0xff,
   1317 	    12,
   1318 	    "0xff<lo=0xf#\0");
   1319 
   1320 	// new style, line_max exceeded by named bit-field value description in
   1321 	// line 1
   1322 	h_snprintb_m(
   1323 	    "\177\020"
   1324 	    "f\000\004lo\0"
   1325 		"=\017match\0",
   1326 	    0xff,
   1327 	    16,
   1328 	    "0xff<lo=0xf=mat#\0");
   1329 
   1330 	// new style, line_max exceeded by named bit-field '>' in line 1
   1331 	h_snprintb_m(
   1332 	    "\177\020"
   1333 	    "f\000\004lo\0"
   1334 		"=\017match\0",
   1335 	    0xff,
   1336 	    17,
   1337 	    "0xff<lo=0xf=matc#\0");
   1338 
   1339 	// new style, line_max exceeded by named bit-field description in
   1340 	// line 2
   1341 	h_snprintb_m(
   1342 	    "\177\020"
   1343 	    "f\000\004lo\0"
   1344 	    "f\000\004low-bits\0"
   1345 		"=\017match\0",
   1346 	    0xff,
   1347 	    12,
   1348 	    "0xff<lo=0xf>\0"
   1349 	    "0xff<low-bi#\0");
   1350 
   1351 	// new style, line_max exceeded by named bit-field '=' in line 2
   1352 	h_snprintb_m(
   1353 	    "\177\020"
   1354 	    "f\000\004lo\0"
   1355 	    "f\000\004low-bits\0"
   1356 		"=\017match\0",
   1357 	    0xff,
   1358 	    13,
   1359 	    "0xff<lo=0xf>\0"
   1360 	    "0xff<low-bit#\0");
   1361 
   1362 	// new style, line_max exceeded by named bit-field value in line 2
   1363 	h_snprintb_m(
   1364 	    "\177\020"
   1365 	    "f\000\004lo\0"
   1366 	    "f\000\004low-bits\0"
   1367 		"=\017match\0",
   1368 	    0xff,
   1369 	    16,
   1370 	    "0xff<lo=0xf>\0"
   1371 	    "0xff<low-bits=0#\0");
   1372 
   1373 	// new style, line_max exceeded by named bit-field '=' in line 2
   1374 	h_snprintb_m(
   1375 	    "\177\020"
   1376 	    "f\000\004lo\0"
   1377 	    "f\000\004low-bits\0"
   1378 		"=\017match\0",
   1379 	    0xff,
   1380 	    18,
   1381 	    "0xff<lo=0xf>\0"
   1382 	    "0xff<low-bits=0xf#\0");
   1383 
   1384 	// new style, line_max exceeded by named bit-field value description
   1385 	// in line 2
   1386 	h_snprintb_m(
   1387 	    "\177\020"
   1388 	    "f\000\004lo\0"
   1389 	    "f\000\004low-bits\0"
   1390 		"=\017match\0",
   1391 	    0xff,
   1392 	    22,
   1393 	    "0xff<lo=0xf>\0"
   1394 	    "0xff<low-bits=0xf=mat#\0");
   1395 
   1396 	// new style, line_max exceeded by named bit-field '>' in line 2
   1397 	h_snprintb_m(
   1398 	    "\177\020"
   1399 	    "f\000\004lo\0"
   1400 	    "f\000\004low-bits\0"
   1401 		"=\017match\0",
   1402 	    0xff,
   1403 	    23,
   1404 	    "0xff<lo=0xf>\0"
   1405 	    "0xff<low-bits=0xf=matc#\0");
   1406 
   1407 	// new style, named bit-field complete
   1408 	h_snprintb_m(
   1409 	    "\177\020"
   1410 	    "f\000\004lo\0"
   1411 	    "f\000\004low-bits\0"
   1412 		"=\017match\0",
   1413 	    0xff,
   1414 	    24,
   1415 	    "0xff<lo=0xf>\0"
   1416 	    "0xff<low-bits=0xf=match>\0");
   1417 
   1418 	// new style, line_max exceeded by unnamed bit-field number in line 1
   1419 	h_snprintb_m(
   1420 	    "\177\020"
   1421 	    "F\000\004\0",
   1422 	    0xff,
   1423 	    3,
   1424 	    "0x#\0");
   1425 
   1426 	// new style, line_max exceeded by unnamed bit-field '<' in line 1
   1427 	h_snprintb_m(
   1428 	    "\177\020"
   1429 	    "F\000\004\0",
   1430 	    0xff,
   1431 	    4,
   1432 	    "0xf#\0");
   1433 
   1434 	// new style, line_max exceeded by unnamed bit-field value description
   1435 	// in line 1
   1436 	h_snprintb_m(
   1437 	    "\177\020"
   1438 	    "F\000\004\0"
   1439 		":\017match\0",
   1440 	    0xff,
   1441 	    9,
   1442 	    "0xff<mat#\0");
   1443 
   1444 	// new style, line_max exceeded by unnamed bit-field '>' in line 1
   1445 	h_snprintb_m(
   1446 	    "\177\020"
   1447 	    "F\000\004\0"
   1448 		":\017match\0",
   1449 	    0xff,
   1450 	    10,
   1451 	    "0xff<matc#\0");
   1452 
   1453 	// new style, line_max exceeded by unnamed bit-field value description
   1454 	// in line 2
   1455 	h_snprintb_m(
   1456 	    "\177\020"
   1457 	    "F\000\004\0"
   1458 		":\017m1\0"
   1459 		":\017match\0",
   1460 	    0xff,
   1461 	    10,
   1462 	    "0xff<m1ma#\0");
   1463 
   1464 	// new style, line_max exceeded by unnamed bit-field '>' in line 2
   1465 	h_snprintb_m(
   1466 	    "\177\020"
   1467 	    "F\000\004\0"
   1468 		":\017m1\0"
   1469 		":\017match\0",
   1470 	    0xff,
   1471 	    10,
   1472 	    "0xff<m1ma#\0");
   1473 
   1474 	// new style unnamed bit-field complete
   1475 	h_snprintb_m(
   1476 	    "\177\020"
   1477 	    "F\000\004\0"
   1478 		":\017m1\0"
   1479 		":\017match\0",
   1480 	    0xff,
   1481 	    13,
   1482 	    "0xff<m1match>\0");
   1483 
   1484 	// new style, line_max exceeded by bit-field default
   1485 	h_snprintb_m(
   1486 	    "\177\020"
   1487 	    "f\000\004f\0"
   1488 		"*=default\0",
   1489 	    0xff,
   1490 	    17,
   1491 	    "0xff<f=0xf=defau#\0");
   1492 
   1493 	// new style, line_max exceeded by unmatched field value
   1494 	h_snprintb_m(
   1495 	    "\177\020"
   1496 	    "f\000\004bits\0"
   1497 		"=\000zero\0",
   1498 	    0xff,
   1499 	    11,
   1500 	    "0xff<bits=#\0");
   1501 
   1502 	// example from the manual page, new style bits and fields
   1503 	h_snprintb_m(
   1504 	    "\177\020"
   1505 	    "b\000" "LSB\0"
   1506 	    "b\001" "BITONE\0"
   1507 	    "f\004\004" "NIBBLE2\0"
   1508 	    "f\020\004" "BURST\0"
   1509 		"=\x04" "FOUR\0"
   1510 		"=\x0f" "FIFTEEN\0"
   1511 	    "b\037" "MSB\0",
   1512 	    0x800f0701,
   1513 	    34,
   1514 	    "0x800f0701<LSB,NIBBLE2=0>\0"
   1515 	    "0x800f0701<BURST=0xf=FIFTEEN,MSB>\0");
   1516 
   1517 	// new style, missing number base
   1518 	h_snprintb_m_len(
   1519 	    1024,
   1520 	    "\177",
   1521 	    0xff,
   1522 	    128,
   1523 	    -1,
   1524 	    "#\0");
   1525 
   1526 	// new style, buffer too small for complete number in line 2
   1527 	h_snprintb_m_len(
   1528 	    15,
   1529 	    "\177\020"
   1530 	    "b\000lsb\0"
   1531 	    "b\001two\0",
   1532 	    0xff,
   1533 	    11,
   1534 	    20,
   1535 	    "0xff<lsb>\0"
   1536 	    "0x#\0");
   1537 
   1538 	// new-style format, buffer too small for '<' in line 2
   1539 	h_snprintb_m_len(
   1540 	    16,
   1541 	    "\177\020"
   1542 	    "b\000lsb\0"
   1543 	    "b\001two\0",
   1544 	    0xff,
   1545 	    11,
   1546 	    20,
   1547 	    "0xff<lsb>\0"
   1548 	    "0xf#\0");
   1549 
   1550 	// new-style format, buffer too small for textual fallback
   1551 	h_snprintb_m_len(
   1552 	    24,
   1553 	    "\177\020"
   1554 	    "f\000\004bits\0"
   1555 		"*=fallback\0"
   1556 	    "b\0024\0",
   1557 	    0xff,
   1558 	    64,
   1559 	    26,
   1560 	    "0xff<bits=0xf=fallbac#\0");
   1561 
   1562 	// new-style format, buffer too small for numeric fallback
   1563 	h_snprintb_m_len(
   1564 	    20,
   1565 	    "\177\020"
   1566 	    "F\000\004\0"
   1567 		"*fallback(%040jd)\0",
   1568 	    0xff,
   1569 	    64,
   1570 	    57,
   1571 	    "0xff<fallback(000#\0");
   1572 
   1573 	// new-style format, buffer too small for numeric fallback past buffer
   1574 	h_snprintb_m_len(
   1575 	    15,
   1576 	    "\177\020"
   1577 	    "F\000\004\0"
   1578 		"*fallback(%010jd)\0"
   1579 	    "F\004\004\0"
   1580 		"*fallback(%010jd)\0",
   1581 	    0xff,
   1582 	    64,
   1583 	    48,
   1584 	    "0xff<fallbac#\0");
   1585 
   1586 	// new style, bits and fields, line break between fields
   1587 	h_snprintb_m(
   1588 	    "\177\020"
   1589 	    "b\0LSB\0"
   1590 	    "b\1_BITONE\0"
   1591 	    "f\4\4NIBBLE2\0"
   1592 	    "f\x10\4BURST\0"
   1593 		"=\04FOUR\0"
   1594 		"=\17FIFTEEN\0"
   1595 	    "b\x1fMSB\0",
   1596 	    0x800f0701,
   1597 	    33,
   1598 	    "0x800f0701<LSB,NIBBLE2=0>\0"
   1599 	    "0x800f0701<BURST=0xf=FIFTEEN,MSB>\0");
   1600 
   1601 	// new style, bits and fields, line break after field description
   1602 	h_snprintb_m(
   1603 	    "\177\020"
   1604 	    "b\0LSB\0"
   1605 	    "b\1_BITONE\0"
   1606 	    "f\4\4NIBBLE2\0"
   1607 	    "f\020\4BURST\0"
   1608 		"=\04FOUR\0"
   1609 		"=\17FIFTEEN\0"
   1610 	    "b\037MSB\0",
   1611 	    0x800f0701,
   1612 	    32,
   1613 	    "0x800f0701<LSB,NIBBLE2=0>\0"
   1614 	    "0x800f0701<BURST=0xf=FIFTEEN>\0"
   1615 	    "0x800f0701<MSB>\0");
   1616 }
   1617 
   1618 ATF_TP_ADD_TCS(tp)
   1619 {
   1620 
   1621 	ATF_TP_ADD_TC(tp, snprintb);
   1622 	ATF_TP_ADD_TC(tp, snprintb_m);
   1623 
   1624 	return atf_no_error();
   1625 }
   1626