Home | History | Annotate | Line # | Download | only in lint1 
      1 /*	$NetBSD: msg_373.c,v 1.4 2024/08/31 06:57:31 rillig Exp $	*/
      2 # 3 "msg_373.c"
      3 
      4 // Test for message: bit field end %ju in '%.*s' out of range 0..64 [373]
      5 
      6 /*
      7  * A bit-field may start in the middle of the value.  When its end goes beyond
      8  * 64, this means the uppermost bits will always be 0, and a narrower
      9  * bit-field would have the same effect.
     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
     20 example(uint64_t u64)
     21 {
     22 	char buf[64];
     23 
     24 	/* expect+12: warning: field width '\101' (65) in 'f\000\101all+1\0' out of range 0..64 [372] */
     25 	/* expect+11: warning: bit field end 65 in 'f\000\101all+1\0' out of range 0..64 [373] */
     26 	/* expect+10: warning: bit field end 65 in 'f\001\100oob64\0' out of range 0..64 [373] */
     27 	/* expect+9: warning: 'f\001\100oob64\0' overlaps earlier 'f\000\100all\0' on bit 1 [376] */
     28 	/* expect+8: warning: field width '\377' (255) in 'f\010\377oob64\0' out of range 0..64 [372] */
     29 	/* expect+7: warning: bit field end 263 in 'f\010\377oob64\0' out of range 0..64 [373] */
     30 	snprintb(buf, sizeof(buf),
     31 	    "\177\020"
     32 	    "f\000\100all\0"
     33 	    "f\000\101all+1\0"
     34 	    "f\001\100oob64\0"
     35 	    "f\010\377oob64\0",
     36 	    u64);
     37 
     38 	/* expect+5: warning: bit position '\377' (255) in 'f\377\002wrap-around\0' out of range 0..63 [371] */
     39 	/* expect+4: warning: bit field end 257 in 'f\377\002wrap-around\0' out of range 0..64 [373] */
     40 	snprintb(buf, sizeof(buf),
     41 	    "\177\020"
     42 	    "f\377\002wrap-around\0",
     43 	    u64);
     44 }
     45