#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tree.h"
#include "function.h"
#include "basic-block.h"
#include "gimple.h"
#include "options.h"
#include "bitmap.h"
#include "diagnostic-core.h"
#include "diagnostics/paths.h"
#include "rich-location.h"
#include "json.h"
#include "tristate.h"
#include "value-range.h"

Include dependency graph for common.h:

Data Structures
class	ana::path_var
class	ana::region_offset
class	ana::known_function
class	ana::builtin_known_function
class	ana::internal_known_function
class	ana::pure_known_function_with_default_return
struct	ana::diagnostic_state
class	ana::custom_edge_info
class	ana::path_context
class	auto_cfun
struct	pod_hash_traits< Type >
struct	member_function_hash_traits< Type >
class	consolidation_map< T >
struct	gcc::topics::analyzer_events::on_tu_finished
struct	gcc::topics::analyzer_events::on_ana_init
struct	gcc::topics::analyzer_events::on_frame_popped
struct	gcc::topics::analyzer_events::subscriber

Namespaces
namespace	ana
namespace	gcc
namespace	gcc::topics
namespace	gcc::topics::analyzer_events

Macros
#define	INCLUDE_ALGORITHM
#define	INCLUDE_LIST
#define	INCLUDE_MAP
#define	INCLUDE_SET
#define	INCLUDE_STRING
#define	INCLUDE_VECTOR

Typedefs
typedef hash_set< const svalue * >	ana::svalue_set
typedef offset_int	ana::bit_offset_t
typedef offset_int	ana::bit_size_t
typedef offset_int	ana::byte_offset_t
typedef offset_int	ana::byte_size_t

Enumerations
enum class	ana::access_direction { ana::read , ana::write }

Functions
void	ana::dump_tree (pretty_printer *pp, tree t)
void	ana::dump_quoted_tree (pretty_printer *pp, tree t)
void	ana::print_quoted_type (pretty_printer *pp, tree t)
void	ana::print_expr_for_user (pretty_printer *pp, tree t)
bool	ana::printable_expr_p (const_tree expr)
int	ana::readability_comparator (const void p1, const void p2)
int	ana::tree_cmp (const void p1, const void p2)
tree	ana::fixup_tree_for_diagnostic (tree)
tree	ana::get_diagnostic_tree_for_gassign (const gassign *)
bool	ana::useful_location_p (location_t loc)
bool	ana::int_size_in_bits (const_tree type, bit_size_t *out)
tree	ana::get_field_at_bit_offset (tree record_type, bit_offset_t bit_offset)
bool	ana::compare_bit_offsets_p (bit_offset_t a, enum tree_code op, bit_offset_t b)
bool	ana::operator< (const region_offset &, const region_offset &)
bool	ana::operator<= (const region_offset &, const region_offset &)
bool	ana::operator> (const region_offset &, const region_offset &)
bool	ana::operator>= (const region_offset &, const region_offset &)
tristate	ana::eval_region_offset_comparison (region_offset lhs_offset, enum tree_code op, region_offset rhs_offset, const region_model &model)
location_t	ana::get_stmt_location (const gimple stmt, function fun)
bool	ana::compat_types_p (tree src_type, tree dst_type)
void	ana::register_known_functions (known_function_manager &kfm, region_model_manager &rmm)
void	ana::register_known_analyzer_functions (known_function_manager &kfm)
void	ana::register_known_fd_functions (known_function_manager &kfm)
void	ana::register_known_file_functions (known_function_manager &kfm)
void	ana::register_known_functions_lang_cp (known_function_manager &kfm)
void	ana::register_varargs_builtins (known_function_manager &kfm)
tree	ana::get_stashed_constant_by_name (const char *name)
void	ana::log_stashed_constants (logger *logger)
FILE *	ana::get_or_create_any_logfile ()
std::unique_ptr< json::value >	ana::tree_to_json (tree node)
std::unique_ptr< json::value >	ana::diagnostic_event_id_to_json (const diagnostics::paths::event_id_t &)
std::unique_ptr< json::value >	ana::bit_offset_to_json (const bit_offset_t &offset)
std::unique_ptr< json::value >	ana::byte_offset_to_json (const byte_offset_t &offset)
tristate	ana::compare_constants (tree lhs_const, enum tree_code op, tree rhs_const)
tree	ana::get_string_cst_size (const_tree string_cst)
tree	ana::get_ssa_default_def (const function &fun, tree var)
const svalue *	ana::strip_types (const svalue *sval, region_model_manager &mgr)
region_offset	ana::strip_types (const region_offset &offset, region_model_manager &mgr)
tree	ana::remove_ssa_names (tree expr)
bool	is_special_named_call_p (const gcall &call, const char *funcname, unsigned int num_args, bool look_in_std=false)
bool	is_named_call_p (const_tree fndecl, const char *funcname)
bool	is_named_call_p (const_tree fndecl, const char *funcname, const gcall &call, unsigned int num_args)
bool	is_std_function_p (const_tree fndecl)
bool	is_cxxabi_function_p (const_tree fndecl)
bool	is_std_named_call_p (const_tree fndecl, const char *funcname)
bool	is_std_named_call_p (const_tree fndecl, const char *funcname, const gcall &call, unsigned int num_args)
bool	is_setjmp_call_p (const gcall &call)
bool	is_longjmp_call_p (const gcall &call)
bool	is_placement_new_p (const gcall &call)
bool	is_cxa_throw_p (const gcall &call)
bool	is_cxa_rethrow_p (const gcall &call)
bool	is_cxa_end_catch_p (const gcall &call)
const char *	get_user_facing_name (const gcall &call)
void	register_analyzer_pass ()
label_text	make_label_text (bool can_colorize, const char *fmt,...)
label_text	make_label_text_n (bool can_colorize, unsigned HOST_WIDE_INT n, const char singular_fmt, const char plural_fmt,...)
bool	fndecl_has_gimple_body_p (tree fndecl)
void	sorry_no_analyzer ()

