msg_371.c revision 1.2
1/*	$NetBSD: msg_371.c,v 1.2 2024/04/12 05:17:48 rillig Exp $	*/
2# 3 "msg_371.c"
3
4// Test for message: bit position '%.*s' (%ju) in '%.*s' out of range %u..%u [371]
5
6/*
7 * In old-style formats, bit positions are 1-based and must be in the range
8 * from 1 to 32.  In new-style formats, bit positions are 0-based and must be
9 * in the range from 0 to 63.
10 */
11
12/* lint1-extra-flags: -X 351 */
13
14typedef typeof(sizeof(0)) size_t;
15typedef unsigned long long uint64_t;
16
17int snprintb(char*, size_t, const char*, uint64_t);
18
19void
20example(unsigned u32, uint64_t u64)
21{
22	char buf[64];
23
24	/* expect+12: warning: bit position '\000' (0) in '\000zero' out of range 1..32 [371] */
25	/* expect+11: warning: escaped character '\041' in description of conversion '\040bit32""\041' [363] */
26	/* expect+10: warning: escaped character '\177' in description of conversion '\040bit32""\041bit33""\177' [363] */
27	/* expect+9: warning: escaped character '\377' in description of conversion '\040bit32""\041bit33""\177bit127""\377' [363] */
28	snprintb(buf, sizeof(buf),
29	    "\020"
30	    "\000zero"
31	    "\001bit1"
32	    "\040bit32"
33	    "\041bit33"
34	    "\177bit127"
35	    "\377bit255",
36	    u32);
37
38	/* expect+10: warning: bit position '\100' (64) in 'b\100bit64\0' out of range 0..63 [371] */
39	/* expect+9: warning: bit position '\177' (127) in 'b\177bit127\0' out of range 0..63 [371] */
40	/* expect+8: warning: bit position '\377' (255) in 'b\377bit255\0' out of range 0..63 [371] */
41	snprintb(buf, sizeof(buf),
42	    "\177\020"
43	    "b\000bit0\0"
44	    "b\077bit63\0"
45	    "b\100bit64\0"
46	    "b\177bit127\0"
47	    "b\377bit255\0",
48	    u64);
49
50	/* expect+11: warning: bit position '\100' (64) in 'F\100\000none\0' out of range 0..63 [371] */
51	/* expect+10: warning: bit position '\100' (64) in 'f\100\001oob\0' out of range 0..63 [371] */
52	/* expect+9: warning: bit field end 65 in 'f\100\001oob\0' out of range 0..64 [373] */
53	/* expect+8: warning: bit position '\101' (65) in 'F\101\001oob\0' out of range 0..63 [371] */
54	/* expect+7: warning: bit field end 66 in 'F\101\001oob\0' out of range 0..64 [373] */
55	snprintb(buf, sizeof(buf),
56	    "\177\020"
57	    "f\077\001msb\0"
58	    "F\100\000none\0"
59	    "f\100\001oob\0"
60	    "F\101\001oob\0",
61	    u64);
62}
63