| _bottom | ipConstantPropagation | [private] |
| _constants | ipConstantPropagation | [private] |
| _count | ipConstantPropagation | [private] |
| _debug | ipConstantPropagation | [private] |
| _deleted | ipConstantPropagation | [private] |
| _direction | analysisProblem | [protected] |
| _enums | ipConstantPropagation | [private] |
| _top | ipConstantPropagation | [private] |
| _values | ipConstantPropagation | [private] |
| allocate(ipConstant *ic) | ipConstantPropagation | [inline, private] |
| analysisProblem(Direction direction) | analysisProblem | [inline] |
| assignment(const Path *where, memoryDef *left_hand_side, analysisVal *right_hand_side, bool is_strong_update) | ipConstantPropagation | [virtual] |
| at_address(stmtLocation *current, unaryNode *unary, pointerValue &operand, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_assignment(stmtLocation *current, binaryNode *binary, pointerValue &left, pointerValue &right, pointerValue &result, bool result_is_a_use, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_basicblock_entry(basicblockLocation *block, procedureInfo *info, pointerValue &initial) | analysisProblem | [inline, virtual] |
| at_basicblock_exit(basicblockLocation *block, procedureInfo *info, pointerValue &final) | analysisProblem | [inline, virtual] |
| at_binary(stmtLocation *current, binaryNode *binary, pointerValue &left, pointerValue &right, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_call(stmtLocation *current, callNode *call, pointerValue &call_target, procNode *callee, pointervalue_list &arguments, pointerValue &return_val) | analysisProblem | [inline, virtual] |
| at_cast(stmtLocation *current, castNode *cast, pointerValue &operand, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_conservative_procedure_call(stmtLocation *current, callNode *call, pointerValue &call_target, pointervalue_list &arguments, memoryblock_set &reachable_blocks, pointerValue &return_val, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_const(stmtLocation *current, constNode *cons, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_dereference(stmtLocation *current, unaryNode *unary, pointerValue &operand, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_exprstmt(stmtLocation *stmt, exprstmtNode *es, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_field_access(stmtLocation *current, binaryNode *binary, pointerValue &operand, idNode *field, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_id(stmtLocation *current, idNode *id, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_if(stmtLocation *stmt, ifNode *ifnode, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_index(stmtLocation *current, binaryNode *binary, pointerValue &left, pointerValue &right, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| at_merge(basicblockLocation *where, memoryBlock *block, memoryuse_list &phi_uses, pointerValue &result, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_parameter_pass(Location *current, pointerValue &left, pointerValue &right, pointerValue &result, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_procedure_entry(procLocation *proc, procedureInfo *info, pointerValue &return_val) | analysisProblem | [inline, virtual] |
| at_procedure_exit(procLocation *proc, procedureInfo *info, pointerValue &return_val) | analysisProblem | [inline, virtual] |
| at_return(stmtLocation *stmt, returnNode *ret, pointerValue &result, pointerValue &return_val) | analysisProblem | [inline, virtual] |
| at_stmt_entry(stmtLocation *stmt, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_stmt_exit(stmtLocation *stmt, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_unary(stmtLocation *current, unaryNode *unary, pointerValue &operand, pointerValue &result, bool result_is_a_use) | analysisProblem | [inline, virtual] |
| binary_operator(const Operator *op, const analysisVal *left_operand, const analysisVal *right_operand) | ipConstantPropagation | [virtual] |
| bottom() | ipConstantPropagation | [virtual] |
| cast_operator(const typeNode *type, const analysisVal *operand) | ipConstantPropagation | [virtual] |
| clone(analysisVal *to_clone) | ipConstantPropagation | [private] |
| direction() const | analysisProblem | [inline] |
| free(analysisVal *to_free) | ipConstantPropagation | [virtual] |
| ipConstantPropagation(bool debug=false) | ipConstantPropagation | [inline] |
| lookup(memoryBlock *block, memoryUse *use) | ipConstantPropagation | [virtual] |
| lookup(constNode *con) | ipConstantPropagation | [virtual] |
| lookup(const string &field_name) | ipConstantPropagation | [virtual] |
| name()=0 | analysisProblem | [pure virtual] |
| stats() | ipConstantPropagation | |
| top() | ipConstantPropagation | [virtual] |
| unary_operator(const Operator *op, const analysisVal *operand) | ipConstantPropagation | [virtual] |
