25 #include "pips_config.h"
58 pointer_info_kind = val;
62 return pointer_info_kind;
65 static bool constant_paths_p =
false;
74 return constant_paths_p;
260 typedef effect (*effect_function)();
263 typedef text (*text_function)();
struct _newgen_struct_entity_ * entity
struct _newgen_struct_statement_ * statement
struct _newgen_struct_reference_ * reference
struct _newgen_struct_action_ * action
struct _newgen_struct_effect_ * effect
transformer(* load_transformer_func)(statement)
effect(* effect_union_op)(effect, effect)
list(* effects_sup_difference_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))
void(* db_put_invariant_in_effects_func)(const char *, statement_effects)
list(* fortran_effects_backward_translation_op)(entity, list, list, transformer)
statement_effects(* db_get_invariant_in_effects_func)(const char *)
void set_is_user_view_p(bool)
void(* db_put_summary_in_effects_func)(const char *, list)
void(* db_put_in_effects_func)(const char *, statement_effects)
list(* effect_to_constant_path_effects_func)(effect)
bool(* empty_context_test)(transformer)
list(* effects_intersection_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))
transformer(* load_completed_transformer_func)(statement)
void set_contracted_rw_effects(bool)
rw_effects_engine.c
list(* c_effects_on_formal_parameter_backward_translation_func)(list, expression, transformer)
transformer(* load_context_func)(statement)
statement_effects(* db_get_live_in_paths_func)(const char *)
effect(* proper_to_summary_effect_func)(effect)
list(* effects_union_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))
void(* db_put_rw_effects_func)(const char *, statement_effects)
void(* effect_descriptor_interprocedural_translation_op)(effect)
void(* db_put_useful_variables_effects_func)(const char *, entity_effects)
void(* effects_translation_end_func)(void)
void(* effects_descriptor_normalize_func)(list)
pointer_info_val get_pointer_info_kind(void)
list(* effects_transformer_composition_op)(list, transformer)
void(* db_put_invariant_rw_effects_func)(const char *, statement_effects)
statement_effects(* db_get_invariant_rw_effects_func)(const char *)
list(* effect_to_store_independent_effect_list_func)(effect, bool)
bool(* effect_consistent_p_func)(effect)
void(* loop_range_in_effect_func)(loop, list *, list *, bool(*)(effect, effect), entity *, range)
statement_effects(* db_get_live_out_paths_func)(const char *)
descriptor(* loop_descriptor_make_func)(loop)
bool(* cell_preceding_p_func)(cell, descriptor, cell, descriptor, bool, bool *)
void(* effect_free_func)(effect eff)
list(* effects_local_to_global_translation_op)(list)
void(* attach_effects_decoration_to_text_func)(text)
list(* db_get_summary_in_effects_func)(const char *)
effect(* reference_to_effect_func)(reference, action, bool)
statement_effects(* db_get_out_effects_func)(const char *)
void(* db_put_out_effects_func)(const char *, statement_effects)
void set_descriptor_range_p(bool)
void(* db_put_live_out_paths_func)(const char *, statement_effects)
void(* effects_computation_init_func)(const char *)
text(* effects_to_text_func)(list)
list(* db_get_summary_out_effects_func)(const char *)
entity_effects(* db_get_useful_variables_effects_func)(const char *)
void(* db_put_live_in_summary_paths_func)(const char *, list)
statement_effects(* db_get_cumulated_in_effects_func)(const char *)
void(* db_put_live_out_summary_paths_func)(const char *, list)
list(* effects_test_union_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))
void(* effects_translation_init_func)(entity, list, bool)
list(* effects_loop_normalize_func)(list, entity, range, entity *, descriptor, bool)
void reset_generic_prettyprints(void)
void(* effect_prettyprint_func)(effect)
void set_contracted_proper_effects(bool)
end of effects-generic-local.h
bool get_constant_paths_p(void)
void(* db_put_summary_out_effects_func)(const char *, list)
list(* effects_descriptors_variable_change_func)(list, entity, entity)
list(* db_get_live_out_summary_paths_func)(const char *)
void set_prettyprint_with_attachments(bool)
descriptor(* vector_to_descriptor_func)(Pvecteur)
void(* db_put_summary_rw_effects_func)(const char *, list)
void(* effect_add_expression_dimension_func)(effect eff, expression exp)
list(* db_get_live_in_summary_paths_func)(const char *)
void(* effects_computation_reset_func)(const char *)
void(* db_put_cumulated_in_effects_func)(const char *, statement_effects)
list(* effects_inf_difference_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))
effect(* effect_dup_func)(effect eff)
statement_effects(* db_get_in_effects_func)(const char *)
list(* fortran_effects_forward_translation_op)(entity, list, list, transformer)
void(* effect_change_ith_dimension_expression_func)(effect eff, expression exp, int i)
void generic_effects_reset_all_methods(void)
void(* db_put_proper_rw_effects_func)(const char *, statement_effects)
void set_pointer_info_kind(pointer_info_val)
methods.c
list(* eval_cell_with_points_to_func)(cell, descriptor, list, bool *, transformer)
void(* effects_prettyprint_func)(list)
statement_effects(* db_get_proper_rw_effects_func)(const char *)
list(* effects_union_over_range_op)(list, entity, range, descriptor)
void(* db_put_live_in_paths_func)(const char *, statement_effects)
list(* effects_transformer_inverse_composition_op)(list, transformer)
void set_constant_paths_p(bool)
list(* db_get_summary_rw_effects_func)(const char *)
bool(* stmt_strongly_feasible_p_func)(statement)
list(* effects_precondition_composition_op)(list, transformer, bool)
statement_effects(* db_get_rw_effects_func)(const char *)
list(* c_effects_on_actual_parameter_forward_translation_func)(entity, expression, entity, list, transformer)
struct _newgen_struct_cell_ * cell
struct _newgen_struct_statement_effects_ * statement_effects
struct _newgen_struct_descriptor_ * descriptor
struct _newgen_struct_entity_effects_ * entity_effects
struct _newgen_struct_range_ * range
int bool
we cannot use an enum or stdbool because we need to be compatible with newgen, thus boolean need to h...
descriptor(* descriptor_function)()
statement_effects(* statement_effects_function)()
struct _newgen_struct_transformer_ * transformer
The structure used to build lists in NewGen.
struct _newgen_struct_text_ * text
A gen_chunk is used to store every object.
#define exp
Avoid some warnings from "gcc -Wshadow".
struct Svecteur * Pvecteur