xref: /netbsd-src/tests/usr.bin/xlint/lint1/msg_371.c (revision 465ab238788e2dd3555edb0497148fa4c5f47dc7)
1*465ab238Srillig /*	$NetBSD: msg_371.c,v 1.3 2024/08/31 06:57:31 rillig Exp $	*/
238c0bdf2Srillig # 3 "msg_371.c"
338c0bdf2Srillig 
438c0bdf2Srillig // Test for message: bit position '%.*s' (%ju) in '%.*s' out of range %u..%u [371]
538c0bdf2Srillig 
638c0bdf2Srillig /*
738c0bdf2Srillig  * In old-style formats, bit positions are 1-based and must be in the range
838c0bdf2Srillig  * from 1 to 32.  In new-style formats, bit positions are 0-based and must be
938c0bdf2Srillig  * in the range from 0 to 63.
1038c0bdf2Srillig  */
1138c0bdf2Srillig 
1238c0bdf2Srillig /* lint1-extra-flags: -X 351 */
1338c0bdf2Srillig 
1438c0bdf2Srillig typedef typeof(sizeof(0)) size_t;
1538c0bdf2Srillig typedef unsigned long long uint64_t;
1638c0bdf2Srillig 
1738c0bdf2Srillig int snprintb(char *, size_t, const char *, uint64_t);
1838c0bdf2Srillig 
1938c0bdf2Srillig void
2038c0bdf2Srillig example(unsigned u32, uint64_t u64)
2138c0bdf2Srillig {
2238c0bdf2Srillig 	char buf[64];
2338c0bdf2Srillig 
24dae6022bSrillig 	/* expect+12: warning: bit position '\000' (0) in '\000zero' out of range 1..32 [371] */
25dae6022bSrillig 	/* expect+11: warning: escaped character '\041' in description of conversion '\040bit32""\041' [363] */
26dae6022bSrillig 	/* expect+10: warning: escaped character '\177' in description of conversion '\040bit32""\041bit33""\177' [363] */
27dae6022bSrillig 	/* expect+9: warning: escaped character '\377' in description of conversion '\040bit32""\041bit33""\177bit127""\377' [363] */
2838c0bdf2Srillig 	snprintb(buf, sizeof(buf),
2938c0bdf2Srillig 	    "\020"
3038c0bdf2Srillig 	    "\000zero"
3138c0bdf2Srillig 	    "\001bit1"
3238c0bdf2Srillig 	    "\040bit32"
3338c0bdf2Srillig 	    "\041bit33"
3438c0bdf2Srillig 	    "\177bit127"
3538c0bdf2Srillig 	    "\377bit255",
3638c0bdf2Srillig 	    u32);
3738c0bdf2Srillig 
3838c0bdf2Srillig 	/* expect+10: warning: bit position '\100' (64) in 'b\100bit64\0' out of range 0..63 [371] */
3938c0bdf2Srillig 	/* expect+9: warning: bit position '\177' (127) in 'b\177bit127\0' out of range 0..63 [371] */
4038c0bdf2Srillig 	/* expect+8: warning: bit position '\377' (255) in 'b\377bit255\0' out of range 0..63 [371] */
4138c0bdf2Srillig 	snprintb(buf, sizeof(buf),
4238c0bdf2Srillig 	    "\177\020"
4338c0bdf2Srillig 	    "b\000bit0\0"
4438c0bdf2Srillig 	    "b\077bit63\0"
4538c0bdf2Srillig 	    "b\100bit64\0"
4638c0bdf2Srillig 	    "b\177bit127\0"
4738c0bdf2Srillig 	    "b\377bit255\0",
4838c0bdf2Srillig 	    u64);
4938c0bdf2Srillig 
5038c0bdf2Srillig 	/* expect+11: warning: bit position '\100' (64) in 'F\100\000none\0' out of range 0..63 [371] */
5138c0bdf2Srillig 	/* expect+10: warning: bit position '\100' (64) in 'f\100\001oob\0' out of range 0..63 [371] */
5238c0bdf2Srillig 	/* expect+9: warning: bit field end 65 in 'f\100\001oob\0' out of range 0..64 [373] */
5338c0bdf2Srillig 	/* expect+8: warning: bit position '\101' (65) in 'F\101\001oob\0' out of range 0..63 [371] */
5438c0bdf2Srillig 	/* expect+7: warning: bit field end 66 in 'F\101\001oob\0' out of range 0..64 [373] */
5538c0bdf2Srillig 	snprintb(buf, sizeof(buf),
5638c0bdf2Srillig 	    "\177\020"
5738c0bdf2Srillig 	    "f\077\001msb\0"
5838c0bdf2Srillig 	    "F\100\000none\0"
5938c0bdf2Srillig 	    "f\100\001oob\0"
6038c0bdf2Srillig 	    "F\101\001oob\0",
6138c0bdf2Srillig 	    u64);
6238c0bdf2Srillig }
63