]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/dbgcnt.cc
PR middle-end/105604 - ICE: in tree_to_shwi with vla in struct and sprintf
[thirdparty/gcc.git] / gcc / dbgcnt.cc
CommitLineData
6fb5fa3c 1/* Debug counter for debugging support
7adcbafe 2 Copyright (C) 2006-2022 Free Software Foundation, Inc.
6fb5fa3c
DB
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
6fb5fa3c
DB
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
9dcd6f09 17along with GCC; see the file COPYING3. If not see
b8698a0f 18<http://www.gnu.org/licenses/>.
6fb5fa3c
DB
19
20See dbgcnt.def for usage information. */
21
22#include "config.h"
23#include "system.h"
24#include "coretypes.h"
718f9c0f 25#include "diagnostic-core.h"
7ee2468b 26#include "dumpfile.h"
5024c8bb 27#include "selftest.h"
03df119d 28#include "intl.h"
6fb5fa3c
DB
29
30#include "dbgcnt.h"
31
32struct string2counter_map {
33 const char *name;
34 enum debug_counter counter;
35};
36
37#define DEBUG_COUNTER(a) { #a , a },
38
39static struct string2counter_map map[debug_counter_number_of_counters] =
40{
41#include "dbgcnt.def"
42};
43#undef DEBUG_COUNTER
44
83a49336 45typedef std::pair<unsigned int, unsigned int> limit_tuple;
6fb5fa3c 46
83a49336 47static vec<limit_tuple> limits[debug_counter_number_of_counters];
a30d4fc5 48static vec<limit_tuple> original_limits[debug_counter_number_of_counters];
cdc3b883 49
6fb5fa3c
DB
50static unsigned int count[debug_counter_number_of_counters];
51
dd7fa0d4
ML
52static void
53print_limit_reach (const char *counter, int limit, bool upper_p)
54{
55 char buffer[128];
56 sprintf (buffer, "***dbgcnt: %s limit %d reached for %s.***\n",
57 upper_p ? "upper" : "lower", limit, counter);
58 fputs (buffer, stderr);
59 if (dump_file)
60 fputs (buffer, dump_file);
61}
62
6fb5fa3c
DB
63bool
64dbg_cnt (enum debug_counter index)
65{
83a49336
ML
66 unsigned v = ++count[index];
67
68 if (!limits[index].exists ())
69 return true;
70 else if (limits[index].is_empty ())
71 return false;
cdc3b883 72
83a49336
ML
73 unsigned last = limits[index].length () - 1;
74 unsigned int min = limits[index][last].first;
75 unsigned int max = limits[index][last].second;
cc806ac1 76
83a49336
ML
77 if (v < min)
78 return false;
79 else if (v == min)
80 {
81 print_limit_reach (map[index].name, v, false);
82 if (min == max)
8988ec5b
ML
83 {
84 print_limit_reach (map[index].name, v, true);
85 limits[index].pop ();
86 }
83a49336
ML
87 return true;
88 }
89 else if (v < max)
90 return true;
91 else if (v == max)
92 {
93 print_limit_reach (map[index].name, v, true);
94 limits[index].pop ();
95 return true;
96 }
97 else
98 return false;
6fb5fa3c
DB
99}
100
0400ca17
AH
101/* Return the counter for INDEX. */
102
103unsigned
104dbg_cnt_counter (enum debug_counter index)
105{
106 return count[index];
107}
108
83a49336 109/* Compare limit_tuple intervals by first item in descending order. */
6fb5fa3c 110
83a49336
ML
111static int
112cmp_tuples (const void *ptr1, const void *ptr2)
113{
114 const limit_tuple *p1 = (const limit_tuple *)ptr1;
115 const limit_tuple *p2 = (const limit_tuple *)ptr2;
116
117 if (p1->first < p2->first)
118 return 1;
119 else if (p1->first > p2->first)
120 return -1;
121 return 0;
6fb5fa3c
DB
122}
123
0a090f42 124static bool
83a49336
ML
125dbg_cnt_set_limit_by_index (enum debug_counter index, const char *name,
126 unsigned int low, unsigned int high)
6fb5fa3c 127{
83a49336
ML
128 if (!limits[index].exists ())
129 limits[index].create (1);
cdc3b883 130
83a49336
ML
131 limits[index].safe_push (limit_tuple (low, high));
132 limits[index].qsort (cmp_tuples);
133
134 for (unsigned i = 0; i < limits[index].length () - 1; i++)
cdc3b883 135 {
83a49336
ML
136 limit_tuple t1 = limits[index][i];
137 limit_tuple t2 = limits[index][i + 1];
138 if (t1.first <= t2.second)
139 {
140 error ("Interval overlap of %<-fdbg-cnt=%s%>: [%u, %u] and "
47fe9634 141 "[%u, %u]", name, t2.first, t2.second, t1.first, t1.second);
83a49336
ML
142 return false;
143 }
cdc3b883
ML
144 }
145
a30d4fc5
ML
146 original_limits[index] = limits[index].copy ();
147
83a49336
ML
148 return true;
149}
150
151static bool
152dbg_cnt_set_limit_by_name (const char *name, unsigned int low,
153 unsigned int high)
154{
155 if (high < low)
cdc3b883 156 {
83a49336
ML
157 error ("%<-fdbg-cnt=%s:%d-%d%> has smaller upper limit than the lower",
158 name, low, high);
cdc3b883
ML
159 return false;
160 }
161
6fb5fa3c
DB
162 int i;
163 for (i = debug_counter_number_of_counters - 1; i >= 0; i--)
cdc3b883 164 if (strcmp (map[i].name, name) == 0)
6fb5fa3c
DB
165 break;
166
167 if (i < 0)
342ae9ad
ML
168 {
169 error ("cannot find a valid counter name %qs of %<-fdbg-cnt=%> option",
170 name);
171 return false;
172 }
6fb5fa3c 173
83a49336 174 return dbg_cnt_set_limit_by_index ((enum debug_counter) i, name, low, high);
6fb5fa3c
DB
175}
176
83a49336 177/* Process a single "low:high" pair.
0a090f42
SP
178 Returns NULL if there's no valid pair is found.
179 Otherwise returns a pointer to the end of the pair. */
180
cdc3b883 181static bool
83a49336 182dbg_cnt_process_single_pair (char *name, char *str)
6fb5fa3c 183{
83a49336
ML
184 char *value1 = strtok (str, "-");
185 char *value2 = strtok (NULL, "-");
cdc3b883 186
83a49336 187 unsigned int high, low;
cdc3b883
ML
188
189 if (value1 == NULL)
5433e401 190 return false;
cdc3b883
ML
191
192 if (value2 == NULL)
193 {
cdc3b883 194 high = strtol (value1, NULL, 10);
342ae9ad
ML
195 /* Let's allow 0:0. */
196 low = high == 0 ? 0 : 1;
cdc3b883
ML
197 }
198 else
199 {
200 low = strtol (value1, NULL, 10);
201 high = strtol (value2, NULL, 10);
202 }
203
2a7108b9 204 return dbg_cnt_set_limit_by_name (name, low, high);
0a090f42 205}
6fb5fa3c 206
0a090f42
SP
207void
208dbg_cnt_process_opt (const char *arg)
209{
cdc3b883 210 char *str = xstrdup (arg);
cdc3b883 211
83a49336
ML
212 auto_vec<char *> tokens;
213 for (char *next = strtok (str, ","); next != NULL; next = strtok (NULL, ","))
2a7108b9
ML
214 tokens.safe_push (next);
215
216 unsigned i;
217 for (i = 0; i < tokens.length (); i++)
218 {
83a49336
ML
219 auto_vec<char *> ranges;
220 char *name = strtok (tokens[i], ":");
221 for (char *part = strtok (NULL, ":"); part; part = strtok (NULL, ":"))
222 ranges.safe_push (part);
223
224 for (unsigned j = 0; j < ranges.length (); j++)
225 {
226 if (!dbg_cnt_process_single_pair (name, ranges[j]))
227 break;
228 }
2a7108b9 229 }
6fb5fa3c 230}
0a090f42
SP
231
232/* Print name, limit and count of all counters. */
233
b8698a0f 234void
cc806ac1 235dbg_cnt_list_all_counters (void)
0a090f42
SP
236{
237 int i;
a30d4fc5
ML
238 fprintf (stderr, " %-30s%-15s %s\n", G_("counter name"),
239 G_("counter value"), G_("closed intervals"));
240 fprintf (stderr, "-----------------------------------------------------------------\n");
0a090f42 241 for (i = 0; i < debug_counter_number_of_counters; i++)
83a49336 242 {
a30d4fc5
ML
243 fprintf (stderr, " %-30s%-15d ", map[i].name, count[i]);
244 if (original_limits[i].exists ())
83a49336 245 {
a30d4fc5 246 for (int j = original_limits[i].length () - 1; j >= 0; j--)
83a49336 247 {
a30d4fc5
ML
248 fprintf (stderr, "[%u, %u]", original_limits[i][j].first,
249 original_limits[i][j].second);
83a49336 250 if (j > 0)
a30d4fc5 251 fprintf (stderr, ", ");
83a49336 252 }
a30d4fc5 253 fprintf (stderr, "\n");
83a49336
ML
254 }
255 else
a30d4fc5 256 fprintf (stderr, "unset\n");
83a49336 257 }
a30d4fc5 258 fprintf (stderr, "\n");
0a090f42 259}
5024c8bb
ML
260
261#if CHECKING_P
262
263namespace selftest {
264
265/* Selftests. */
266
267static void
268test_sorted_dbg_counters ()
269{
270 for (unsigned i = 0; i < debug_counter_number_of_counters - 1; i++)
271 ASSERT_LT (strcmp (map[i].name, map[i + 1].name), 0);
272}
273
274void
d5148d4f 275dbgcnt_cc_tests ()
5024c8bb
ML
276{
277 test_sorted_dbg_counters ();
278}
279
280} // namespace selftest
281
282#endif /* #if CHECKING_P */