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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/* PR middle-end/77721 - -Wformat-overflow not uses arg range for converted vars
Test to verify that the correct range information is made available to the
-Wformat-lenght check to prevent warnings. */
/* { dg-do compile } */
/* { dg-options "-O2 -Wformat -Wformat-overflow -fdump-tree-optimized" } */
void abort (void);
int snprintf (char*, __SIZE_TYPE__, const char*, ...);
void fuchar (unsigned char j, char *p)
{
if (j > 99)
return;
if (3 != snprintf (p, 4, "%3hu", j))
abort ();
}
void fschar (signed char j, char *p)
{
const unsigned char k = (unsigned char) j;
if (k > 99)
return;
if (3 != snprintf (p, 4, "%3hhu", k))
abort ();
}
void fushrt (unsigned short j, char *p)
{
if (j > 999)
return;
if (3 != snprintf (p, 4, "%3hu", j))
abort ();
}
void fshrt (short j, char *p)
{
const unsigned short k = (unsigned short) j;
if (k > 999)
return;
if (3 != snprintf (p, 4, "%3hu", k))
abort ();
}
void fuint (unsigned j, char *p)
{
if (j > 999)
return;
snprintf (p, 4, "%3u", j);
}
void fint (int j, char *p)
{
const unsigned k = (unsigned) j;
if (k > 999)
return;
snprintf (p, 4, "%3u", k);
}
void fulong (unsigned long j, char *p)
{
if (j > 999)
return;
snprintf (p, 4, "%3lu", j);
}
void flong (long j, char *p)
{
const unsigned long k = (unsigned long) j;
if (k > 999)
return;
snprintf (p, 4, "%3lu", k);
}
void fullong (unsigned long long j, char *p)
{
if (j > 999)
return;
snprintf (p, 4, "%3llu", j);
}
void fllong (long long j, char *p)
{
const unsigned long long k = (unsigned long long) j;
if (k > 999)
return;
snprintf (p, 4, "%3llu", k);
}
/* { dg-final { scan-tree-dump-not "abort" "optimized" } } */
|
