1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
/* PR tree-optimization/80397 - missing -Wformat-overflow with arguments
of enum types
{ dg-do compile }
{ dg-options "-O2 -Wall -Wformat-overflow=1 -ftrack-macro-expansion=0" }
{ dg-require-effective-target int32plus } */
void sink (char*);
static long long integer_range (long long min, long long max)
{
extern long long integer_value (void);
long long n = integer_value ();
return n < min || max < n ? min : n;
}
typedef enum { i0, imax = __INT_MAX__ } Int;
typedef enum { ll0, llmax = __LONG_LONG_MAX__ } LLong;
#define R(T, min, max) (T)integer_range (min, max)
char buffer[1];
#define T(fmt, ...) \
__builtin_sprintf (buffer + 1, fmt, __VA_ARGS__), sink (buffer)
void test_bool (_Bool b)
{
T ("%hhi", b); // { dg-warning "writing 1 byte" }
T ( "%hi", b); // { dg-warning "writing 1 byte" }
T ( "%i", b); // { dg-warning "writing 1 byte" }
}
void test_enum (void)
{
T ("%hhi", R (Int, 1, 1)); // { dg-warning "writing 1 byte" }
T ("%hhi", R (Int, 1, 22)); // { dg-warning "between 1 and 2 bytes" }
T ( "%hi", R (Int, 1, 2)); // { dg-warning "writing 1 " }
T ( "%hi", R (Int, 1, 22)); // { dg-warning "between 1 and 2 " }
T ( "%hi", R (Int, 22, 333)); // { dg-warning "between 2 and 3 " }
T ( "%hi", R (Int, 333, 4444)); // { dg-warning "between 3 and 4 " }
T ( "%i", R (Int, 1, 1)); // { dg-warning "writing 1 " }
T ( "%i", R (Int, 1, 22)); // { dg-warning "between 1 and 2 " }
T ( "%i", R (Int, 22, 333)); // { dg-warning "between 2 and 3 " }
T ( "%i", R (Int, 333, 4444)); // { dg-warning "between 3 and 4 " }
T ( "%i", R (Int, 4444, 55555)); // { dg-warning "between 4 and 5 " }
#if __LONG_MAX__ == __LONG_LONG_MAX__
# define LLI "%li"
#else
# define LLI "%lli"
#endif
T (LLI, R (LLong, 1, 1)); // { dg-warning "writing 1 " }
T (LLI, R (LLong, 1, 22)); // { dg-warning "between 1 and 2 " }
T (LLI, R (LLong, 22, 333)); // { dg-warning "between 2 and 3 " }
T (LLI, R (LLong, 333, 4444)); // { dg-warning "between 3 and 4 " }
T (LLI, R (LLong, 4444, 55555)); // { dg-warning "between 4 and 5 " }
T (LLI, R (LLong, 4444, 1234567890)); // { dg-warning "between 4 and 10 " }
T (LLI, R (LLong, 4444, 12345678901)); // { dg-warning "between 4 and 11 " }
}
|
