Get the code of the module.
predicates defining summary regions from callees have to be translated into variables local to module
Get the transformers of the module.
115 debug_on(
"CONTINUATION_DEBUG_LEVEL");
static transformer may_sum_cont_t
static void module_continuation_conditions(statement mod_stat)
statement stack
static transformer must_sum_cont_t
package continuation : Be'atrice Creusillet, 1996
static void module_summary_continuation_conditions(statement mod_stat)
INTERPROCEDURAL SUMMARIZATION.
statement_mapping get_must_continuation_map(void)
void set_may_continuation_map(statement_mapping)
void set_must_continuation_map(statement_mapping)
void reset_may_continuation_map(void)
void reset_must_continuation_map(void)
statement_mapping get_may_continuation_map(void)
void reset_proper_rw_effects(void)
void set_proper_rw_effects(statement_effects)
void set_cumulated_rw_effects(statement_effects)
void reset_cumulated_rw_effects(void)
const char * module_name(const char *s)
Return the module part of an entity name.
void reset_current_module_entity(void)
Reset the current module entity.
void reset_current_module_statement(void)
Reset the current module statement.
statement set_current_module_statement(statement)
Set the current module statement.
statement get_current_module_statement(void)
Get the current module statement.
entity set_current_module_entity(entity)
static.c
entity get_current_module_entity(void)
Get the entity of the current module.
string db_get_memory_resource(const char *rname, const char *oname, bool pure)
Return the pointer to the resource, whatever it is.
#define DB_PUT_MEMORY_RESOURCE(res_name, own_name, res_val)
conform to old interface.
#define MAKE_STATEMENT_MAPPING()
entity local_name_to_top_level_entity(const char *n)
This function try to find a top-level entity from a local name.
void module_to_value_mappings(entity m)
void module_to_value_mappings(entity m): build hash tables between variables and values (old,...
void set_transformer_map(statement_mapping)
void reset_transformer_map(void)