diff options
Diffstat (limited to 'usr/src/tools/smatch/src/flowgraph.h')
| -rw-r--r-- | usr/src/tools/smatch/src/flowgraph.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/usr/src/tools/smatch/src/flowgraph.h b/usr/src/tools/smatch/src/flowgraph.h new file mode 100644 index 0000000000..7226c55f08 --- /dev/null +++ b/usr/src/tools/smatch/src/flowgraph.h @@ -0,0 +1,13 @@ +#ifndef FLOWGRAPH_H +#define FLOWGRAPH_H + +#include <stdbool.h> + +struct entrypoint; +struct basic_block; + +int cfg_postorder(struct entrypoint *ep); +void domtree_build(struct entrypoint *ep); +bool domtree_dominates(struct basic_block *a, struct basic_block *b); + +#endif |