to inventory pointer functions that are use to compute effects/region and the functions that can be pointed. List of functions that can be pointed in PIPS (maybe just for effects?) and the functions which are pointed. It can be use for debug to know to which funtions corresponding the pointer function. It's also list some functions/pointer functions that seem to be never use in the code. List of funtion that can be pointed: Name_of_pointer_funtion = Name_functions_of_functions_taht_can_be_pointed ----------------------------------------------------------------- effects_translation_init_func = simple_effects_translation_init convex_regions_translation_init effects_translation_end_func = simple_effects_translation_end convex_regions_translation_end effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation convex_region_descriptor_translation ----------------------------------------------------------------- effect_to_store_independent_effect_list_func = effect_to_store_independent_sdfi_list region_to_store_independent_region_list effect_add_expression_dimension_func = simple_effect_add_expression_dimension convex_region_add_expression_dimension effect_change_ith_dimension_expression_func = simple_effect_change_ith_dimension_expression convex_region_change_ith_dimension_expression ----------------------------------------------------------------- effect_consistent_p_func = effect_consistent_p region_consistent_p ----------------------------------------------------------------- effects_computation_init_func = (void_function) UNDEF; effects_computation_no_init init_convex_in_out_regions init_convex_rw_regions effects_computation_reset_func = (void_function) UNDEF; effects_computation_no_reset reset_convex_in_out_regions reset_convex_rw_regions ----------------------------------------------------------------- effect_dup_func = (effect_function) UNDEF; simple_effect_dup region_dup copy_effect effect_free_func = (void_function) UNDEF; free_effect region_free ----------------------------------------------------------------- effect_union_op = (effect_function) UNDEF; effect_must_union regions_must_convex_hull effects_union_op = (list_function) UNDEF; ProperEffectsMustUnion RegionsMustUnion ReferenceUnion EffectsMustUnion effects_test_union_op = (list_function) UNDEF; EffectsMayUnion RegionsMayUnion ReferenceTestUnion effects_intersection_op = (list_function) UNDEF; effects_undefined_binary_operator RegionsIntersection effects_entities_intersection effects_sup_difference_op = (list_function) UNDEF; effects_undefined_binary_operator RegionsSupDifference EffectsSupDifference //Never use effects_inf_difference_op = (list_function) UNDEF; effects_undefined_binary_operator RegionsInfDifference EffectsInfDifference effects_transformer_composition_op = (list_function) UNDEF; effects_composition_with_transformer_nop effects_undefined_composition_with_transformer convex_regions_transformer_compose simple_effects_composition_with_effect_transformer effects_transformer_inverse_composition_op = (list_function) UNDEF; effects_composition_with_transformer_nop effects_undefined_composition_with_transformer convex_regions_inverse_transformer_compose effects_precondition_composition_op = (list_function) UNDEF; effects_composition_with_preconditions_nop convex_regions_precondition_compose effects_descriptors_variable_change_func = (list_function) UNDEF; effects_descriptors_variable_change_nop effects_undefined_descriptors_variable_change convex_regions_descriptor_variable_rename ----------------------------------------------------------------- //Never use eval_cell_with_points_to_func = (list_function) UNDEF; eval_simple_cell_with_points_to eval_convex_cell_with_points_to effect_to_constant_path_effects_func = (list_function) UNDEF; effect_to_constant_path_effects_with_no_pointer_information simple_effect_to_constant_path_effects_with_points_to simple_effect_to_constant_path_effects_with_pointer_values convex_effect_to_constant_path_effects_with_points_to convex_effect_to_constant_path_effects_with_pointer_values ----------------------------------------------------------------- effects_loop_normalize_func = (list (*)(list, entity, range, entity* , descriptor ,bool)) UNDEF; effects_loop_normalize_nop effects_undefined_loop_normalize convex_regions_loop_normalize effects_union_over_range_op = (list (*)(list, entity, range, descriptor)) UNDEF; effects_union_over_range_nop simple_effects_union_over_range convex_regions_union_over_range ----------------------------------------------------------------- reference_to_effect_func = (effect(*)(reference,action,bool)) UNDEF; reference_to_simple_effect reference_to_convex_region reference_to_reference_effect ----------------------------------------------------------------- loop_descriptor_make_func = (descriptor_function) UNDEF; loop_undefined_descriptor_make loop_convex_descriptor_make //Never use vector_to_descriptor_func = (descriptor_function) UNDEF; effects_undefined_vector_to_descriptor vector_to_convex_descriptor ----------------------------------------------------------------- fortran_effects_backward_translation_op = (list_function) UNDEF; simple_effects_backward_translation convex_regions_backward_translation fortran_effects_forward_translation_op = (list_function) UNDEF; simple_effects_forward_translation convex_regions_forward_translation effects_local_to_global_translation_op = (list_function) UNDEF; effects_dynamic_elim regions_dynamic_elim c_effects_on_actual_parameter_forward_translation_func = (list_function) UNDEF; c_simple_effects_on_actual_parameter_forward_translation c_convex_effects_on_actual_parameter_forward_translation c_effects_on_formal_parameter_backward_translation_func = c_simple_effects_on_formal_parameter_backward_translation c_convex_effects_on_formal_parameter_backward_translation ----------------------------------------------------------------- load_context_func = (transformer_function) UNDEF; load_undefined_context load_statement_precondition load_transformer_func = (transformer_function) UNDEF; load_undefined_transformer load_statement_transformer empty_context_test = (bool_function) UNDEF; empty_context_test_false empty_convex_context_p proper_to_summary_effect_func = (effect_function) UNDEF; effect_nop proper_to_summary_simple_effect effects_descriptor_normalize_func = (void_function) UNDEF; simple_effects_descriptor_normalize convex_effects_descriptor_normalize load_completed_transformer_func = load_undefined_transformer load_completed_statement_transformer ----------------------------------------------------------------- db_get_proper_rw_effects_func = (statement_effects_function) UNDEF; db_get_simple_proper_rw_pointer_effects db_get_convex_proper_rw_pointer_regions db_get_proper_references db_get_simple_proper_rw_effects db_get_convex_proper_rw_regions db_put_proper_rw_effects_func = (void_function) UNDEF; db_put_simple_proper_rw_pointer_effects db_put_convex_proper_rw_pointer_regions db_put_proper_references db_put_simple_proper_rw_effects db_put_convex_proper_rw_regions db_get_invariant_rw_effects_func = (statement_effects_function) UNDEF; db_get_convex_invariant_rw_pointer_regions db_get_invariant_references db_get_simple_invariant_rw_effects db_get_simple_invariant_rw_pointer_effects db_get_convex_invariant_rw_regions db_put_invariant_rw_effects_func = (void_function) UNDEF; db_put_convex_invariant_rw_pointer_regions db_put_invariant_references db_put_simple_invariant_rw_effects db_put_simple_invariant_rw_pointer_effects db_put_convex_invariant_rw_regions db_get_rw_effects_func = (statement_effects_function) UNDEF; db_get_convex_rw_pointer_regions db_get_cumulated_references db_get_simple_rw_effects db_get_simple_rw_pointer_effects db_get_convex_rw_regions db_put_rw_effects_func = (void_function) UNDEF; db_put_convex_rw_pointer_regions db_put_cumulated_references db_put_simple_rw_effects db_put_simple_rw_pointer_effects db_put_convex_rw_regions db_get_summary_rw_effects_func = (list_function) UNDEF; db_get_simple_summary_rw_pointer_effects db_get_convex_summary_rw_pointer_regions db_get_summary_references db_get_simple_summary_rw_effects db_get_convex_summary_rw_regions db_put_summary_rw_effects_func = (void_function) UNDEF; db_put_convex_summary_rw_pointer_regions db_put_summary_references db_put_simple_summary_rw_effects db_put_simple_summary_rw_pointer_effects db_put_convex_summary_rw_regions db_get_in_effects_func = (statement_effects_function) UNDEF; db_get_convex_in_regions db_get_simple_in_effects db_put_in_effects_func = (void_function) UNDEF; db_put_convex_in_regions db_put_simple_in_effects db_get_cumulated_in_effects_func = (statement_effects_function) UNDEF; db_get_convex_cumulated_in_regions db_get_simple_cumulated_in_effects db_put_cumulated_in_effects_func = (void_function) UNDEF; db_put_convex_cumulated_in_regions db_put_simple_cumulated_in_effects db_get_invariant_in_effects_func = (statement_effects_function) UNDEF; db_get_convex_invariant_in_regions db_get_simple_invariant_in_effects db_put_invariant_in_effects_func = (void_function) UNDEF; db_put_convex_invariant_in_regions db_put_simple_invariant_in_effects db_get_summary_in_effects_func = (list_function) UNDEF; db_get_convex_summary_in_regions db_get_simple_summary_in_effects db_put_summary_in_effects_func = (void_function) UNDEF; db_put_convex_summary_in_regions db_put_simple_summary_in_effects db_get_summary_out_effects_func = (list_function) UNDEF; db_get_convex_summary_out_regions db_get_simple_summary_out_effects db_put_summary_out_effects_func = (void_function) UNDEF; db_put_convex_summary_out_regions db_put_simple_summary_out_effects db_get_out_effects_func = (statement_effects_function) UNDEF; db_get_convex_out_regions db_get_simple_out_effects db_put_out_effects_func = (void_function) UNDEF; db_put_convex_out_regions db_put_simple_out_effects db_get_live_in_paths_func = (statement_effects_function) UNDEF; db_get_simple_live_in_paths db_put_live_in_paths_func = (void_function) UNDEF; db_put_simple_live_in_paths db_get_live_out_paths_func = (statement_effects_function) UNDEF; db_get_simple_live_out_paths db_put_live_out_paths_func = (void_function) UNDEF; db_put_simple_live_out_paths db_get_live_in_summary_paths_func = (list_function) UNDEF; db_get_simple_live_in_summary_paths db_put_live_in_summary_paths_func = (void_function) UNDEF; db_put_simple_live_in_summary_paths db_get_live_out_summary_paths_func = (list_function) UNDEF; db_get_simple_live_out_summary_paths db_put_live_out_summary_paths_func = (void_function) UNDEF; db_put_simple_live_out_summary_paths ----------------------------------------------------------------- effects_prettyprint_func = (void_function) UNDEF; print_effects print_inout_regions print_rw_regions effect_prettyprint_func = (void_function) UNDEF; print_effect print_region effects_to_text_func = (text_function) UNDEF; simple_rw_effects_to_text simple_inout_effects_to_text simple_live_in_paths_to_text simple_live_out_paths_to_text text_inout_array_regions text_rw_array_regions attach_effects_decoration_to_text_func = (void_function) UNDEF; ------------------------------------------------------------------------------------------ //Functions that USE or DEFINE pointer functions. void set_default_methods_for_proper_simple_effects void set_methods_for_convex_in_out_effects() void set_methods_for_convex_rw_effects() void set_methods_for_convex_rw_pointer_effects() void set_methods_for_cumulated_references() void set_methods_for_proper_references() void set_methods_for_simple_effects() void set_methods_for_simple_pointer_effects() void set_methods_for_inout_effects(const char* module_name __attribute__ ((unused))) void set_methods_for_live_paths(const char* module_name __attribute__ ((unused))) void reset_methods_for_inout_effects() void set_methods_for_rw_effects_prettyprint(const char* module_name __attribute__ ((unused))) void set_methods_for_inout_effects_prettyprint(const char* module_name __attribute__ ((unused))) void set_methods_for_live_in_paths_prettyprint(const char* module_name __attribute__ ((unused))) void set_methods_for_live_out_paths_prettyprint(const char* module_name __attribute__ ((unused))) void set_methods_for_proper_simple_effects() void set_methods_for_proper_simple_pointer_effects() void init_convex_inout_prettyprint(const char* __attribute__ ((unused)) module_name) void init_convex_rw_prettyprint(const char* __attribute__ ((unused)) module_name) void set_methods_for_convex_effects() effects-simple: set_methods_for_proper_references set_methods_for_cumulated_references set_default_methods_for_proper_simple_effects set_methods_for_proper_simple_effects set_methods_for_proper_simple_pointer_effects set_methods_for_simple_effects set_methods_for_simple_pointer_effects set_methods_for_inout_effects set_methods_for_live_paths reset_methods_for_inout_effects set_methods_for_rw_effects_prettyprint set_methods_for_inout_effects_prettyprint set_methods_for_live_in_paths_prettyprint set_methods_for_live_out_paths_prettyprint reset_methods_for_effects_prettyprint //abort function effects-convex: set_methods_for_convex_effects set_methods_for_convex_rw_effects() set_methods_for_convex_rw_pointer_effects() set_methods_for_convex_in_out_effects() init_convex_rw_prettyprint init_convex_rw_regions //nothing init_convex_inout_prettyprint init_convex_in_out_regions //nothing reset_convex_rw_regions //nothing reset_convex_in_out_regions //nothing init_convex_summary_rw_regions //nothing reset_convex_summary_rw_regions //nothing init_convex_summary_in_out_regions //nothing reset_convex_prettyprint //abort function reset_convex_summary_in_out_regions //nothing