1 /*        $NetBSD: msg_371.c,v 1.3 2024/08/31 06:57:31 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 
14 typedef typeof(sizeof(0)) size_t;
15 typedef unsigned long long uint64_t;
16 
17 int snprintb(char *, size_t, const char *, uint64_t);
18 
19 void
example(unsigned u32,uint64_t u64)20 example(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