PIPS
|
pv_context is a structure holding the methods to use during pointer values analyses More...
#include <pointer_values-local.h>
pv_context is a structure holding the methods to use during pointer values analyses
Warning! Do not modify this file that is automatically generated!
Modify src/Libs/pointer_values/pointer_values-local.h instead, to add your own modifications. header file built by cproto pointer_values-local.h pv_context is a structure holding the methods to use during pointer values analyses
Definition at line 28 of file pointer_values-local.h.
bool(* pv_context::cell_preceding_p_func)(cell, descriptor, cell, descriptor, transformer, bool, bool *) |
COMPARISON OPERATORS.
Definition at line 53 of file pointer_values-local.h.
Referenced by make_simple_pv_context().
void(* pv_context::cell_reference_with_address_of_cell_reference_translation_func)(reference, descriptor, reference, descriptor, int, reference *, descriptor *, bool *) |
Definition at line 60 of file pointer_values-local.h.
Referenced by make_simple_pv_context().
void(* pv_context::cell_reference_with_value_of_cell_reference_translation_func)(reference, descriptor, reference, descriptor, int, reference *, descriptor *, bool *) |
TRANSLATION OPERATORS.
Definition at line 58 of file pointer_values-local.h.
Referenced by make_simple_pv_context().
list(* pv_context::db_get_in_pv_func)(const char *) |
Definition at line 36 of file pointer_values-local.h.
Referenced by generic_print_code_pv(), and make_simple_pv_context().
list(* pv_context::db_get_initial_pv_func)(const char *) |
Definition at line 40 of file pointer_values-local.h.
Referenced by generic_program_pointer_values(), and make_simple_pv_context().
list(* pv_context::db_get_out_pv_func)(const char *) |
Definition at line 38 of file pointer_values-local.h.
Referenced by make_simple_pv_context().
list(* pv_context::db_get_program_pv_func)() |
Definition at line 42 of file pointer_values-local.h.
Referenced by generic_module_pointer_values(), and make_simple_pv_context().
statement_cell_relations(* pv_context::db_get_pv_func)(const char *) |
set to true for an initial module analysis
PIPSDEBM INTERFACES
Definition at line 34 of file pointer_values-local.h.
Referenced by generic_print_code_pv(), make_simple_pv_context(), and reset_pv_context().
void(* pv_context::db_put_in_pv_func)(const char *, list) |
Definition at line 37 of file pointer_values-local.h.
Referenced by generic_module_pointer_values(), and make_simple_pv_context().
void(* pv_context::db_put_initial_pv_func)(const char *, list) |
Definition at line 41 of file pointer_values-local.h.
Referenced by generic_module_initial_pointer_values(), and make_simple_pv_context().
void(* pv_context::db_put_out_pv_func)(const char *, list) |
Definition at line 39 of file pointer_values-local.h.
Referenced by generic_module_pointer_values(), and make_simple_pv_context().
void(* pv_context::db_put_program_pv_func)(list) |
Definition at line 43 of file pointer_values-local.h.
Referenced by generic_program_pointer_values(), and make_simple_pv_context().
void(* pv_context::db_put_pv_func)(const char *, statement_cell_relations) |
Definition at line 35 of file pointer_values-local.h.
Referenced by generic_module_pointer_values(), make_simple_pv_context(), and reset_pv_context().
bool pv_context::initial_pointer_values_p |
ANALYSIS CONTROL.
Definition at line 31 of file pointer_values-local.h.
Referenced by declaration_to_post_pv(), initial_simple_pointer_values(), and make_simple_pv_context().
list(* pv_context::make_pv_from_effects_func)(effect, effect, cell_interpretation, list) |
statement_cell_relations (*db_get_gen_pv_func)(char *);
void (*db_put_gen_pv_func)(char * , statement_cell_relations); statement_effects (*db_get_kill_pv_func)(char *); void (*db_put_kill_pv_func)(char * , statement_effects);
Definition at line 50 of file pointer_values-local.h.
Referenced by make_simple_pv_context(), reset_pv_context(), and single_pointer_assignment_to_post_pv().
cell_relation(* pv_context::pv_composition_with_transformer_func)(cell_relation, transformer) |
UNARY OPERATORS.
Definition at line 64 of file pointer_values-local.h.
Referenced by make_simple_pv_context(), pvs_composition_with_transformer(), and reset_pv_context().
Definition at line 69 of file pointer_values-local.h.
Referenced by forloop_to_post_pv(), loop_to_post_pv(), make_simple_pv_context(), reset_pv_context(), and whileloop_to_post_pv().
Definition at line 68 of file pointer_values-local.h.
Referenced by conditional_operator_to_post_pv(), forloop_to_post_pv(), loop_to_post_pv(), make_simple_pv_context(), reset_pv_context(), test_to_post_pv(), and whileloop_to_post_pv().
BINARY OPERATORS.
Definition at line 67 of file pointer_values-local.h.
Referenced by generic_module_pointer_values(), kill_pointer_value(), make_simple_pv_context(), reset_pv_context(), and single_pointer_assignment_to_post_pv().
stack pv_context::stmt_stack |
STACKS.
Definition at line 72 of file pointer_values-local.h.
Referenced by make_simple_pv_context(), pv_context_statement_head(), pv_context_statement_pop(), and pv_context_statement_push().