Home | History | Annotate | Line # | Download | only in lint1
msg_362.c revision 1.1
      1  1.1  rillig /*	$NetBSD: msg_362.c,v 1.1 2024/03/01 19:39:28 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_362.c"
      3  1.1  rillig 
      4  1.1  rillig // Test for message: old-style format contains '\0' [362]
      5  1.1  rillig 
      6  1.1  rillig /*
      7  1.1  rillig  * The old-style format uses 1-based bit positions, from 1 up to 32.
      8  1.1  rillig  * A null character would prematurely end the format argument.
      9  1.1  rillig  */
     10  1.1  rillig 
     11  1.1  rillig /* lint1-extra-flags: -X 351 */
     12  1.1  rillig 
     13  1.1  rillig typedef typeof(sizeof(0)) size_t;
     14  1.1  rillig typedef unsigned long long uint64_t;
     15  1.1  rillig 
     16  1.1  rillig int snprintb(char*, size_t, const char*, uint64_t);
     17  1.1  rillig 
     18  1.1  rillig void
     19  1.1  rillig example(unsigned u32)
     20  1.1  rillig {
     21  1.1  rillig 	char buf[64];
     22  1.1  rillig 
     23  1.1  rillig 	/* expect+1: warning: bit position '\000' (0) in '\000lsb' out of range 1..32 [371] */
     24  1.1  rillig 	snprintb(buf, sizeof(buf), "\020\000lsb\037msb", u32);
     25  1.1  rillig 	/* expect+2: warning: old-style format contains '\0' [362] */
     26  1.1  rillig 	/* expect+1: warning: bit position '\000' (0) in '\000lsb' out of range 1..32 [371] */
     27  1.1  rillig 	snprintb(buf, sizeof(buf), "\020\037msb\000lsb", u32);
     28  1.1  rillig }
     29