36 list (*db_get_in_pv_func)(
const char *);
37 void (*db_put_in_pv_func)(
const char * ,
list);
38 list (*db_get_out_pv_func)(
const char *);
39 void (*db_put_out_pv_func)(
const char * ,
list);
40 list (*db_get_initial_pv_func)(
const char *);
41 void (*db_put_initial_pv_func)(
const char * ,
list);
42 list (*db_get_program_pv_func)();
43 void (*db_put_program_pv_func)(
list);
58 void (*cell_reference_with_value_of_cell_reference_translation_func)
60 void (*cell_reference_with_address_of_cell_reference_translation_func)
83 #define pips_debug_pv_results(level, message, pv_res) \
84 ifdebug(level) { pips_debug(level, "%s\n", message); \
85 print_pv_results(pv_res);}
void const char const char const int
struct _newgen_struct_reference_ * reference
struct _newgen_struct_effect_ * effect
bool(* cell_preceding_p_func)(cell, descriptor, cell, descriptor, bool, bool *)
struct _newgen_struct_cell_relation_ * cell_relation
struct _newgen_struct_cell_ * cell
struct _newgen_struct_cell_interpretation_ * cell_interpretation
struct _newgen_struct_descriptor_ * descriptor
struct _newgen_struct_statement_cell_relations_ * statement_cell_relations
int bool
we cannot use an enum or stdbool because we need to be compatible with newgen, thus boolean need to h...
struct _newgen_struct_transformer_ * transformer
The structure used to build lists in NewGen.
pv_context is a structure holding the methods to use during pointer values analyses
bool initial_pointer_values_p
ANALYSIS CONTROL.
pv_results is a structure holding the different results of an expression pointer values analysis
list result_paths_interpretations
resulting pointer path of the expression evaluation
list result_paths
resulting pointer_values