Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-19.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR tree-optimization/80397 - missing -Wformat-overflow with arguments
kono
parents:
diff changeset
2 of enum types
kono
parents:
diff changeset
3 { dg-do compile }
kono
parents:
diff changeset
4 { dg-options "-O2 -Wall -Wformat-overflow=1 -ftrack-macro-expansion=0" }
kono
parents:
diff changeset
5 { dg-require-effective-target int32plus } */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 void sink (char*);
kono
parents:
diff changeset
8
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
9 static long long integer_range (long long min, long long max)
111
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 extern long long integer_value (void);
kono
parents:
diff changeset
12 long long n = integer_value ();
kono
parents:
diff changeset
13 return n < min || max < n ? min : n;
kono
parents:
diff changeset
14 }
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 typedef enum { i0, imax = __INT_MAX__ } Int;
kono
parents:
diff changeset
17 typedef enum { ll0, llmax = __LONG_LONG_MAX__ } LLong;
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 #define R(T, min, max) (T)integer_range (min, max)
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 char buffer[1];
kono
parents:
diff changeset
22 #define T(fmt, ...) \
kono
parents:
diff changeset
23 __builtin_sprintf (buffer + 1, fmt, __VA_ARGS__), sink (buffer)
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 void test_bool (_Bool b)
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 T ("%hhi", b); // { dg-warning "writing 1 byte" }
kono
parents:
diff changeset
28 T ( "%hi", b); // { dg-warning "writing 1 byte" }
kono
parents:
diff changeset
29 T ( "%i", b); // { dg-warning "writing 1 byte" }
kono
parents:
diff changeset
30 }
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 void test_enum (void)
kono
parents:
diff changeset
33 {
kono
parents:
diff changeset
34 T ("%hhi", R (Int, 1, 1)); // { dg-warning "writing 1 byte" }
kono
parents:
diff changeset
35 T ("%hhi", R (Int, 1, 22)); // { dg-warning "between 1 and 2 bytes" }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 T ( "%hi", R (Int, 1, 2)); // { dg-warning "writing 1 " }
kono
parents:
diff changeset
38 T ( "%hi", R (Int, 1, 22)); // { dg-warning "between 1 and 2 " }
kono
parents:
diff changeset
39 T ( "%hi", R (Int, 22, 333)); // { dg-warning "between 2 and 3 " }
kono
parents:
diff changeset
40 T ( "%hi", R (Int, 333, 4444)); // { dg-warning "between 3 and 4 " }
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 T ( "%i", R (Int, 1, 1)); // { dg-warning "writing 1 " }
kono
parents:
diff changeset
43 T ( "%i", R (Int, 1, 22)); // { dg-warning "between 1 and 2 " }
kono
parents:
diff changeset
44 T ( "%i", R (Int, 22, 333)); // { dg-warning "between 2 and 3 " }
kono
parents:
diff changeset
45 T ( "%i", R (Int, 333, 4444)); // { dg-warning "between 3 and 4 " }
kono
parents:
diff changeset
46 T ( "%i", R (Int, 4444, 55555)); // { dg-warning "between 4 and 5 " }
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 #if __LONG_MAX__ == __LONG_LONG_MAX__
kono
parents:
diff changeset
49 # define LLI "%li"
kono
parents:
diff changeset
50 #else
kono
parents:
diff changeset
51 # define LLI "%lli"
kono
parents:
diff changeset
52 #endif
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 T (LLI, R (LLong, 1, 1)); // { dg-warning "writing 1 " }
kono
parents:
diff changeset
55 T (LLI, R (LLong, 1, 22)); // { dg-warning "between 1 and 2 " }
kono
parents:
diff changeset
56 T (LLI, R (LLong, 22, 333)); // { dg-warning "between 2 and 3 " }
kono
parents:
diff changeset
57 T (LLI, R (LLong, 333, 4444)); // { dg-warning "between 3 and 4 " }
kono
parents:
diff changeset
58 T (LLI, R (LLong, 4444, 55555)); // { dg-warning "between 4 and 5 " }
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 T (LLI, R (LLong, 4444, 1234567890)); // { dg-warning "between 4 and 10 " }
kono
parents:
diff changeset
61 T (LLI, R (LLong, 4444, 12345678901)); // { dg-warning "between 4 and 11 " }
kono
parents:
diff changeset
62 }