cprover
|
#include <cfg_dominators.h>
Classes | |
struct | nodet |
Public Types | |
typedef std::set< T > | target_sett |
typedef procedure_local_cfg_baset< nodet, P, T > | cfgt |
Public Member Functions | |
void | operator() (P &program) |
Compute dominators. More... | |
void | output (std::ostream &) const |
Print the result of the dominator computation. More... | |
Public Attributes | |
cfgt | cfg |
T | entry_node |
Protected Member Functions | |
void | initialise (P &program) |
Initialises the elements of the fixed point analysis. More... | |
void | fixedpoint (P &program) |
Computes the MOP for the dominator analysis. More... | |
Definition at line 26 of file cfg_dominators.h.
typedef procedure_local_cfg_baset<nodet, P, T> cfg_dominators_templatet< P, T, post_dom >::cfgt |
Definition at line 36 of file cfg_dominators.h.
typedef std::set<T> cfg_dominators_templatet< P, T, post_dom >::target_sett |
Definition at line 29 of file cfg_dominators.h.
|
protected |
Computes the MOP for the dominator analysis.
Definition at line 77 of file cfg_dominators.h.
|
protected |
Initialises the elements of the fixed point analysis.
Definition at line 70 of file cfg_dominators.h.
void cfg_dominators_templatet< P, T, post_dom >::operator() | ( | P & | program | ) |
Compute dominators.
Definition at line 62 of file cfg_dominators.h.
void cfg_dominators_templatet< P, T, post_dom >::output | ( | std::ostream & | out | ) | const |
Print the result of the dominator computation.
Definition at line 185 of file cfg_dominators.h.
Referenced by operator<<().
cfgt cfg_dominators_templatet< P, T, post_dom >::cfg |
Definition at line 37 of file cfg_dominators.h.
Referenced by full_slicert::add_jumps(), dep_graph_domaint::control_dependencies(), goto_program2codet::convert_goto_break_continue(), goto_program2codet::convert_goto_goto(), goto_program2codet::convert_goto_switch(), get_common_dominator(), goto_program2codet::remove_default(), goto_program2codet::set_block_end_points(), and unreachable_instructions().
T cfg_dominators_templatet< P, T, post_dom >::entry_node |
Definition at line 41 of file cfg_dominators.h.