repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
math: array parameters can be NULL
[smatch.git]
/
flowgraph.h
blob
7226c55f080523577092b2ef79f05abca0365dc0
1
#ifndef FLOWGRAPH_H
2
#define FLOWGRAPH_H
3
4
#include <stdbool.h>
5
6
struct
entrypoint
;
7
struct
basic_block
;
8
9
int
cfg_postorder
(
struct
entrypoint
*
ep
);
10
void
domtree_build
(
struct
entrypoint
*
ep
);
11
bool
domtree_dominates
(
struct
basic_block
*
a
,
struct
basic_block
*
b
);
12
13
#endif