1 /* $NetBSD: msg_366.c,v 1.5 2024/08/31 06:57:31 rillig Exp $ */ 2 # 3 "msg_366.c" 3 4 // Test for message: missing '\0' at the end of '%.*s' [366] 5 6 /* 7 * In the new-style format, each conversion ends with a '\0'. If that's not 8 * the case, snprintb will read beyond the end of the format argument, looking 9 * for the terminating '\0'. In the most common case where the format comes 10 * from a string literal, the '\0' from the conversion needs to be spelled 11 * out, while the '\0' that terminates the sequence of conversions is provided 12 * by the C compiler. 13 */ 14 15 /* lint1-extra-flags: -X 351 */ 16 17 typedef typeof(sizeof(0)) size_t; 18 typedef unsigned long long uint64_t; 19 20 int snprintb(char *, size_t, const char *, uint64_t); 21 22 void 23 example(unsigned u32) 24 { 25 char buf[64]; 26 27 /* expect+4: warning: redundant '\0' at the end of the format [377] */ 28 snprintb(buf, sizeof(buf), 29 "\177\020" 30 "\0", 31 u32); 32 33 /* expect+5: warning: empty description in 'b\007' [367] */ 34 /* expect+4: warning: missing '\0' at the end of 'b\007' [366] */ 35 snprintb(buf, sizeof(buf), 36 "\177\020" 37 "b\007", 38 u32); 39 40 /* expect+5: warning: empty description in 'f\007\000' [367] */ 41 /* expect+4: warning: missing '\0' at the end of 'f\007\000' [366] */ 42 snprintb(buf, sizeof(buf), 43 "\177\020" 44 "f\007\000", 45 u32); 46 47 /* expect+4: warning: missing '\0' at the end of 'F\007\000' [366] */ 48 snprintb(buf, sizeof(buf), 49 "\177\020" 50 "F\007\000", 51 u32); 52 53 /* expect+4: warning: missing '\0' at the end of '=\007value' [366] */ 54 snprintb(buf, sizeof(buf), 55 "\177\020" 56 "=\007value", 57 u32); 58 59 /* expect+4: warning: missing '\0' at the end of ':\007value' [366] */ 60 snprintb(buf, sizeof(buf), 61 "\177\020" 62 ":\007value", 63 u32); 64 65 /* expect+4: warning: missing '\0' at the end of '*default' [366] */ 66 snprintb(buf, sizeof(buf), 67 "\177\020" 68 "*default", 69 u32); 70 } 71