Macro Definition Documentation

◆ INCLUDE_ALGORITHM

#define INCLUDE_ALGORITHM

Base header for the analyzer, plus utility functions.
   Copyright (C) 2019-2026 Free Software Foundation, Inc.
   Contributed by David Malcolm <dmalcolm@redhat.com>.

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/>.

◆ INCLUDE_LIST

#define INCLUDE_LIST

◆ INCLUDE_MAP

#define INCLUDE_MAP

◆ INCLUDE_SET

#define INCLUDE_SET

◆ INCLUDE_STRING

#define INCLUDE_STRING

◆ INCLUDE_VECTOR

#define INCLUDE_VECTOR

Function Documentation

◆ fndecl_has_gimple_body_p()

bool fndecl_has_gimple_body_p ( tree fndecl )

extern

References fndecl_has_gimple_body_p().

Referenced by fndecl_has_gimple_body_p().

◆ get_user_facing_name()

const char * get_user_facing_name ( const gcall & call )

extern

References get_user_facing_name().

Referenced by get_user_facing_name().

◆ is_cxa_end_catch_p()

bool is_cxa_end_catch_p ( const gcall & call )

extern

References is_cxa_end_catch_p().

Referenced by is_cxa_end_catch_p().

◆ is_cxa_rethrow_p()

bool is_cxa_rethrow_p ( const gcall & call )

extern

References is_cxa_rethrow_p().

Referenced by is_cxa_rethrow_p().

◆ is_cxa_throw_p()

bool is_cxa_throw_p ( const gcall & call )

extern

References is_cxa_throw_p().

Referenced by is_cxa_throw_p().

◆ is_cxxabi_function_p()

bool is_cxxabi_function_p ( const_tree fndecl )

extern

References is_cxxabi_function_p().

Referenced by is_cxxabi_function_p().

◆ is_longjmp_call_p()

bool is_longjmp_call_p ( const gcall & call )

extern

References is_longjmp_call_p().

Referenced by is_longjmp_call_p().

◆ is_named_call_p() [1/2]

bool is_named_call_p	(	const_tree	fndecl,
		const char *	funcname )

extern

References is_named_call_p().

Referenced by is_named_call_p(), and is_named_call_p().

◆ is_named_call_p() [2/2]

bool is_named_call_p	(	const_tree	fndecl,
		const char *	funcname,
		const gcall &	call,
		unsigned int	num_args )

extern

References is_named_call_p().

◆ is_placement_new_p()

bool is_placement_new_p ( const gcall & call )

extern

References is_placement_new_p().

Referenced by is_placement_new_p().

◆ is_setjmp_call_p()

bool is_setjmp_call_p ( const gcall & call )

extern

References is_setjmp_call_p().

Referenced by is_setjmp_call_p().

◆ is_special_named_call_p()

bool is_special_named_call_p	(	const gcall &	call,
		const char *	funcname,
		unsigned int	num_args,
		bool	look_in_std = false )

extern

References is_special_named_call_p().

Referenced by is_special_named_call_p().

◆ is_std_function_p()

bool is_std_function_p ( const_tree fndecl )

extern

References is_std_function_p().

Referenced by is_std_function_p().

◆ is_std_named_call_p() [1/2]

bool is_std_named_call_p	(	const_tree	fndecl,
		const char *	funcname )

extern

References is_std_named_call_p().

Referenced by is_std_named_call_p(), and is_std_named_call_p().

◆ is_std_named_call_p() [2/2]

bool is_std_named_call_p	(	const_tree	fndecl,
		const char *	funcname,
		const gcall &	call,
		unsigned int	num_args )

extern

References is_std_named_call_p().

◆ make_label_text()

label_text make_label_text	(	bool	can_colorize,
		const char *	fmt,
			... )

extern

References make_label_text().

Referenced by make_label_text().

◆ make_label_text_n()

label_text make_label_text_n	(	bool	can_colorize,
		unsigned HOST_WIDE_INT	n,
		const char *	singular_fmt,
		const char *	plural_fmt,
			... )

extern

References make_label_text_n().

Referenced by make_label_text_n().

◆ register_analyzer_pass()

void register_analyzer_pass ( )

extern

References register_analyzer_pass().

Referenced by register_analyzer_pass().

◆ sorry_no_analyzer()

void sorry_no_analyzer ( )

extern

Issue a "sorry" diagnostic that the analyzer was not enabled.

References sorry(), and sorry_no_analyzer().

Referenced by sorry_no_analyzer().

Data Structures

Namespaces

Macros

Typedefs

Enumerations

Functions

Macro Definition Documentation

◆ INCLUDE_ALGORITHM

◆ INCLUDE_LIST

◆ INCLUDE_MAP

◆ INCLUDE_SET

◆ INCLUDE_STRING

◆ INCLUDE_VECTOR

Function Documentation

◆ fndecl_has_gimple_body_p()

◆ get_user_facing_name()

◆ is_cxa_end_catch_p()

◆ is_cxa_rethrow_p()

◆ is_cxa_throw_p()

◆ is_cxxabi_function_p()

◆ is_longjmp_call_p()

◆ is_named_call_p() [1/2]

◆ is_named_call_p() [2/2]

◆ is_placement_new_p()

◆ is_setjmp_call_p()

◆ is_special_named_call_p()

◆ is_std_function_p()

◆ is_std_named_call_p() [1/2]

◆ is_std_named_call_p() [2/2]

◆ make_label_text()

◆ make_label_text_n()

◆ register_analyzer_pass()

◆ sorry_no_analyzer()