The following adds /* <num> */ to dbg_line_numbers so there's the chance
to more easily lookup the ID of the match.pd line number used for
dumping when you want to debug a speicific replacement. It also cuts
the lines down to 10 entries.
static int dbg_line_numbers[1267] = {
/* 0 */ 161, 164, 173, 175, 178, 181, 183, 189, 197, 195,
/* 10 */ 199, 201, 205, 923, 921, 2060, 2071, 2052, 2058, 2063,
...
* genmatch.cc (define_dump_logs): Make reverse lookup in
dbg_line_numbers easier by adding comments with start index
and cutting number of elements per line to 10.
for (unsigned i = 0; i < dbg_line_numbers.length () - 1; i++)
{
- if (i % 20 == 0)
- fprintf (f, "\n\t");
+ if (i % 10 == 0)
+ fprintf (f, "\n\t/* %d */ ", i);
fprintf (f, "%d, ", dbg_line_numbers[i]);
}