1 /* PR tree-optimization/79327 - wrong code at -O2 and -fprintf-return-value
2 { dg-do compile }
3 { dg-options "-O2 -fdump-tree-optimized" } */
4
5 #define CAT(s, n) s ## n
6 #define FAIL(line) CAT (failure_on_line_, line)
7
8 /* Emit a call to a function named failure_on_line_NNN when EXPR is false. */
9 #define ASSERT(expr) \
10 do { \
11 extern void FAIL (__LINE__)(void); \
12 if (!(expr)) FAIL (__LINE__)(); \
13 } while (0)
14
15 #define KEEP(line) CAT (keep_call_on_line_, line)
16
17 /* Emit a call to a function named keep_call_on_line_NNN when EXPR is true.
18 Used to verify that the expression need not be the only one that holds. */
19 #define ASSERT_MAYBE(expr) \
20 do { \
21 extern void KEEP (__LINE__)(void); \
22 if (expr) KEEP (__LINE__)(); \
23 } while (0)
24
test_hho_cst(void)25 void test_hho_cst (void)
26 {
27 ASSERT (1 == __builtin_snprintf (0, 0, "%#.1hho", 0));
28 ASSERT (2 == __builtin_snprintf (0, 0, "%#.2hho", 0));
29
30 ASSERT (2 == __builtin_snprintf (0, 0, "%#.1hho", 1));
31 ASSERT (2 == __builtin_snprintf (0, 0, "%#.2hho", 1));
32 ASSERT (3 == __builtin_snprintf (0, 0, "%#.3hho", 1));
33 }
34
test_hho_var(int i)35 int test_hho_var (int i)
36 {
37 int n = __builtin_snprintf (0, 0, "%#hho", i);
38
39 ASSERT (0 < n && n < 5);
40
41 ASSERT_MAYBE (1 == n);
42 ASSERT_MAYBE (2 == n);
43 ASSERT_MAYBE (3 == n);
44 ASSERT_MAYBE (4 == n);
45
46 return n;
47 }
48
test_ho_var(int i)49 int test_ho_var (int i)
50 {
51 int n = __builtin_snprintf (0, 0, "%#ho", i);
52
53 ASSERT (0 < n && n < 8);
54
55 ASSERT_MAYBE (1 == n);
56 ASSERT_MAYBE (2 == n);
57 ASSERT_MAYBE (3 == n);
58 ASSERT_MAYBE (4 == n);
59 ASSERT_MAYBE (5 == n);
60 ASSERT_MAYBE (6 == n);
61 ASSERT_MAYBE (7 == n);
62
63 return n;
64 }
65
test_o_var(int i)66 int test_o_var (int i)
67 {
68 int n = __builtin_snprintf (0, 0, "%#o", i);
69
70 ASSERT (0 < n && n < 13);
71
72 ASSERT_MAYBE (1 == n);
73 ASSERT_MAYBE (2 == n);
74 ASSERT_MAYBE (3 == n);
75 ASSERT_MAYBE (4 == n);
76 ASSERT_MAYBE (5 == n);
77 ASSERT_MAYBE (6 == n);
78 ASSERT_MAYBE (7 == n);
79 ASSERT_MAYBE (8 == n);
80 ASSERT_MAYBE (9 == n);
81 ASSERT_MAYBE (10 == n);
82 ASSERT_MAYBE (11 == n);
83 ASSERT_MAYBE (12 == n);
84
85 return n;
86 }
87
test_hhx_cst(void)88 void test_hhx_cst (void)
89 {
90 ASSERT (1 == __builtin_snprintf (0, 0, "%#.1hhx", 0));
91 ASSERT (2 == __builtin_snprintf (0, 0, "%#.2hhx", 0));
92
93 ASSERT (3 == __builtin_snprintf (0, 0, "%#.1hhx", 1));
94 ASSERT (4 == __builtin_snprintf (0, 0, "%#.2hhx", 1));
95 ASSERT (5 == __builtin_snprintf (0, 0, "%#.3hhx", 1));
96 }
97
test_hhx_var(int i)98 int test_hhx_var (int i)
99 {
100 int n = __builtin_snprintf (0, 0, "%#hhx", i);
101
102 ASSERT (0 < n && n < 5);
103
104 ASSERT_MAYBE (1 == n);
105 ASSERT_MAYBE (2 == n);
106 ASSERT_MAYBE (3 == n);
107 ASSERT_MAYBE (4 == n);
108
109 return n;
110 }
111
test_hx_cst(void)112 void test_hx_cst (void)
113 {
114 ASSERT (1 == __builtin_snprintf (0, 0, "%#.1hx", 0));
115 ASSERT (2 == __builtin_snprintf (0, 0, "%#.2hx", 0));
116
117 ASSERT (3 == __builtin_snprintf (0, 0, "%#.1hx", 1));
118 ASSERT (4 == __builtin_snprintf (0, 0, "%#.2hx", 1));
119 ASSERT (5 == __builtin_snprintf (0, 0, "%#.3hx", 1));
120 }
121
test_hx_var(int i)122 int test_hx_var (int i)
123 {
124 int n = __builtin_snprintf (0, 0, "%#hx", i);
125
126 ASSERT (0 < n && n < 7);
127
128 ASSERT_MAYBE (1 == n);
129 ASSERT_MAYBE (2 == n);
130 ASSERT_MAYBE (3 == n);
131 ASSERT_MAYBE (4 == n);
132 ASSERT_MAYBE (5 == n);
133 ASSERT_MAYBE (6 == n);
134
135 return n;
136 }
137
test_x_var(int i)138 int test_x_var (int i)
139 {
140 int n = __builtin_snprintf (0, 0, "%#x", i);
141
142 ASSERT (0 < n && n < 11);
143
144 ASSERT_MAYBE (1 == n);
145 ASSERT_MAYBE (2 == n);
146 ASSERT_MAYBE (3 == n);
147 ASSERT_MAYBE (4 == n);
148 ASSERT_MAYBE (5 == n);
149 ASSERT_MAYBE (6 == n);
150 ASSERT_MAYBE (7 == n);
151 ASSERT_MAYBE (8 == n);
152 ASSERT_MAYBE (9 == n);
153 ASSERT_MAYBE (10 == n);
154
155 return n;
156 }
157
158 /* { dg-final { scan-tree-dump-not "failure_on_line" "optimized"} }
159 { dg-final { scan-tree-dump-times "keep_call_on_line" 43 "optimized"} } */
160