Home | History | Annotate | Line # | Download | only in lint1 
      1 /*	$NetBSD: msg_376.c,v 1.4 2024/08/31 06:57:31 rillig Exp $	*/
      2 # 3 "msg_376.c"
      3 
      4 // Test for message: '%.*s' overlaps earlier '%.*s' on bit %u [376]
      5 
      6 /*
      7  * When bits and fields overlap, it's often due to typos or off-by-one errors.
      8  */
      9 
     10 /* lint1-extra-flags: -X 351 */
     11 
     12 typedef typeof(sizeof(0)) size_t;
     13 typedef unsigned long long uint64_t;
     14 
     15 int snprintb(char *, size_t, const char *, uint64_t);
     16 
     17 void
     18 example(unsigned u32, uint64_t u64)
     19 {
     20 	char buf[64];
     21 
     22 	// In the old-style format, bit positions are 1-based.
     23 	snprintb(buf, sizeof(buf),
     24 	    "\020"
     25 	    "\001lsb"
     26 	    "\x01lsb"
     27 	    "\040msb"
     28 	    "\x20msb"
     29 	    "\041oob"
     30 	    "\x21oob",
     31 	    /* expect+4: warning: '\x01lsb' overlaps earlier '\001lsb' on bit 1 [376] */
     32 	    /* expect+3: warning: escaped character '\041' in description of conversion '\x20msb""\041' [363] */
     33 	    /* expect+2: warning: escaped character '\x21' in description of conversion '\x20msb""\041oob""\x21' [363] */
     34 	    /* expect+1: warning: '\x20msb""\041oob""\x21oob' overlaps earlier '\040msb' on bit 32 [376] */
     35 	    u32);
     36 
     37 	// In the new-style format, bit positions are 0-based.
     38 	/* expect+10: warning: 'b\x00lsb\0' overlaps earlier 'b\000lsb\0' on bit 0 [376] */
     39 	/* expect+9: warning: 'b\x3fmsb\0' overlaps earlier 'b\077msb\0' on bit 63 [376] */
     40 	/* expect+8: warning: bit position '\x40' (64) in 'b\x40oob\0' out of range 0..63 [371] */
     41 	snprintb(buf, sizeof(buf),
     42 	    "\177\020"
     43 	    "b\000lsb\0"
     44 	    "b\x00lsb\0"
     45 	    "b\077msb\0"
     46 	    "b\x3fmsb\0"
     47 	    "b\x40oob\0",
     48 	    u64);
     49 
     50 	/* expect+7: warning: 'F\014\010f2\0' overlaps earlier 'f\010\010f1\0' on bit 12 [376] */
     51 	/* expect+6: warning: 'f\020\010f3\0' overlaps earlier 'F\014\010f2\0' on bit 16 [376] */
     52 	snprintb(buf, sizeof(buf),
     53 	    "\177\020"
     54 	    "f\010\010f1\0"
     55 	    "F\014\010f2\0"
     56 	    "f\020\010f3\0",
     57 	    u64);
     58 }
     59