#include <simple-diagnostic-path.h>

Inheritance diagram for simple_diagnostic_event:

Collaboration diagram for simple_diagnostic_event:

[legend]

Public Types
enum class	verb { unknown , acquire , release , enter , exit , call , return_ , branch , danger }
enum class	noun { unknown , taint , sensitive , function , lock , memory , resource }
enum class	property { unknown , true_ , false_ }

Public Member Functions
	simple_diagnostic_event (location_t loc, tree fndecl, int depth, const char *desc, diagnostic_thread_id_t thread_id=0)
	~simple_diagnostic_event ()
location_t	get_location () const final override
int	get_stack_depth () const final override
void	print_desc (pretty_printer &pp) const final override
logical_location	get_logical_location () const final override
meaning	get_meaning () const final override
bool	connect_to_next_event_p () const final override
diagnostic_thread_id_t	get_thread_id () const final override
void	connect_to_next_event ()
tree	get_fndecl () const
virtual void	maybe_add_sarif_properties (sarif_builder &, sarif_object &) const
virtual std::unique_ptr< diagnostics::digraphs::digraph >	maybe_make_diagnostic_state_graph (bool debug) const
label_text	get_desc (pretty_printer &ref_pp) const

Private Attributes
location_t	m_loc
tree	m_fndecl
logical_location	m_logical_loc
int	m_depth
char *	m_desc
bool	m_connected_to_next_event
diagnostic_thread_id_t	m_thread_id

Detailed Description

Concrete classes for implementing diagnostic paths.
   Copyright (C) 2019-2025 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/>.

Concrete subclasses of the abstract base classes
declared in diagnostic-path.h.

A simple implementation of diagnostic_event.

Member Enumeration Documentation

◆ noun

enum class diagnostic_event::noun

stronginherited

Enumerator
unknown
taint
sensitive
function
lock
memory
resource

◆ property

enum class diagnostic_event::property

stronginherited

Enumerator
unknown
true_
false_

◆ verb

enum class diagnostic_event::verb

stronginherited

Enumerator
unknown
acquire
release
enter
exit
call
return_
branch
danger

Constructor & Destructor Documentation

◆ simple_diagnostic_event()

simple_diagnostic_event::simple_diagnostic_event	(	location_t	loc,
		tree	fndecl,
		int	depth,
		const char *	desc,
		diagnostic_thread_id_t	thread_id = 0 )

struct simple_diagnostic_event.

simple_diagnostic_event's ctor.

References false, m_connected_to_next_event, m_depth, m_desc, m_fndecl, m_loc, m_logical_loc, and m_thread_id.

◆ ~simple_diagnostic_event()

simple_diagnostic_event::~simple_diagnostic_event ( )

simple_diagnostic_event's dtor.

References free(), and m_desc.

Member Function Documentation

◆ connect_to_next_event()

void simple_diagnostic_event::connect_to_next_event ( )

inline

References m_connected_to_next_event.

◆ connect_to_next_event_p()

bool simple_diagnostic_event::connect_to_next_event_p ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), and m_connected_to_next_event.

◆ get_desc()

label_text diagnostic_event::get_desc ( pretty_printer & ref_pp ) const

inherited

Generate a label_text containing the description of this event
(for debugging/logging purposes).

References pretty_printer::clone(), pp_formatted_text(), pp_show_color(), and print_desc().

◆ get_fndecl()

tree simple_diagnostic_event::get_fndecl ( ) const

inline

References m_fndecl.

◆ get_location()

location_t simple_diagnostic_event::get_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), and m_loc.

◆ get_logical_location()

logical_location simple_diagnostic_event::get_logical_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), tree_logical_location_manager::key_from_tree(), and m_fndecl.

◆ get_meaning()

meaning simple_diagnostic_event::get_meaning ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final().

◆ get_stack_depth()

int simple_diagnostic_event::get_stack_depth ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), and m_depth.

◆ get_thread_id()

diagnostic_thread_id_t simple_diagnostic_event::get_thread_id ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), and m_thread_id.

◆ maybe_add_sarif_properties()

virtual void diagnostic_event::maybe_add_sarif_properties	(	sarif_builder &	,
		sarif_object &	) const

inlinevirtualinherited

Reimplemented in ana::checker_event, and ana::superedge_event.

Referenced by sarif_builder::populate_thread_flow_location_object().

◆ maybe_make_diagnostic_state_graph()

std::unique_ptr< diagnostics::digraphs::digraph > diagnostic_event::maybe_make_diagnostic_state_graph ( bool debug ) const

virtualinherited

Reimplemented in ana::checker_event, and libgdiagnostics_path_event.

Referenced by sarif_builder::populate_thread_flow_location_object().

◆ print_desc()

void simple_diagnostic_event::print_desc ( pretty_printer & pp ) const

finaloverridevirtual

Implements diagnostic_event.

References m_desc, and pp_string().

Field Documentation

◆ m_connected_to_next_event

bool simple_diagnostic_event::m_connected_to_next_event

private

Referenced by connect_to_next_event(), connect_to_next_event_p(), and simple_diagnostic_event().

◆ m_depth

int simple_diagnostic_event::m_depth

private

Referenced by get_stack_depth(), and simple_diagnostic_event().

◆ m_desc

char* simple_diagnostic_event::m_desc

private

Referenced by print_desc(), simple_diagnostic_event(), and ~simple_diagnostic_event().

◆ m_fndecl

tree simple_diagnostic_event::m_fndecl

private

Referenced by get_fndecl(), get_logical_location(), and simple_diagnostic_event().

◆ m_loc

location_t simple_diagnostic_event::m_loc

private

Referenced by get_location(), and simple_diagnostic_event().

◆ m_logical_loc

logical_location simple_diagnostic_event::m_logical_loc

private

Referenced by simple_diagnostic_event().

◆ m_thread_id

diagnostic_thread_id_t simple_diagnostic_event::m_thread_id

private

Referenced by get_thread_id(), and simple_diagnostic_event().

The documentation for this class was generated from the following files:

Public Types

Public Member Functions

Private Attributes

Detailed Description

Member Enumeration Documentation

◆ noun

◆ property

◆ verb

Constructor & Destructor Documentation

◆ simple_diagnostic_event()

◆ ~simple_diagnostic_event()

Member Function Documentation

◆ connect_to_next_event()

◆ connect_to_next_event_p()

◆ get_desc()

◆ get_fndecl()

◆ get_location()

◆ get_logical_location()

◆ get_meaning()

◆ get_stack_depth()

◆ get_thread_id()

◆ maybe_add_sarif_properties()

◆ maybe_make_diagnostic_state_graph()

◆ print_desc()

Field Documentation

◆ m_connected_to_next_event

◆ m_depth

◆ m_desc

◆ m_fndecl

◆ m_loc

◆ m_logical_loc

◆ m_thread_id