_ci_memory_blocks | memoryModel | [private] |
_copy_decl | memoryModel | [private] |
_memory_blocks | memoryModel | [private] |
_string_constant | memoryModel | [private] |
_string_constants | memoryModel | [private] |
_unification_based | memoryModel | [private] |
ci_memorymodel_key typedef | memoryModel | |
ci_memorymodel_map typedef | memoryModel | |
ci_memorymodel_map_cp typedef | memoryModel | |
ci_memorymodel_map_p typedef | memoryModel | |
clear() | memoryModel | |
Counter | memoryModel | [private] |
counter() | memoryModel | [inline] |
create_memory_object(Location *location, declNode *decl, bool synthetic_decl, memoryBlock *container, procNode *local_to, declNode *org_field_decl=0, bool is_alloc=false, bool is_array_elt=false) | memoryModel | [private] |
create_memory_object(stmtNode *location, declNode *decl, bool synthetic_decl, memoryBlock *container, procNode *local_to, bool is_alloc=false) | memoryModel | [private] |
generate_array_elements_for(memoryBlock *array_object) | memoryModel | [private] |
generate_su_field(const string &field_name, declNode *field_decl, memoryBlock *container) | memoryModel | |
initialize_struct(memoryBlock *struct_object, sueNode *sue_type, expr_list &inits) | memoryModel | [private] |
is_in_non_unify_list(UnifyTypes &non_unify_types, UnifyType *obj) | memoryModel | [static] |
lookup(Location *location, declNode *decl) | memoryModel | |
lookup(stmtNode *location, declNode *decl) | memoryModel | |
lookup_heap_object(const string &name, stmtLocation *allocation_site, stmtNode *allocation_stmt, declNode *decl, bool synthetic_decl) | memoryModel | |
lookup_string_constant(constNode *the_string) | memoryModel | |
lookup_variable(Location *location, declNode *decl, procNode *local_to) | memoryModel | |
memoryModel() | memoryModel | |
memorymodel_key typedef | memoryModel | |
memorymodel_map typedef | memoryModel | |
memorymodel_map_cp typedef | memoryModel | |
memorymodel_map_p typedef | memoryModel | |
Null | memoryModel | [private] |
null() const | memoryModel | [inline] |
print(ostream &o) const | memoryModel | |
proc_memorymodel_map typedef | memoryModel | |
proc_memorymodel_map_cp typedef | memoryModel | |
proc_memorymodel_map_p typedef | memoryModel | |
size() | memoryModel | |
stats(ostream &out) | memoryModel | |
string_constant_map typedef | memoryModel | |
string_constant_map_p typedef | memoryModel | |
unification() const | memoryModel | [inline] |
unification(UnificationBasedPtr *u) | memoryModel | [inline] |
update_def_use_chains() | memoryModel | |
~memoryModel() | memoryModel | |