return true;
}
-/* A class for grouing together the events in a diagnostic_path into
- ranges of events, partitioned by stack frame (i.e. by fndecl and
- stack depth). */
-
-class path_summary
+/* A range of consecutive events within a diagnostic_path,
+ all with the same fndecl and stack_depth, and which are suitable
+ to print with a single call to diagnostic_show_locus. */
+struct event_range
{
- /* A range of consecutive events within a diagnostic_path,
- all with the same fndecl and stack_depth, and which are suitable
- to print with a single call to diagnostic_show_locus. */
- struct event_range
+ event_range (const diagnostic_path *path, unsigned start_idx,
+ const diagnostic_event &initial_event)
+ : m_path (path),
+ m_initial_event (initial_event),
+ m_fndecl (initial_event.get_fndecl ()),
+ m_stack_depth (initial_event.get_stack_depth ()),
+ m_start_idx (start_idx), m_end_idx (start_idx),
+ m_path_label (path, start_idx),
+ m_richloc (initial_event.get_location (), &m_path_label)
+ {}
+
+ bool maybe_add_event (const diagnostic_event &new_ev, unsigned idx,
+ bool check_rich_locations)
{
- event_range (const diagnostic_path *path, unsigned start_idx,
- const diagnostic_event &initial_event)
- : m_path (path),
- m_initial_event (initial_event),
- m_fndecl (initial_event.get_fndecl ()),
- m_stack_depth (initial_event.get_stack_depth ()),
- m_start_idx (start_idx), m_end_idx (start_idx),
- m_path_label (path, start_idx),
- m_richloc (initial_event.get_location (), &m_path_label)
- {}
-
- bool maybe_add_event (const diagnostic_event &new_ev, unsigned idx,
- bool check_rich_locations)
- {
- if (!can_consolidate_events (m_initial_event, new_ev,
- check_rich_locations))
+ if (!can_consolidate_events (m_initial_event, new_ev,
+ check_rich_locations))
+ return false;
+ if (check_rich_locations)
+ if (!m_richloc.add_location_if_nearby (new_ev.get_location (),
+ false, &m_path_label))
return false;
- if (check_rich_locations)
- if (!m_richloc.add_location_if_nearby (new_ev.get_location (),
- false, &m_path_label))
- return false;
- m_end_idx = idx;
- return true;
- }
+ m_end_idx = idx;
+ return true;
+ }
- /* Print the events in this range to DC, typically as a single
- call to the printer's diagnostic_show_locus. */
+ /* Print the events in this range to DC, typically as a single
+ call to the printer's diagnostic_show_locus. */
- void print (diagnostic_context *dc)
- {
- location_t initial_loc = m_initial_event.get_location ();
+ void print (diagnostic_context *dc)
+ {
+ location_t initial_loc = m_initial_event.get_location ();
- /* Emit a span indicating the filename (and line/column) if the
- line has changed relative to the last call to
- diagnostic_show_locus. */
- if (dc->show_caret)
- {
- expanded_location exploc
- = linemap_client_expand_location_to_spelling_point
- (initial_loc, LOCATION_ASPECT_CARET);
- if (exploc.file != LOCATION_FILE (dc->last_location))
- dc->start_span (dc, exploc);
- }
+ /* Emit a span indicating the filename (and line/column) if the
+ line has changed relative to the last call to
+ diagnostic_show_locus. */
+ if (dc->show_caret)
+ {
+ expanded_location exploc
+ = linemap_client_expand_location_to_spelling_point
+ (initial_loc, LOCATION_ASPECT_CARET);
+ if (exploc.file != LOCATION_FILE (dc->last_location))
+ dc->start_span (dc, exploc);
+ }
- /* If we have an UNKNOWN_LOCATION (or BUILTINS_LOCATION) as the
- primary location for an event, diagnostic_show_locus won't print
- anything.
+ /* If we have an UNKNOWN_LOCATION (or BUILTINS_LOCATION) as the
+ primary location for an event, diagnostic_show_locus won't print
+ anything.
- In particular the label for the event won't get printed.
- Fail more gracefully in this case by showing the event
- index and text, at no particular location. */
- if (get_pure_location (initial_loc) <= BUILTINS_LOCATION)
- {
- for (unsigned i = m_start_idx; i <= m_end_idx; i++)
- {
- const diagnostic_event &iter_event = m_path->get_event (i);
- diagnostic_event_id_t event_id (i);
- label_text event_text (iter_event.get_desc (true));
- pretty_printer *pp = dc->printer;
- pp_printf (pp, " %@: %s", &event_id, event_text.m_buffer);
- pp_newline (pp);
- event_text.maybe_free ();
- }
- return;
- }
+ In particular the label for the event won't get printed.
+ Fail more gracefully in this case by showing the event
+ index and text, at no particular location. */
+ if (get_pure_location (initial_loc) <= BUILTINS_LOCATION)
+ {
+ for (unsigned i = m_start_idx; i <= m_end_idx; i++)
+ {
+ const diagnostic_event &iter_event = m_path->get_event (i);
+ diagnostic_event_id_t event_id (i);
+ label_text event_text (iter_event.get_desc (true));
+ pretty_printer *pp = dc->printer;
+ pp_printf (pp, " %@: %s", &event_id, event_text.m_buffer);
+ pp_newline (pp);
+ event_text.maybe_free ();
+ }
+ return;
+ }
- /* Call diagnostic_show_locus to show the events using labels. */
- diagnostic_show_locus (dc, &m_richloc, DK_DIAGNOSTIC_PATH);
+ /* Call diagnostic_show_locus to show the events using labels. */
+ diagnostic_show_locus (dc, &m_richloc, DK_DIAGNOSTIC_PATH);
- /* If we have a macro expansion, show the expansion to the user. */
- if (linemap_location_from_macro_expansion_p (line_table, initial_loc))
- {
- gcc_assert (m_start_idx == m_end_idx);
- maybe_unwind_expanded_macro_loc (dc, initial_loc);
- }
- }
+ /* If we have a macro expansion, show the expansion to the user. */
+ if (linemap_location_from_macro_expansion_p (line_table, initial_loc))
+ {
+ gcc_assert (m_start_idx == m_end_idx);
+ maybe_unwind_expanded_macro_loc (dc, initial_loc);
+ }
+ }
- const diagnostic_path *m_path;
- const diagnostic_event &m_initial_event;
- tree m_fndecl;
- int m_stack_depth;
- unsigned m_start_idx;
- unsigned m_end_idx;
- path_label m_path_label;
- gcc_rich_location m_richloc;
- };
+ const diagnostic_path *m_path;
+ const diagnostic_event &m_initial_event;
+ tree m_fndecl;
+ int m_stack_depth;
+ unsigned m_start_idx;
+ unsigned m_end_idx;
+ path_label m_path_label;
+ gcc_rich_location m_richloc;
+};
- public:
- path_summary (const diagnostic_path &path, bool check_rich_locations);
+/* A struct for grouping together the events in a diagnostic_path into
+ ranges of events, partitioned by stack frame (i.e. by fndecl and
+ stack depth). */
- void print (diagnostic_context *dc, bool show_depths) const;
+struct path_summary
+{
+ path_summary (const diagnostic_path &path, bool check_rich_locations);
unsigned get_num_ranges () const { return m_ranges.length (); }
- private:
auto_delete_vec <event_range> m_ranges;
};
pp_string (pp, n);
}
-/* Print this path_summary to DC, giving an overview of the interprocedural
+/* Print path_summary PS to DC, giving an overview of the interprocedural
calls and returns.
Print the event descriptions in a nested form, printing the event
For events with UNKNOWN_LOCATION, print a summary of each the event. */
void
-path_summary::print (diagnostic_context *dc, bool show_depths) const
+print_path_summary_as_text (const path_summary *ps, diagnostic_context *dc,
+ bool show_depths)
{
pretty_printer *pp = dc->printer;
int cur_indent = base_indent;
unsigned i;
event_range *range;
- FOR_EACH_VEC_ELT (m_ranges, i, range)
+ FOR_EACH_VEC_ELT (ps->m_ranges, i, range)
{
write_indent (pp, cur_indent);
if (i > 0)
{
- const path_summary::event_range *prev_range
- = m_ranges[i - 1];
+ const event_range *prev_range = ps->m_ranges[i - 1];
if (range->m_stack_depth > prev_range->m_stack_depth)
{
/* Show pushed stack frame(s). */
pp_newline (pp);
}
- if (i < m_ranges.length () - 1)
+ if (i < ps->m_ranges.length () - 1)
{
- const path_summary::event_range *next_range
- = m_ranges[i + 1];
+ const event_range *next_range = ps->m_ranges[i + 1];
if (range->m_stack_depth > next_range->m_stack_depth)
{
path_summary summary (*path, true);
char *saved_prefix = pp_take_prefix (context->printer);
pp_set_prefix (context->printer, NULL);
- summary.print (context, context->show_path_depths);
+ print_path_summary_as_text (&summary, context,
+ context->show_path_depths);
pp_flush (context->printer);
pp_set_prefix (context->printer, saved_prefix);
}
ASSERT_EQ (summary.get_num_ranges (), 0);
test_diagnostic_context dc;
- summary.print (&dc, true);
+ print_path_summary_as_text (&summary, &dc, true);
ASSERT_STREQ ("",
pp_formatted_text (dc.printer));
}
ASSERT_EQ (summary.get_num_ranges (), 1);
test_diagnostic_context dc;
- summary.print (&dc, true);
+ print_path_summary_as_text (&summary, &dc, true);
ASSERT_STREQ (" `foo': events 1-2 (depth 0)\n"
" |\n"
" | (1): first `free'\n"
ASSERT_EQ (summary.get_num_ranges (), 9);
test_diagnostic_context dc;
- summary.print (&dc, true);
+ print_path_summary_as_text (&summary, &dc, true);
ASSERT_STREQ
(" `test': events 1-2 (depth 0)\n"
" |\n"
ASSERT_EQ (summary.get_num_ranges (), 5);
test_diagnostic_context dc;
- summary.print (&dc, true);
+ print_path_summary_as_text (&summary, &dc, true);
ASSERT_STREQ
(" `foo': events 1-2 (depth 0)\n"
" |\n"
ASSERT_EQ (summary.get_num_ranges (), 4);
test_diagnostic_context dc;
- summary.print (&dc, true);
+ print_path_summary_as_text (&summary, &dc, true);
ASSERT_STREQ
(" `factorial': events 1-2 (depth 0)\n"
" |\n"
projects / gcc.git / commitdiff