state-graphs-to-dot.cc File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "custom-sarif-properties/state-graphs.h"
#include "diagnostics/state-graphs.h"
#include "graphviz.h"
#include "xml.h"
#include "xml-printer.h"
#include "intl.h"

Include dependency graph for state-graphs-to-dot.cc:

Data Structures
class	state_diagram
struct	state_diagram::pending_edge

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

Functions
static int	get_depth (const digraphs::node &n)
static const char *	get_color_for_dynalloc_state (enum state_node_properties::dynalloc_state_t dynalloc_st)
static void	set_color_for_dynalloc_state (dot::attr_list &attrs, enum state_node_properties::dynalloc_state_t state)

Macro Definition Documentation

INCLUDE_ALGORITHM

#define INCLUDE_ALGORITHM

Creating GraphViz .dot files from diagnostic state graphs.
   Copyright (C) 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/>.   

INCLUDE_MAP

#define INCLUDE_MAP

INCLUDE_SET

#define INCLUDE_SET

INCLUDE_STRING

#define INCLUDE_STRING

INCLUDE_VECTOR

#define INCLUDE_VECTOR

Function Documentation

get_color_for_dynalloc_state()

const char * get_color_for_dynalloc_state ( enum state_node_properties::dynalloc_state_t dynalloc_st )

static

References custom_sarif_properties::state_graphs::node::freed, gcc_unreachable, custom_sarif_properties::state_graphs::node::nonnull, custom_sarif_properties::state_graphs::node::unchecked, and custom_sarif_properties::state_graphs::node::unknown.

Referenced by state_diagram::add_title_tr(), and set_color_for_dynalloc_state().

get_depth()

int get_depth ( const digraphs::node & n )

static

References get_depth(), and i.

Referenced by get_depth(), and state_diagram::on_input_state_node().

set_color_for_dynalloc_state()

void set_color_for_dynalloc_state ( dot::attr_list & attrs, enum state_node_properties::dynalloc_state_t state )

static

References color(), and get_color_for_dynalloc_state().

Referenced by state_diagram::state_diagram().