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
example(unsigned u32)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