diagnostics::state_graphs Namespace Reference

Data Structures
struct	state_node_ref

Enumerations
enum class	node_kind {   globals , code , function , stack ,   stack_frame , heap_ , thread_local_ , dynalloc_buffer ,   variable , field , padding , element ,   other }
enum class	node_dynalloc_state { unknown , nonnull , unchecked , freed }

Functions
const char *	node_kind_to_str (enum node_kind)
std::unique_ptr< dot::graph >	make_dot_graph (const diagnostics::digraphs::digraph &state_graph, const logical_locations::manager &logical_loc_mgr)

Enumeration Type Documentation

node_dynalloc_state

enum class diagnostics::state_graphs::node_dynalloc_state

strong

Enumerator
unknown
nonnull
unchecked
freed

node_kind

enum class diagnostics::state_graphs::node_kind

strong

Enumerator
globals
code
function
stack
stack_frame
heap_
thread_local_
dynalloc_buffer
variable
field
padding
element
other

Function Documentation

make_dot_graph()

std::unique_ptr< dot::graph > diagnostics::state_graphs::make_dot_graph ( const diagnostics::digraphs::digraph & state_graph, const logical_locations::manager & logical_loc_mgr )

extern

node_kind_to_str()

const char * diagnostics::state_graphs::node_kind_to_str ( enum node_kind k )

extern

References node_kind_strs.

Referenced by diagnostics::state_graphs::state_node_ref::set_node_kind().