#include "langhooks.h"
#include "langhooks-def.h"

Include dependency graph for tree-diagnostic.c:

Data Structures
struct	loc_map_pair

Functions
void	diagnostic_report_current_function (diagnostic_context context, diagnostic_info diagnostic)
static void	default_tree_diagnostic_starter (diagnostic_context context, diagnostic_info diagnostic)
static void	maybe_unwind_expanded_macro_loc (diagnostic_context context, const diagnostic_info diagnostic, source_location where)
void	virt_loc_aware_diagnostic_finalizer (diagnostic_context context, diagnostic_info diagnostic)
static bool	default_tree_printer (pretty_printer pp, text_info text, const char *spec, int precision, bool wide, bool set_locus, bool hash)
void	tree_diagnostics_defaults ()

Function Documentation

static void default_tree_diagnostic_starter	(	diagnostic_context *	context,
		diagnostic_info *	diagnostic
	)

static

References diagnostic_build_prefix(), diagnostic_report_current_function(), pp_set_prefix(), and diagnostic_context::printer.

Referenced by tree_diagnostics_defaults().

static bool default_tree_printer	(	pretty_printer *	pp,
		text_info *	text,
		const char *	spec,
		int	precision,
		bool	wide,
		bool	set_locus,
		bool	hash
	)

static

Default tree printer.   Handles declarations only.

References text_info::args_ptr, lang_hooks::decl_printable_name, dump_generic_node(), identifier_to_locale(), text_info::locus, percent_K_format(), and pp_string().

Referenced by tree_diagnostics_defaults().

void diagnostic_report_current_function	(	diagnostic_context *	context,
		diagnostic_info *	diagnostic
	)

@verbatim Language-independent diagnostic subroutines for the GNU Compiler

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see http://www.gnu.org/licenses/.

Prints out, if necessary, the name of the current function
   that caused an error.  Called from all error and warning functions.

References diagnostic_report_current_module(), diagnostic_info::location, and lang_hooks::print_error_function.

Referenced by default_tree_diagnostic_starter().

static void maybe_unwind_expanded_macro_loc	(	diagnostic_context *	context,
		const diagnostic_info *	diagnostic,
		source_location	where
	)

static

Unwind the different macro expansions that lead to the token which
   location is WHERE and emit diagnostics showing the resulting
   unwound macro expansion trace.  Let's look at an example to see how
   the trace looks like.  Suppose we have this piece of code,
   artificially annotated with the line numbers to increase
   legibility:

    $ cat -n test.c
      1    #define OPERATE(OPRD1, OPRT, OPRD2) \
      2      OPRD1 OPRT OPRD2;
      3
      4    #define SHIFTL(A,B) \
      5      OPERATE (A,<<,B)
      6
      7    #define MULT(A) \
      8      SHIFTL (A,1)
      9
     10    void
     11    g ()
     12    {
     13      MULT (1.0);// 1.0 << 1; <-- so this is an error.
     14    }

   Here is the diagnostic that we want the compiler to generate:

    test.c: In function ‘g’:
    test.c:5:14: error: invalid operands to binary << (have ‘double’ and ‘int’)
    test.c:2:9: note: in definition of macro 'OPERATE'
    test.c:8:3: note: in expansion of macro 'SHIFTL'
    test.c:13:3: note: in expansion of macro 'MULT'

   The part that goes from the third to the fifth line of this
   diagnostic (the lines containing the 'note:' string) is called the
   unwound macro expansion trace.  That's the part generated by this
   function.

References diagnostic_append_note(), expand_location_to_spelling_point(), line_table, diagnostic_info::location, map, loc_map_pair::map, vNULL, and loc_map_pair::where.

Referenced by virt_loc_aware_diagnostic_finalizer().

void tree_diagnostics_defaults ( )

Sets CONTEXT to use language independent diagnostics.

References default_diagnostic_finalizer(), default_tree_diagnostic_starter(), and default_tree_printer().

Referenced by free_lang_data(), and general_init().

void virt_loc_aware_diagnostic_finalizer	(	diagnostic_context *	context,
		diagnostic_info *	diagnostic
	)

This is a diagnostic finalizer implementation that is aware of
    virtual locations produced by libcpp.

    It has to be called by the diagnostic finalizer of front ends that
    uses libcpp and wish to get diagnostics involving tokens resulting
    from macro expansion.

    For a given location, if said location belongs to a token
    resulting from a macro expansion, this starter prints the context
    of the token.  E.g, for multiply nested macro expansion, it
    unwinds the nested macro expansions and prints them in a manner
    that is similar to what is done for function call stacks, or
    template instantiation contexts.

References diagnostic_info::location, and maybe_unwind_expanded_macro_loc().

Referenced by general_init().

Data Structures

Functions

Function Documentation