1 /* $NetBSD: msg_372.c,v 1.4 2024年08月31日 06:57:31 rillig Exp $ */ 2# 3 "msg_372.c" 3 4 // Test for message: field width '%.*s' (%ju) in '%.*s' out of range 0..64 [372] 5 6 /* 7 * In new-style formats, the width of a bit-field must be between 0 (an empty 8 * bit-field) and 64 (a bit-field spanning the whole value). 9 */ 10 11 /* lint1-extra-flags: -X 351 */ 12 13 typedef typeof(sizeof(0)) size_t; 14 typedef unsigned long long uint64_t; 15 16 int snprintb(char *, size_t, const char *, uint64_t); 17 18 void 19 example(uint64_t u64) 20{ 21 char buf[64]; 22 23 /* expect+12: warning: field width '101円' (65) in 'f000円101円all+10円' out of range 0..64 [372] */ 24 /* expect+11: warning: bit field end 65 in 'f000円101円all+10円' out of range 0..64 [373] */ 25 /* expect+10: warning: bit field end 65 in 'f001円100円oob640円' out of range 0..64 [373] */ 26 /* expect+9: warning: 'f001円100円oob640円' overlaps earlier 'f000円100円all0円' on bit 1 [376] */ 27 /* expect+8: warning: field width '377円' (255) in 'f010円377円oob640円' out of range 0..64 [372] */ 28 /* expect+7: warning: bit field end 263 in 'f010円377円oob640円' out of range 0..64 [373] */ 29 snprintb(buf, sizeof(buf), 30 "177円020円" 31 "f000円100円all0円" 32 "f000円101円all+10円" 33 "f001円100円oob640円" 34 "f010円377円oob640円", 35 u64); 36} 37