PIPS
|
#include "safescale.h"
Go to the source code of this file.
Functions | |
bool | safescale_module_analysis (const char *module_name) |
Analyze a given module. More... | |
bool safescale_module_analysis | ( | const char * | module_name | ) |
Analyze a given module.
cproto-generated files
Initialize the resources
Get effects of the module
Build hash tables between variables and values and between values and names for the module
Get regions of the module
Do the job
Update/release resources
module_name | odule_name |
Definition at line 33 of file analysis.c.
References db_get_memory_resource(), free_value_mappings(), module, module_name(), module_name_to_entity(), module_statement, module_to_value_mappings(), print_statement(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_in_effects(), reset_out_effects(), reset_proper_rw_effects(), reset_rw_effects(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_in_effects(), set_out_effects(), set_proper_rw_effects(), and set_rw_effects().