#include <reaching.h>
Inheritance diagram for reachingDefinitionsWalker::

Public Methods | |
| reachingDefinitionsWalker (void) | |
| void | at_proc (procNode *, Order) |
| void | at_basicblock (basicblockNode *, Order) |
Private Methods | |
| void | make_ud_chains (exprNode *) |
| void | make_ud_chains (stmtNode *) |
Private Attributes | |
| map< basicblockNode *, defFlowVal *> | in |
| map< basicblockNode *, defFlowVal *> | out |
| stmtNode ** | num2node |
| int | n |
| defFlowVal * | current_in |
| map< stmtNode *, int > | node2num |
| map< stmtNode *, declNode *> | defines |
| map< declNode *, defFlowVal *> | defs |
|
|
|
|
||||||||||||
|
Reimplemented from Walker. |
|
||||||||||||
|
Reimplemented from Walker. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.13.1 written by Dimitri van Heesch,
© 1997-2001