| _allocation_object | memoryBlock | [private] |
| _allocation_site | memoryBlock | [private] |
| _complicit_assignments | memoryBlock | [private] |
| _components | memoryBlock | [private] |
| _container | memoryBlock | [private] |
| _current_def | memoryBlock | [private] |
| _current_use | memoryBlock | [private] |
| _decl | memoryBlock | [private] |
| _destructive_assignments | memoryBlock | [private] |
| _flow_sensitive | memoryBlock | [private] |
| _input_to | memoryBlock | [private] |
| _is_allocation_object | memoryBlock | [private] |
| _is_array | memoryBlock | [private] |
| _is_array_element | memoryBlock | [private] |
| _is_indexed | memoryBlock | [private] |
| _is_return_value | memoryBlock | [private] |
| _local_to | memoryBlock | [private] |
| _parameter_assignments | memoryBlock | [private] |
| _single_assignment | memoryBlock | [private] |
| _synthetic_decl | memoryBlock | [private] |
| _unify | memoryBlock | [private] |
| _unifytype | memoryBlock | [private] |
| _write_protected | memoryBlock | [private] |
| add_complicit_assignment(Location *where, memoryblock_set &objects) | memoryBlock | |
| add_complicit_assignment(Location *where, memoryBlock *object) | memoryBlock | |
| add_destructive_assignment(Location *where, DestructiveKind cause) | memoryBlock | |
| add_parameter_assignment(procNode *proc, stmtLocation *callsite, memoryBlock *block) | memoryBlock | |
| add_parameter_assignment(procNode *proc, stmtLocation *callsite, memoryblock_set &blocks) | memoryBlock | |
| add_to_flow_sensitive_list(flow_sensitive_set &flow_sensitive_objects) | memoryBlock | |
| add_to_non_unify_list(UnifyTypes &non_unify_types) | memoryBlock | |
| Additive enum value | memoryBlock | |
| AFTER_ASSIGNMENT enum value | memoryBlock | |
| ALL_VALUES enum value | memoryBlock | |
| allocation_object() | memoryBlock | |
| allocation_site() const | memoryBlock | [inline] |
| apply_weak_update(Location *current, memoryDef *previous_def, memoryuse_set &uses) | memoryBlock | |
| at_allocation(Location *current, memoryDef *reaching_def, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes) | memoryBlock | |
| at_deallocation(Location *current, memoryDef *reaching_def, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes) | memoryBlock | |
| clear() | memoryBlock | |
| complicit_assignment_map typedef | memoryBlock | |
| complicit_assignment_map_cp typedef | memoryBlock | |
| complicit_assignment_map_p typedef | memoryBlock | |
| complicit_assignments() const | memoryBlock | [inline] |
| container() const | memoryBlock | [inline] |
| containers() const | memoryBlock | |
| Control_flow enum value | memoryBlock | |
| current_def() const | memoryBlock | [inline] |
| current_use() const | memoryBlock | [inline] |
| CURRENT_VALUE enum value | memoryBlock | |
| decl() const | memoryBlock | [inline] |
| def_at(Location *where, bool &is_new) | memoryBlock | |
| def_uses(memoryDef *def, memoryuse_list &uses) | memoryBlock | |
| Defs | memoryBlock | [private] |
| defs() const | memoryBlock | [inline] |
| destructive_assignment_map typedef | memoryBlock | |
| destructive_assignment_map_cp typedef | memoryBlock | |
| destructive_assignment_map_p typedef | memoryBlock | |
| destructive_assignments() const | memoryBlock | [inline] |
| DestructiveKind enum name | memoryBlock | |
| dot(const string &field_name, declNode *field_decl, memoryModel &Memory, memoryblock_set &results) | memoryBlock | |
| FieldNames | memoryBlock | [private, static] |
| find_def_at(Location *where) | memoryBlock | |
| find_use_at(Location *where) | memoryBlock | |
| find_uses_at(Location *where, memoryuse_set &uses) | memoryBlock | |
| generate_su_field_name(const string &field) const | memoryBlock | |
| get_allocation_object(memoryModel &Memory) | memoryBlock | |
| get_array_element() | memoryBlock | |
| in_scope(basicblockLocation *where) const | memoryBlock | |
| input_to() | memoryBlock | [inline] |
| is_allocation_object() const | memoryBlock | [inline] |
| is_array() const | memoryBlock | [inline] |
| is_array_element() const | memoryBlock | [inline] |
| is_flow_sensitive() const | memoryBlock | [inline] |
| is_heap_object() const | memoryBlock | [inline] |
| is_in_flow_sensitive_list(flow_sensitive_set &flow_sensitive_objects) | memoryBlock | |
| is_indexed() const | memoryBlock | [inline] |
| is_return_value() const | memoryBlock | [inline] |
| is_single_assignment() const | memoryBlock | [inline] |
| is_synthetic_decl() const | memoryBlock | [inline] |
| is_unify() const | memoryBlock | [inline] |
| last_def_at(basicblockLocation *block) | memoryBlock | |
| local_to() const | memoryBlock | [inline] |
| memoryBlock(declNode *decl, bool synthetic, memoryBlock *container, procNode *local_to) | memoryBlock | [private] |
| memoryblock_count | memoryBlock | [static] |
| memoryModel class | memoryBlock | [friend] |
| merge_uses_at(basicblockLocation *where, memoryuse_list &uses, cfg_edge_set &active_edges, memoryDef *dominating_def, bool computePointers) | memoryBlock | |
| name() const | memoryBlock | |
| NAME_ONLY enum value | memoryBlock | |
| nearest_def_at(Location *where) | memoryBlock | |
| operator<<(ostream &o, const memoryBlock &mb) | memoryBlock | [friend] |
| Output_mode enum name | memoryBlock | |
| parameter_assignments(procNode *proc) | memoryBlock | [inline] |
| Parameter_pass enum value | memoryBlock | |
| print(ostream &o, Location *path, Output_mode mode=CURRENT_VALUE) const | memoryBlock | |
| print_def_use(ostream &o) const | memoryBlock | |
| print_multiplicity(Multiplicity m, ostream &out) | memoryBlock | [static] |
| property | memoryBlock | |
| property_blocks | memoryBlock | |
| prune_defs_uses() | memoryBlock | |
| reachable_blocks(Location *where, bool has_use_here, memoryblock_list &worklist, memoryblock_set &already_seen, memoryBlock *null, bool components_only=false) | memoryBlock | |
| reset_current_def_use(Location *unused) | memoryBlock | |
| set_array_element(memoryBlock *element) | memoryBlock | |
| set_current_def_use(Location *where) | memoryBlock | |
| set_flow_insensitive() | memoryBlock | [inline] |
| set_flow_sensitive() | memoryBlock | [inline] |
| set_flow_sensitivity(flow_sensitive_set &flow_sensitive_objects) | memoryBlock | |
| set_heap_object(stmtLocation *alloc_site) | memoryBlock | [inline] |
| set_indexed() | memoryBlock | [inline] |
| set_return_value() | memoryBlock | [inline] |
| set_unification(UnifyTypes &unify_types) | memoryBlock | |
| set_unify(bool flag) | memoryBlock | [inline] |
| set_write_protected() | memoryBlock | [inline] |
| setup_array_def() | memoryBlock | |
| setup_merge_uses_at(basicblockLocation *merge_location, memoryDef *reaching_def, basicblock_set &predecessors) | memoryBlock | |
| stats() | memoryBlock | [static] |
| stats(ostream &out, bool header, long int &global_defs, long int &global_merge_defs, long int &global_weak_defs, long int &global_uses, long int &global_merge_uses) | memoryBlock | |
| top_most_container() | memoryBlock | |
| top_most_containers() | memoryBlock | |
| top_most_containers(memoryblock_set &visited) | memoryBlock | [private] |
| unifyType() const | memoryBlock | [inline] |
| unifyType(UnifyType *t) | memoryBlock | [inline] |
| update_def_use_chains() | memoryBlock | |
| use_at(Location *where) | memoryBlock | |
| Uses | memoryBlock | [private] |
| Weak_update enum value | memoryBlock | |
| write_protected() const | memoryBlock | [inline] |
| ~memoryBlock() | memoryBlock | [private] |