111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-O2 -Wformat -Wformat-truncation=1 -ftrack-macro-expansion=0" } */
|
|
3
|
|
4 typedef struct
|
|
5 {
|
|
6 char a0[0];
|
|
7 /* Separate a0 from a1 to prevent the former from being substituted
|
|
8 for the latter and causing false positives. */
|
|
9 int: 8;
|
|
10 char a1[1];
|
|
11 char a2[2];
|
|
12 char a3[3];
|
|
13 char a4[4];
|
|
14 char ax[];
|
|
15 } Arrays;
|
|
16
|
|
17 char buffer[1024];
|
|
18 #define buffer(size) (buffer + sizeof buffer - size)
|
|
19
|
131
|
20 static int value_range (int min, int max)
|
111
|
21 {
|
|
22 extern int value (void);
|
|
23 int val = value ();
|
|
24 return val < min || max < val ? min : val;
|
|
25 }
|
|
26
|
|
27 #define R(min, max) value_range (min, max)
|
|
28
|
|
29 extern void sink (void*);
|
|
30
|
|
31 /* Verify that calls to snprintf whose return value is unused are
|
|
32 diagnosed if certain or possible truncation is detected. */
|
|
33
|
|
34 #define T(size, ...) \
|
|
35 __builtin_snprintf (buffer (size), size, __VA_ARGS__), sink (buffer)
|
|
36
|
|
37 void test_int_retval_unused (void)
|
|
38 {
|
|
39 T (2, "%i", 123); /* { dg-warning "output truncated" } */
|
|
40 T (2, "%i", R (1, 99)); /* { dg-warning "output may be truncated" } */
|
|
41 T (2, "%i", R (10, 99)); /* { dg-warning "output truncated" } */
|
|
42 T (3, "%i%i", R (1, 99), R (1, 99)); /* { dg-warning "output may be truncated" } */
|
|
43 }
|
|
44
|
|
45 void test_string_retval_unused (const Arrays *ar)
|
|
46 {
|
|
47 /* At level 1 strings of unknown length are assumed to be empty so
|
|
48 the following is not diagnosed. */
|
|
49 T (1, "%-s", ar->a0);
|
|
50 /* A one-byte array can only hold an empty string, so the following
|
|
51 isn't diagnosed. */
|
|
52 T (1, "%-s", ar->a1);
|
|
53 /* Unlike the ar->a0 case above, at level 1, the length of an unknown
|
|
54 string that points to an array of known size is assumed to be the
|
|
55 size of the array minus 1. */
|
|
56 T (1, "%-s", ar->a2); /* { dg-warning "output may be truncated" } */
|
|
57 T (1, "%-s", ar->a3); /* { dg-warning "output may be truncated" } */
|
|
58 T (1, "%-s", ar->a4); /* { dg-warning "output may be truncated" } */
|
|
59 /* Same as the ar->a0 case above. */
|
|
60 T (1, "%-s", ar->ax);
|
|
61 }
|
|
62
|
|
63
|
|
64 /* Verify that calls to snprintf whose return value is used are
|
|
65 diagnosed only if certain truncation is detected but not when
|
|
66 truncation is only possible but not certain. */
|
|
67
|
|
68 volatile int retval;
|
|
69
|
|
70 #undef T
|
|
71 #define T(size, ...) \
|
|
72 retval = __builtin_snprintf (buffer (size), size, __VA_ARGS__)
|
|
73
|
|
74 void test_int_retval_used (void)
|
|
75 {
|
|
76 T (2, "%i", 123); /* { dg-warning "output truncated" } */
|
|
77 T (2, "%i", R (1, 99));
|
|
78 T (2, "%i", R (10, 99)); /* { dg-warning "output truncated" } */
|
|
79 T (3, "%i%i", R (1, 99), R (1, 99));
|
|
80 }
|
|
81
|
|
82 void test_string_retval_used (const Arrays *ar)
|
|
83 {
|
|
84 T (1, "%-s", ar->a0);
|
|
85 T (1, "%-s", ar->a1);
|
|
86 T (1, "%-s", ar->a2);
|
|
87 T (1, "%-s", ar->a3);
|
|
88 T (1, "%-s", ar->a4);
|
|
89 T (1, "%-s", "123"); /* { dg-warning "output truncated" } */
|
|
90 }
|