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 'f000円101円all+10円' out of range 0..64 [372] */ 25 /* expect+11: warning: bit field end 65 in 'f000円101円all+10円' out of range 0..64 [373] */ 26 /* expect+10: warning: bit field end 65 in 'f001円100円oob640円' out of range 0..64 [373] */ 27 /* expect+9: warning: 'f001円100円oob640円' overlaps earlier 'f000円100円all0円' on bit 1 [376] */ 28 /* expect+8: warning: field width '377円' (255) in 'f010円377円oob640円' out of range 0..64 [372] */ 29 /* expect+7: warning: bit field end 263 in 'f010円377円oob640円' out of range 0..64 [373] */ 30 snprintb(buf, sizeof(buf), 31 "177円020円" 32 "f000円100円all0円" 33 "f000円101円all+10円" 34 "f001円100円oob640円" 35 "f010円377円oob640円", 36 u64); 37 38 /* expect+5: warning: bit position '377円' (255) in 'f377円002円wrap-around0円' out of range 0..63 [371] */ 39 /* expect+4: warning: bit field end 257 in 'f377円002円wrap-around0円' out of range 0..64 [373] */ 40 snprintb(buf, sizeof(buf), 41 "177円020円" 42 "f377円002円wrap-around0円", 43 u64); 44} 45