 |
C-Breeze C Compiler Infrastructure [ Project home page] |
precisionAnalyzer Member List
This is the complete list of members for precisionAnalyzer, including all inherited members.| _derefs | precisionAnalyzer | [private] |
| _direction | analysisProblem | [protected] |
| _pointer_targets | precisionAnalyzer | [private] |
| analysisProblem(Direction direction) | analysisProblem | [inline] |
| at_address(stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_allocation(stmtLocation *stmt, pointervalue_list &arguments, memoryBlock *block, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_assignment(stmtLocation *current, pointerValue &left, pointerValue &right, pointerValue &result, 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, stmtNode *r, pointerValue &left, pointerValue &right, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_call(stmtLocation *current, operandNode *call, pointerValue &call_target, procNode *callee, pointervalue_list &arguments, pointerValue &return_val) | analysisProblem | [inline, virtual] |
| at_cast(stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_conditiongoto(stmtLocation *stmt, conditiongotoNode *c, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_conservative_procedure_call(stmtLocation *current, operandNode *call, operand_list &args, 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) | analysisProblem | [inline, virtual] |
| at_deallocation(stmtLocation *stmt, pointerValue &to_deallocate, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_dereference(stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result) | precisionAnalyzer | [virtual] |
| at_field_access(stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result) | precisionAnalyzer | [virtual] |
| at_id(stmtLocation *current, idNode *id, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_index(stmtLocation *current, operandNode *operand, pointerValue &left, pointerValue &right, pointerValue &result) | precisionAnalyzer | [virtual] |
| at_merge(Location *where, memoryBlock *block, memoryuse_list &phi_uses, pointerValue &result, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_parameter_pass(Location *current, stmtLocation *parameter_callsite, pointerValue &left, pointerValue &right, 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(Location *current, pointerValue &left, pointerValue &right, memoryblock_set &changes) | analysisProblem | [inline, virtual] |
| at_self_assignment(Location *source, Location *target, memoryBlock *block, memoryblock_set &changes, bool is_input) | analysisProblem | [inline, virtual] |
| at_sizeof(stmtLocation *current, threeAddrNode *r, pointerValue &operand, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_stmt_entry(stmtLocation *stmt, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_stmt_exit(stmtLocation *stmt, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_threeAddr(stmtLocation *stmt, threeAddrNode *threeaddr, pointerValue &result) | analysisProblem | [inline, virtual] |
| at_unary(stmtLocation *current, threeAddrNode *r, pointerValue &operand, pointerValue &result) | analysisProblem | [inline, virtual] |
| compare_property_value(Location *where, memoryBlock *property_block, procedureInfo *callee) | analysisProblem | [inline, virtual] |
| direction() const | analysisProblem | [inline] |
| name() | precisionAnalyzer | [inline, virtual] |
| pointer_targets_map typedef | precisionAnalyzer | [private] |
| pointer_targets_map_p typedef | precisionAnalyzer | [private] |
| precisionAnalyzer() | precisionAnalyzer | |
| record(stmtLocation *current, pointerValue &operand, pointerValue &result) | precisionAnalyzer | [private] |
| record_input_to_value(procedureInfo *callee, memoryBlock *property_block, Location *where) | analysisProblem | [inline, virtual] |
| report(ostream &out) | precisionAnalyzer | |
| stmt_pointer_pair typedef | precisionAnalyzer | [private] |