gcc::context * g
Definition context.cc:31
class bitmap_head * bitmap
Definition coretypes.h:51
void dump_graph(FILE *f, struct graph *g)
Definition graphds.cc:29
void identify_vertices(struct graph *g, int v, int u)
Definition graphds.cc:86
void free_graph(struct graph *g)
Definition graphds.cc:346
int graphds_scc(struct graph *g, bitmap subgraph, skip_edge_callback skip_edge_p, vec< int > *scc_grouping)
Definition graphds.cc:293
struct graph_edge * add_edge(struct graph *g, int f, int t)
Definition graphds.cc:65
void graphds_domtree(struct graph *g, int entry, int *parent, int *son, int *brother)
Definition graphds.cc:407
void for_each_edge(struct graph *g, graphds_edge_callback callback, void *data)
Definition graphds.cc:333
struct graph * new_graph(int n_vertices)
Definition graphds.cc:50
int graphds_dfs(struct graph *g, int *qs, int nq, vec< int > *qt, bool forward, bitmap subgraph, skip_edge_callback skip_edge_p)
Definition graphds.cc:199
bool(*) skip_edge_callback(struct graph_edge *)
Definition graphds.h:58
void(*) graphds_edge_callback(struct graph *, struct graph_edge *, void *)
Definition graphds.h:64
Definition custom-sarif-properties/state-graphs.h:30
void * data
Definition graphds.h:30
struct graph_edge * succ_next
Definition graphds.h:28
int src
Definition graphds.h:27
int dest
Definition graphds.h:27
struct graph_edge * pred_next
Definition graphds.h:28
int n_vertices
Definition graphds.h:49
struct vertex * vertices
Definition graphds.h:50
struct obstack ob
Definition graphds.h:51
int post
Definition graphds.h:41
int component
Definition graphds.h:39
struct graph_edge * pred
Definition graphds.h:37
struct graph_edge * succ
Definition graphds.h:37
void * data
Definition graphds.h:42
#define NULL
Definition system.h:58
#define bool
Definition system.h:891