Go to the source code of this file.
|
enum class | diagnostics::state_graphs::node_kind {
diagnostics::state_graphs::globals
, diagnostics::state_graphs::code
, diagnostics::state_graphs::function
, diagnostics::state_graphs::stack
,
diagnostics::state_graphs::stack_frame
, diagnostics::state_graphs::heap_
, diagnostics::state_graphs::thread_local_
, diagnostics::state_graphs::dynalloc_buffer
,
diagnostics::state_graphs::variable
, diagnostics::state_graphs::field
, diagnostics::state_graphs::padding
, diagnostics::state_graphs::element
,
diagnostics::state_graphs::other
} |
enum class | diagnostics::state_graphs::node_dynalloc_state { diagnostics::state_graphs::unknown
, diagnostics::state_graphs::nonnull
, diagnostics::state_graphs::unchecked
, diagnostics::state_graphs::freed
} |
◆ STATE_EDGE_PREFIX
#define STATE_EDGE_PREFIX "gcc/diagnostic_state_edge/" |
◆ STATE_GRAPH_PREFIX
#define STATE_GRAPH_PREFIX "gcc/diagnostic_state_graph/" |
Prefixes to use in SARIF property bags.
◆ STATE_NODE_PREFIX
#define STATE_NODE_PREFIX "gcc/diagnostic_state_node/" |