PIPS
|
Go to the source code of this file.
Typedefs | |
typedef void * | Psysteme |
Definition at line 96 of file effects.c.
References action_defined_p(), check_action(), and message_assert.
Definition at line 86 of file effects.c.
References check_action(), and gen_consistent_p().
Definition at line 90 of file effects.c.
References gen_defined_p().
Referenced by action_assign_contents().
void action_kind_assign_contents | ( | action_kind | r, |
action_kind | v | ||
) |
Definition at line 37 of file effects.c.
References action_kind_defined_p(), check_action_kind(), and message_assert.
bool action_kind_consistent_p | ( | action_kind | p | ) |
Definition at line 27 of file effects.c.
References check_action_kind(), and gen_consistent_p().
bool action_kind_defined_p | ( | action_kind | p | ) |
Definition at line 31 of file effects.c.
References gen_defined_p().
Referenced by action_kind_assign_contents().
void action_kind_non_recursive_free | ( | action_kind | p | ) |
string action_kind_tag_as_string | ( | enum action_kind_utype | tag | ) |
Definition at line 54 of file effects.c.
References is_action_kind_environment, is_action_kind_store, is_action_kind_type_declaration, and string_undefined.
void action_non_recursive_free | ( | action | p | ) |
string action_tag_as_string | ( | enum action_utype | tag | ) |
Definition at line 113 of file effects.c.
References is_action_read, is_action_write, and string_undefined.
effects apply_entity_effects | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 613 of file effects.c.
References entity_effects_hash_table, f(), HASH_GET, and intptr_t.
effects apply_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 851 of file effects.c.
References f(), HASH_GET, intptr_t, and persistant_expression_to_effects_hash_table.
cell_relations apply_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 950 of file effects.c.
References f(), HASH_GET, intptr_t, and statement_cell_relations_hash_table.
effects apply_statement_effects | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1007 of file effects.c.
References f(), HASH_GET, intptr_t, and statement_effects_hash_table.
Referenced by compile_body(), step_translate_and_map_step_regions(), and stmt_to_fx().
void approximation_assign_contents | ( | approximation | r, |
approximation | v | ||
) |
Definition at line 151 of file effects.c.
References approximation_defined_p(), check_approximation(), and message_assert.
bool approximation_consistent_p | ( | approximation | p | ) |
Definition at line 141 of file effects.c.
References check_approximation(), and gen_consistent_p().
bool approximation_defined_p | ( | approximation | p | ) |
Definition at line 145 of file effects.c.
References gen_defined_p().
Referenced by approximation_assign_contents().
void approximation_non_recursive_free | ( | approximation | p | ) |
string approximation_tag_as_string | ( | enum approximation_utype | tag | ) |
Definition at line 168 of file effects.c.
References is_approximation_exact, is_approximation_may, is_approximation_must, and string_undefined.
bool bound_entity_effects_p | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 625 of file effects.c.
References entity_effects_hash_table, f(), HASH_BOUND_P, and intptr_t.
bool bound_persistant_expression_to_effects_p | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 863 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and persistant_expression_to_effects_hash_table.
bool bound_statement_cell_relations_p | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 962 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and statement_cell_relations_hash_table.
bool bound_statement_effects_p | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1019 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and statement_effects_hash_table.
Definition at line 265 of file effects.c.
References cell_defined_p(), check_cell(), and message_assert.
Definition at line 255 of file effects.c.
References check_cell(), and gen_consistent_p().
Referenced by create_scalar_stub_sink_cell().
Definition at line 259 of file effects.c.
References gen_defined_p().
Referenced by cell_assign_contents().
void cell_interpretation_assign_contents | ( | cell_interpretation | r, |
cell_interpretation | v | ||
) |
Definition at line 210 of file effects.c.
References cell_interpretation_defined_p(), check_cell_interpretation(), and message_assert.
bool cell_interpretation_consistent_p | ( | cell_interpretation | p | ) |
Definition at line 200 of file effects.c.
References check_cell_interpretation(), and gen_consistent_p().
bool cell_interpretation_defined_p | ( | cell_interpretation | p | ) |
Definition at line 204 of file effects.c.
References gen_defined_p().
Referenced by cell_interpretation_assign_contents().
void cell_interpretation_non_recursive_free | ( | cell_interpretation | p | ) |
string cell_interpretation_tag_as_string | ( | enum cell_interpretation_utype | tag | ) |
Definition at line 227 of file effects.c.
References is_cell_interpretation_address_of, is_cell_interpretation_value_of, and string_undefined.
void cell_non_recursive_free | ( | cell | p | ) |
void cell_relation_assign_contents | ( | cell_relation | r, |
cell_relation | v | ||
) |
Definition at line 324 of file effects.c.
References cell_relation_defined_p(), check_cell_relation(), and message_assert.
bool cell_relation_consistent_p | ( | cell_relation | p | ) |
Definition at line 314 of file effects.c.
References check_cell_relation(), and gen_consistent_p().
bool cell_relation_defined_p | ( | cell_relation | p | ) |
Definition at line 318 of file effects.c.
References gen_defined_p().
Referenced by cell_relation_assign_contents().
void cell_relation_non_recursive_free | ( | cell_relation | p | ) |
void cell_relations_assign_contents | ( | cell_relations | r, |
cell_relations | v | ||
) |
Definition at line 366 of file effects.c.
References cell_relations_defined_p(), check_cell_relations(), and message_assert.
bool cell_relations_consistent_p | ( | cell_relations | p | ) |
Definition at line 356 of file effects.c.
References check_cell_relations(), and gen_consistent_p().
bool cell_relations_defined_p | ( | cell_relations | p | ) |
Definition at line 360 of file effects.c.
References gen_defined_p().
Referenced by cell_relations_assign_contents().
void cell_relations_non_recursive_free | ( | cell_relations | p | ) |
string cell_tag_as_string | ( | enum cell_utype | tag | ) |
Definition at line 282 of file effects.c.
References is_cell_gap, is_cell_preference, is_cell_reference, and string_undefined.
Definition at line 83 of file effects.c.
References action_domain, and gen_check().
Referenced by action_assign_contents(), and action_consistent_p().
action_kind check_action_kind | ( | action_kind | p | ) |
Definition at line 24 of file effects.c.
References action_kind_domain, and gen_check().
Referenced by action_kind_assign_contents(), and action_kind_consistent_p().
approximation check_approximation | ( | approximation | p | ) |
Definition at line 138 of file effects.c.
References approximation_domain, and gen_check().
Referenced by approximation_assign_contents(), and approximation_consistent_p().
Definition at line 252 of file effects.c.
References cell_domain, and gen_check().
Referenced by cell_assign_contents(), and cell_consistent_p().
cell_interpretation check_cell_interpretation | ( | cell_interpretation | p | ) |
Definition at line 197 of file effects.c.
References cell_interpretation_domain, and gen_check().
Referenced by cell_interpretation_assign_contents(), and cell_interpretation_consistent_p().
cell_relation check_cell_relation | ( | cell_relation | p | ) |
Definition at line 311 of file effects.c.
References cell_relation_domain, and gen_check().
Referenced by cell_relation_assign_contents(), and cell_relation_consistent_p().
cell_relations check_cell_relations | ( | cell_relations | p | ) |
Definition at line 353 of file effects.c.
References cell_relations_domain, and gen_check().
Referenced by cell_relations_assign_contents(), and cell_relations_consistent_p().
descriptor check_descriptor | ( | descriptor | p | ) |
Definition at line 395 of file effects.c.
References descriptor_domain, and gen_check().
Referenced by descriptor_assign_contents(), and descriptor_consistent_p().
Definition at line 454 of file effects.c.
References effect_domain, and gen_check().
Referenced by effect_assign_contents(), and effect_consistent_p().
Definition at line 538 of file effects.c.
References effects_domain, and gen_check().
Referenced by effects_assign_contents(), and effects_consistent_p().
effects_classes check_effects_classes | ( | effects_classes | p | ) |
Definition at line 496 of file effects.c.
References effects_classes_domain, and gen_check().
Referenced by effects_classes_assign_contents(), and effects_classes_consistent_p().
entity_effects check_entity_effects | ( | entity_effects | p | ) |
Definition at line 580 of file effects.c.
References entity_effects_domain, and gen_check().
Referenced by entity_effects_assign_contents(), and entity_effects_consistent_p().
Definition at line 637 of file effects.c.
References gap_domain, and gen_check().
Referenced by gap_assign_contents(), and gap_consistent_p().
interpreted_cell check_interpreted_cell | ( | interpreted_cell | p | ) |
Definition at line 679 of file effects.c.
References gen_check(), and interpreted_cell_domain.
Referenced by interpreted_cell_assign_contents(), and interpreted_cell_consistent_p().
path_selector check_path_selector | ( | path_selector | p | ) |
Definition at line 721 of file effects.c.
References gen_check(), and path_selector_domain.
Referenced by path_selector_assign_contents(), and path_selector_consistent_p().
path_selectors check_path_selectors | ( | path_selectors | p | ) |
Definition at line 776 of file effects.c.
References gen_check(), and path_selectors_domain.
Referenced by path_selectors_assign_contents(), and path_selectors_consistent_p().
persistant_expression_to_effects check_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
Definition at line 818 of file effects.c.
References gen_check(), and persistant_expression_to_effects_domain.
Referenced by persistant_expression_to_effects_assign_contents(), and persistant_expression_to_effects_consistent_p().
recursive_selector check_recursive_selector | ( | recursive_selector | p | ) |
Definition at line 875 of file effects.c.
References gen_check(), and recursive_selector_domain.
Referenced by recursive_selector_assign_contents(), and recursive_selector_consistent_p().
statement_cell_relations check_statement_cell_relations | ( | statement_cell_relations | p | ) |
Definition at line 917 of file effects.c.
References gen_check(), and statement_cell_relations_domain.
Referenced by statement_cell_relations_assign_contents(), and statement_cell_relations_consistent_p().
statement_effects check_statement_effects | ( | statement_effects | p | ) |
Definition at line 974 of file effects.c.
References gen_check(), and statement_effects_domain.
Referenced by statement_effects_assign_contents(), and statement_effects_consistent_p().
ACTION.
Definition at line 77 of file effects.c.
References gen_copy_tree().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_effect_to_constant_path_effects_with_pointer_values(), convex_effect_to_constant_path_effects_with_points_to(), do_isolate_statement_preconditions_satisified_p(), effect_may_union(), effect_must_union(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), effects_to_dma(), filter_live_out_regions_statement(), generic_effect_find_aliases_with_simple_pointer_values(), region_entities_intersection(), region_intersection(), region_sup_difference(), region_translation(), region_union(), and simple_effect_to_constant_path_effects_with_pointer_values().
action_kind copy_action_kind | ( | action_kind | p | ) |
ACTION_KIND.
Definition at line 18 of file effects.c.
References gen_copy_tree().
approximation copy_approximation | ( | approximation | p | ) |
APPROXIMATION.
Definition at line 132 of file effects.c.
References gen_copy_tree().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), compute_points_to_gen_set(), dereferencing_subscript_to_points_to(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), k_limit_points_to(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), and remove_points_to_cell().
CELL.
Definition at line 246 of file effects.c.
References gen_copy_tree().
Referenced by any_source_to_sinks(), anywhere_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), extended_source_to_sinks(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), generic_points_to_cell_to_useful_pointer_cells(), generic_points_to_set_to_stub_cell_list(), generic_points_to_source_to_sinks(), generic_stub_source_to_sinks(), global_source_to_sinks(), internal_pointer_assignment_to_points_to(), kill_pointer_value(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), pointer_source_to_sinks(), points_to_binding(), points_to_binding_arguments(), points_to_cell_translation(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_sink_to_sources(), points_to_source_name_to_sinks(), points_to_source_name_to_source_cell(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_cell_to_pointer_cells(), recursive_filter_formal_context_according_to_actual_context(), reference_to_points_to_translations(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), sink_to_sources(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_subscripts(), type_compatible_super_cell(), type_compatible_with_points_to_cell_p(), upgrade_approximations_in_points_to_set(), user_call_to_points_to_fast_interprocedural(), user_call_to_points_to_sinks(), and variable_to_sinks().
cell_interpretation copy_cell_interpretation | ( | cell_interpretation | p | ) |
CELL_INTERPRETATION.
Definition at line 191 of file effects.c.
References gen_copy_tree().
cell_relation copy_cell_relation | ( | cell_relation | p | ) |
CELL_RELATION.
Definition at line 305 of file effects.c.
References gen_copy_tree().
Referenced by free_to_post_pv(), kill_pointer_value(), pointer_values_remove_var(), simple_pv_may_union(), and simple_pv_must_union().
cell_relations copy_cell_relations | ( | cell_relations | p | ) |
CELL_RELATIONS.
Definition at line 347 of file effects.c.
References gen_copy_tree().
descriptor copy_descriptor | ( | descriptor | p | ) |
DESCRIPTOR.
Definition at line 389 of file effects.c.
References gen_copy_tree().
Referenced by list_assignment_to_points_to().
EFFECT.
Definition at line 448 of file effects.c.
References gen_copy_tree().
Referenced by add_values_for_simple_effects_of_statement(), assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_points_to(), duplicate_regions_referenced_entity(), effect_to_constant_path_effects_with_points_to(), effects_to_dma(), multiple_pointer_assignment_to_post_pv(), region_intersection(), region_sup_difference(), region_union(), regions_may_convex_hull(), regions_must_convex_hull(), single_pointer_assignment_to_post_pv(), summarize_and_map_step_regions(), and update_operator_to_post_pv().
EFFECTS.
Definition at line 532 of file effects.c.
References gen_copy_tree().
Referenced by do_simdizer_auto_tile_generate_all_tests().
effects_classes copy_effects_classes | ( | effects_classes | p | ) |
EFFECTS_CLASSES.
Definition at line 490 of file effects.c.
References gen_copy_tree().
entity_effects copy_entity_effects | ( | entity_effects | p | ) |
ENTITY_EFFECTS.
Definition at line 574 of file effects.c.
References gen_copy_tree().
GAP.
Definition at line 631 of file effects.c.
References gen_copy_tree().
interpreted_cell copy_interpreted_cell | ( | interpreted_cell | p | ) |
INTERPRETED_CELL.
Definition at line 673 of file effects.c.
References gen_copy_tree().
path_selector copy_path_selector | ( | path_selector | p | ) |
PATH_SELECTOR.
Definition at line 715 of file effects.c.
References gen_copy_tree().
path_selectors copy_path_selectors | ( | path_selectors | p | ) |
PATH_SELECTORS.
Definition at line 770 of file effects.c.
References gen_copy_tree().
persistant_expression_to_effects copy_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
PERSISTANT_EXPRESSION_TO_EFFECTS.
Definition at line 812 of file effects.c.
References gen_copy_tree().
recursive_selector copy_recursive_selector | ( | recursive_selector | p | ) |
RECURSIVE_SELECTOR.
Definition at line 869 of file effects.c.
References gen_copy_tree().
statement_cell_relations copy_statement_cell_relations | ( | statement_cell_relations | p | ) |
STATEMENT_CELL_RELATIONS.
Definition at line 911 of file effects.c.
References gen_copy_tree().
statement_effects copy_statement_effects | ( | statement_effects | p | ) |
STATEMENT_EFFECTS.
Definition at line 968 of file effects.c.
References gen_copy_tree().
effects delete_entity_effects | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 622 of file effects.c.
References entity_effects_hash_table, f(), HASH_DELETE, and intptr_t.
effects delete_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 860 of file effects.c.
References f(), HASH_DELETE, intptr_t, and persistant_expression_to_effects_hash_table.
cell_relations delete_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 959 of file effects.c.
References f(), HASH_DELETE, intptr_t, and statement_cell_relations_hash_table.
effects delete_statement_effects | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1016 of file effects.c.
References f(), HASH_DELETE, intptr_t, and statement_effects_hash_table.
void descriptor_assign_contents | ( | descriptor | r, |
descriptor | v | ||
) |
Definition at line 408 of file effects.c.
References check_descriptor(), descriptor_defined_p(), and message_assert.
bool descriptor_consistent_p | ( | descriptor | p | ) |
Definition at line 398 of file effects.c.
References check_descriptor(), and gen_consistent_p().
bool descriptor_defined_p | ( | descriptor | p | ) |
Definition at line 402 of file effects.c.
References gen_defined_p().
Referenced by descriptor_assign_contents().
void descriptor_non_recursive_free | ( | descriptor | p | ) |
string descriptor_tag_as_string | ( | enum descriptor_utype | tag | ) |
Definition at line 425 of file effects.c.
References is_descriptor_convex, is_descriptor_convexunion, is_descriptor_none, and string_undefined.
Definition at line 467 of file effects.c.
References check_effect(), effect_defined_p(), and message_assert.
Definition at line 457 of file effects.c.
References check_effect(), and gen_consistent_p().
Referenced by effect_interference(), effect_list_consistent_p(), region_consistent_p(), regions_must_convex_hull(), store_independent_effect_p(), and union_compatible_effects_p().
Definition at line 461 of file effects.c.
References gen_defined_p().
Referenced by effect_assign_contents().
void effect_non_recursive_free | ( | effect | p | ) |
Definition at line 551 of file effects.c.
References check_effects(), effects_defined_p(), and message_assert.
void effects_classes_assign_contents | ( | effects_classes | r, |
effects_classes | v | ||
) |
Definition at line 509 of file effects.c.
References check_effects_classes(), effects_classes_defined_p(), and message_assert.
bool effects_classes_consistent_p | ( | effects_classes | p | ) |
Definition at line 499 of file effects.c.
References check_effects_classes(), and gen_consistent_p().
bool effects_classes_defined_p | ( | effects_classes | p | ) |
Definition at line 503 of file effects.c.
References gen_defined_p().
Referenced by effects_classes_assign_contents().
void effects_classes_non_recursive_free | ( | effects_classes | p | ) |
Definition at line 541 of file effects.c.
References check_effects(), and gen_consistent_p().
Referenced by functionnal_on(), step_recv_regions_list_load(), step_recv_regions_list_store(), step_send_regions_list_load(), and step_send_regions_list_store().
Definition at line 545 of file effects.c.
References gen_defined_p().
Referenced by effects_assign_contents().
void effects_non_recursive_free | ( | effects | p | ) |
void entity_effects_assign_contents | ( | entity_effects | r, |
entity_effects | v | ||
) |
Definition at line 593 of file effects.c.
References check_entity_effects(), entity_effects_defined_p(), and message_assert.
bool entity_effects_consistent_p | ( | entity_effects | p | ) |
Definition at line 583 of file effects.c.
References check_entity_effects(), and gen_consistent_p().
bool entity_effects_defined_p | ( | entity_effects | p | ) |
Definition at line 587 of file effects.c.
References gen_defined_p().
Referenced by entity_effects_assign_contents().
void entity_effects_non_recursive_free | ( | entity_effects | p | ) |
void extend_entity_effects | ( | entity_effects | f, |
entity | k, | ||
effects | v | ||
) |
Definition at line 619 of file effects.c.
References entity_effects_hash_table, f(), HASH_EXTEND, and intptr_t.
void extend_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k, | ||
effects | v | ||
) |
Definition at line 857 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and persistant_expression_to_effects_hash_table.
void extend_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k, | ||
cell_relations | v | ||
) |
Definition at line 956 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and statement_cell_relations_hash_table.
void extend_statement_effects | ( | statement_effects | f, |
statement | k, | ||
effects | v | ||
) |
Definition at line 1013 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and statement_effects_hash_table.
void free_action | ( | action | p | ) |
Definition at line 80 of file effects.c.
References gen_free().
Referenced by create_step_regions(), and real_regions_forward_translation().
void free_action_kind | ( | action_kind | p | ) |
Definition at line 21 of file effects.c.
References gen_free().
void free_approximation | ( | approximation | p | ) |
Definition at line 135 of file effects.c.
References gen_free().
Referenced by cells_to_read_or_write_effects(), compute_points_to_gen_set(), compute_send_regions(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), global_source_to_sinks(), new_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_translation_of_formal_parameters(), and recursive_filter_formal_context_according_to_actual_context().
void free_cell | ( | cell | p | ) |
Definition at line 249 of file effects.c.
References gen_free().
Referenced by any_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), dereferencing_subscript_to_points_to(), effect_may_union(), effect_must_union(), extended_source_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), list_assignment_to_points_to(), pointer_values_remove_var(), points_to_translation_of_struct_formal_parameter(), proper_to_summary_simple_effect(), recursive_cell_to_pointer_cells(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), source_to_sinks(), struct_variable_to_pointer_locations(), struct_variable_to_pointer_subscripts(), and type_compatible_with_points_to_cell_p().
void free_cell_interpretation | ( | cell_interpretation | p | ) |
Definition at line 194 of file effects.c.
References gen_free().
Referenced by single_pointer_assignment_to_post_pv().
void free_cell_relation | ( | cell_relation | p | ) |
Definition at line 308 of file effects.c.
References gen_free().
Referenced by cell_relations_generic_binary_op(), kill_pointer_value(), make_simple_pv_from_simple_effects(), and pointer_values_remove_var().
void free_cell_relations | ( | cell_relations | p | ) |
Definition at line 350 of file effects.c.
References gen_free().
void free_descriptor | ( | descriptor | p | ) |
Definition at line 392 of file effects.c.
References gen_free().
Referenced by convex_in_effect_loop_range_fix().
void free_effect | ( | effect | p | ) |
Definition at line 451 of file effects.c.
References gen_free().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_pointer_values(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), forloop_to_post_pv(), generic_eval_cell_with_points_to(), loop_initialization_to_transformer(), loop_to_post_pv(), region_exact_projection_along_parameters(), region_exact_projection_along_variable(), region_exact_projection_along_variables(), region_non_exact_projection_along_parameters(), region_non_exact_projection_along_variables(), simple_effect_to_constant_path_effects_with_pointer_values(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and whileloop_to_post_pv().
void free_effects | ( | effects | p | ) |
Definition at line 535 of file effects.c.
References gen_free().
Referenced by quick_privatize_statement_pair().
void free_effects_classes | ( | effects_classes | p | ) |
Definition at line 493 of file effects.c.
References gen_free().
void free_entity_effects | ( | entity_effects | p | ) |
Definition at line 577 of file effects.c.
References gen_free().
void free_gap | ( | gap | p | ) |
Definition at line 634 of file effects.c.
References gen_free().
void free_interpreted_cell | ( | interpreted_cell | p | ) |
Definition at line 676 of file effects.c.
References gen_free().
void free_path_selector | ( | path_selector | p | ) |
Definition at line 718 of file effects.c.
References gen_free().
void free_path_selectors | ( | path_selectors | p | ) |
Definition at line 773 of file effects.c.
References gen_free().
void free_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
Definition at line 815 of file effects.c.
References gen_free().
void free_recursive_selector | ( | recursive_selector | p | ) |
Definition at line 872 of file effects.c.
References gen_free().
void free_statement_cell_relations | ( | statement_cell_relations | p | ) |
Definition at line 914 of file effects.c.
References gen_free().
void free_statement_effects | ( | statement_effects | p | ) |
Definition at line 971 of file effects.c.
References gen_free().
Referenced by step_compile_analysed_module().
Definition at line 650 of file effects.c.
References check_gap(), gap_defined_p(), and message_assert.
Definition at line 640 of file effects.c.
References check_gap(), and gen_consistent_p().
Definition at line 644 of file effects.c.
References gen_defined_p().
Referenced by gap_assign_contents().
void gap_non_recursive_free | ( | gap | p | ) |
Definition at line 93 of file effects.c.
References ACTION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_action_kind_cons | ( | action_kind | p, |
list | l | ||
) |
Definition at line 34 of file effects.c.
References ACTION_KIND_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_approximation_cons | ( | approximation | p, |
list | l | ||
) |
Definition at line 148 of file effects.c.
References APPROXIMATION_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 262 of file effects.c.
References CELL_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_interpretation_cons | ( | cell_interpretation | p, |
list | l | ||
) |
Definition at line 207 of file effects.c.
References CELL_INTERPRETATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_relation_cons | ( | cell_relation | p, |
list | l | ||
) |
Definition at line 321 of file effects.c.
References CELL_RELATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_relations_cons | ( | cell_relations | p, |
list | l | ||
) |
Definition at line 363 of file effects.c.
References CELL_RELATIONS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_descriptor_cons | ( | descriptor | p, |
list | l | ||
) |
Definition at line 405 of file effects.c.
References DESCRIPTOR_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 464 of file effects.c.
References EFFECT_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_effects_classes_cons | ( | effects_classes | p, |
list | l | ||
) |
Definition at line 506 of file effects.c.
References EFFECTS_CLASSES_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 548 of file effects.c.
References EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_entity_effects_cons | ( | entity_effects | p, |
list | l | ||
) |
Definition at line 590 of file effects.c.
References ENTITY_EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 647 of file effects.c.
References GAP_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_interpreted_cell_cons | ( | interpreted_cell | p, |
list | l | ||
) |
Definition at line 689 of file effects.c.
References gen_typed_cons(), and INTERPRETED_CELL_NEWGEN_DOMAIN.
list gen_path_selector_cons | ( | path_selector | p, |
list | l | ||
) |
Definition at line 731 of file effects.c.
References gen_typed_cons(), and PATH_SELECTOR_NEWGEN_DOMAIN.
list gen_path_selectors_cons | ( | path_selectors | p, |
list | l | ||
) |
Definition at line 786 of file effects.c.
References gen_typed_cons(), and PATH_SELECTORS_NEWGEN_DOMAIN.
list gen_persistant_expression_to_effects_cons | ( | persistant_expression_to_effects | p, |
list | l | ||
) |
Definition at line 828 of file effects.c.
References gen_typed_cons(), and PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN.
list gen_recursive_selector_cons | ( | recursive_selector | p, |
list | l | ||
) |
Definition at line 885 of file effects.c.
References gen_typed_cons(), and RECURSIVE_SELECTOR_NEWGEN_DOMAIN.
list gen_statement_cell_relations_cons | ( | statement_cell_relations | p, |
list | l | ||
) |
Definition at line 927 of file effects.c.
References gen_typed_cons(), and STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN.
list gen_statement_effects_cons | ( | statement_effects | p, |
list | l | ||
) |
Definition at line 984 of file effects.c.
References gen_typed_cons(), and STATEMENT_EFFECTS_NEWGEN_DOMAIN.
void interpreted_cell_assign_contents | ( | interpreted_cell | r, |
interpreted_cell | v | ||
) |
Definition at line 692 of file effects.c.
References check_interpreted_cell(), interpreted_cell_defined_p(), and message_assert.
bool interpreted_cell_consistent_p | ( | interpreted_cell | p | ) |
Definition at line 682 of file effects.c.
References check_interpreted_cell(), and gen_consistent_p().
bool interpreted_cell_defined_p | ( | interpreted_cell | p | ) |
Definition at line 686 of file effects.c.
References gen_defined_p().
Referenced by interpreted_cell_assign_contents().
void interpreted_cell_non_recursive_free | ( | interpreted_cell | p | ) |
action make_action | ( | enum action_utype | tag, |
void * | val | ||
) |
Definition at line 120 of file effects.c.
References action_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by InitCompDesc(), make_action_read(), and make_action_write().
action_kind make_action_kind | ( | enum action_kind_utype | tag, |
void * | val | ||
) |
Definition at line 62 of file effects.c.
References action_kind_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_action_kind_environment(), make_action_kind_store(), and make_action_kind_type_declaration().
action_kind make_action_kind_environment | ( | void | ) |
Definition at line 68 of file effects.c.
References is_action_kind_environment, make_action_kind(), and UU.
action_kind make_action_kind_store | ( | void | ) |
Definition at line 65 of file effects.c.
References is_action_kind_store, make_action_kind(), and UU.
Referenced by make_action_read_memory(), and make_action_write_memory().
action_kind make_action_kind_type_declaration | ( | void | ) |
Definition at line 71 of file effects.c.
References is_action_kind_type_declaration, make_action_kind(), and UU.
action make_action_read | ( | action_kind | _field_ | ) |
Definition at line 123 of file effects.c.
References intptr_t, is_action_read, and make_action().
Referenced by make_action_read_memory().
action make_action_write | ( | action_kind | _field_ | ) |
Definition at line 126 of file effects.c.
References intptr_t, is_action_write, and make_action().
Referenced by make_action_write_memory().
approximation make_approximation | ( | enum approximation_utype | tag, |
void * | val | ||
) |
Definition at line 176 of file effects.c.
References approximation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by effect_may_union(), effect_must_union(), generic_transform_sink_cells_from_matching_list(), make_address_of_pointer_value(), make_approximation_exact(), make_approximation_may(), make_approximation_must(), make_value_of_pointer_value(), region_union(), and summary_to_proper_reference().
approximation make_approximation_exact | ( | void | ) |
Definition at line 185 of file effects.c.
References is_approximation_exact, make_approximation(), and UU.
Referenced by array_must_fully_written_by_regions_p(), call_to_post_pv(), compute_points_to_binded_set(), compute_send_regions(), convex_cell_reference_preceding_p(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), do_isolate_statement_preconditions_satisified_p(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), free_to_post_pv(), gen_may_constant_paths(), gen_must_constant_paths(), generic_effect_find_aliases_with_simple_pointer_values(), global_source_to_sinks(), heap_intrinsic_to_post_pv(), kill_may_set(), loop_initialization_to_transformer(), malloc_to_points_to_sinks(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), null_equal_condition_to_points_to(), opgen_null_location(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), simple_reference_to_convex_reference_conversion(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), and user_call_to_points_to_fast_interprocedural().
approximation make_approximation_may | ( | void | ) |
Definition at line 179 of file effects.c.
References is_approximation_may, make_approximation(), and UU.
Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), cells_to_read_or_write_effects(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), do_isolate_statement_preconditions_satisified_p(), exact_to_may_points_to_set(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), free_to_post_pv(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_eval_cell_with_points_to(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_points_to_arcs(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().
approximation make_approximation_must | ( | void | ) |
Definition at line 182 of file effects.c.
References is_approximation_must, make_approximation(), and UU.
cell make_cell | ( | enum cell_utype | tag, |
void * | val | ||
) |
Definition at line 290 of file effects.c.
References cell_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by convex_cell_reference_preceding_p(), generic_transform_sink_cells_from_matching_list(), loop_initialization_to_transformer(), make_cell_gap(), make_cell_preference(), make_cell_reference(), and make_simple_pv_from_simple_effects().
Definition at line 299 of file effects.c.
References intptr_t, is_cell_gap, and make_cell().
cell_interpretation make_cell_interpretation | ( | enum cell_interpretation_utype | tag, |
void * | val | ||
) |
Definition at line 234 of file effects.c.
References cell_interpretation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_cell_interpretation_address_of(), and make_cell_interpretation_value_of().
cell_interpretation make_cell_interpretation_address_of | ( | void | ) |
Definition at line 240 of file effects.c.
References is_cell_interpretation_address_of, make_cell_interpretation(), and UU.
Referenced by binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), external_call_to_post_pv(), forloop_to_post_pv(), heap_intrinsic_to_post_pv(), loop_to_post_pv(), make_address_of_pointer_value(), multiple_pointer_assignment_to_post_pv(), safe_intrinsic_to_post_pv(), single_pointer_assignment_to_post_pv(), update_operator_to_post_pv(), and whileloop_to_post_pv().
cell_interpretation make_cell_interpretation_value_of | ( | void | ) |
Definition at line 237 of file effects.c.
References is_cell_interpretation_value_of, make_cell_interpretation(), and UU.
Referenced by assignment_to_post_pv(), call_to_post_pv(), expression_to_post_pv(), free_to_post_pv(), make_address_of_pointer_value(), and make_value_of_pointer_value().
cell make_cell_preference | ( | preference | _field_ | ) |
Definition at line 296 of file effects.c.
References intptr_t, is_cell_preference, and make_cell().
Definition at line 293 of file effects.c.
References intptr_t, is_cell_reference, and make_cell().
Referenced by anywhere_effect(), anywhere_source_to_sinks(), application_to_points_to_sinks(), array_formal_parameter_to_stub_points_to(), array_to_constant_paths(), assignment_to_points_to(), binary_intrinsic_call_to_points_to_sinks(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_points_to_sinks(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_kill_set(), create_pointer_to_array_stub_points_to(), create_scalar_stub_sink_cell(), create_stub_points_to(), derived_formal_parameter_to_stub_points_to(), effect_may_union(), effect_must_union(), entity_to_cell(), entity_to_sinks(), flow_sensitive_malloc_to_points_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), heap_effect(), heap_intrinsic_to_post_pv(), init_points_to_analysis(), make_anywhere_anywhere_pvs(), make_anywhere_cell(), make_anywhere_points_to_cell(), make_nowhere_cell(), make_null_pointer_value_cell(), make_typed_nowhere_cell(), make_undefined_pointer_value_cell(), max_module(), module_initial_parameter_pv(), opkill_may_name(), opkill_must_name(), points_to_anywhere(), points_to_anywhere_typed(), points_to_cell_to_upper_bound_points_to_cells(), points_to_cell_translation(), points_to_cells_minimal_upper_bound(), points_to_cells_parameters(), points_to_cells_pointer_arguments(), points_to_with_stripped_sink(), proper_to_summary_simple_effect(), reference_condition_to_points_to(), reference_dereferencing_to_points_to(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), remove_arcs_from_pt_map(), simple_cell_to_convex_cell_conversion(), simple_pv_translate(), simple_reference_to_convex_reference_conversion(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_locations(), typedef_formal_parameter_to_stub_points_to(), user_call_to_points_to_sinks(), and variable_to_pointer_locations().
cell_relation make_cell_relation | ( | interpreted_cell | a1, |
interpreted_cell | a2, | ||
approximation | a3, | ||
descriptor | a4 | ||
) |
Definition at line 341 of file effects.c.
References cell_relation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().
cell_relations make_cell_relations | ( | list | a | ) |
Definition at line 383 of file effects.c.
References cell_relations_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by db_put_in_simple_pv(), db_put_initial_simple_pv(), db_put_out_simple_pv(), db_put_program_simple_pv(), sequence_to_post_pv(), and statement_to_post_pv().
descriptor make_descriptor | ( | enum descriptor_utype | tag, |
void * | val | ||
) |
Definition at line 433 of file effects.c.
References descriptor_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), make_descriptor_convex(), make_descriptor_convexunion(), make_descriptor_none(), simple_cell_to_simple_cell_conversion(), and simple_reference_to_simple_reference_conversion().
descriptor make_descriptor_convex | ( | Psysteme | _field_ | ) |
Definition at line 439 of file effects.c.
References intptr_t, is_descriptor_convex, and make_descriptor().
Referenced by filter_live_out_regions_statement(), and simple_reference_to_convex_reference_conversion().
descriptor make_descriptor_convexunion | ( | list | _field_ | ) |
Definition at line 436 of file effects.c.
References intptr_t, is_descriptor_convexunion, and make_descriptor().
descriptor make_descriptor_none | ( | void | ) |
Definition at line 442 of file effects.c.
References is_descriptor_none, make_descriptor(), and UU.
Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), heap_intrinsic_to_post_pv(), k_limit_points_to(), kill_may_set(), kill_pointer_value(), loop_initialization_to_transformer(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), make_simple_pv_from_simple_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), opgen_null_location(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().
effect make_effect | ( | cell | a1, |
action | a2, | ||
approximation | a3, | ||
descriptor | a4 | ||
) |
Definition at line 484 of file effects.c.
References effect_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by anywhere_effect(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_post_pv(), convex_cell_reference_preceding_p(), expression_to_post_pv(), filter_live_out_regions_statement(), free_to_post_pv(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), heap_effect(), heap_intrinsic_to_post_pv(), loop_initialization_to_transformer(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and use_default_sink_cell().
Definition at line 568 of file effects.c.
References effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by add_alias_lists_callee(), add_parameter_aliases_for_this_call_site(), add_unmatched_alias_pairs(), compare_matched_alias_pairs(), compare_unmatched_alias_pairs(), list_to_effects(), quick_privatize_statement_pair(), step_recv_regions_list_store(), step_send_regions_list_store(), and unite_lists_containing_same_exact_region().
effects_classes make_effects_classes | ( | list | a | ) |
Definition at line 526 of file effects.c.
References effects_classes_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by alias_classes(), alias_lists(), in_alias_pairs(), and out_alias_pairs().
entity_effects make_entity_effects | ( | void | ) |
Definition at line 610 of file effects.c.
References entity_effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.
gap make_gap | ( | entity | a1, |
path_selectors | a2 | ||
) |
Definition at line 667 of file effects.c.
References gap_domain, gen_alloc(), and GEN_CHECK_ALLOC.
interpreted_cell make_interpreted_cell | ( | cell | a1, |
cell_interpretation | a2 | ||
) |
Definition at line 709 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and interpreted_cell_domain.
Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().
path_selector make_path_selector | ( | enum path_selector_utype | tag, |
void * | val | ||
) |
Definition at line 758 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and path_selector_domain.
Referenced by make_path_selector_expression(), and make_path_selector_recursive_selector().
path_selector make_path_selector_expression | ( | expression | _field_ | ) |
Definition at line 761 of file effects.c.
References intptr_t, is_path_selector_expression, and make_path_selector().
path_selector make_path_selector_recursive_selector | ( | recursive_selector | _field_ | ) |
Definition at line 764 of file effects.c.
References intptr_t, is_path_selector_recursive_selector, and make_path_selector().
path_selectors make_path_selectors | ( | list | a | ) |
Definition at line 806 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and path_selectors_domain.
persistant_expression_to_effects make_persistant_expression_to_effects | ( | void | ) |
Definition at line 848 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and persistant_expression_to_effects_domain.
recursive_selector make_recursive_selector | ( | list | a1, |
expression | a2 | ||
) |
Definition at line 905 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and recursive_selector_domain.
statement_cell_relations make_statement_cell_relations | ( | void | ) |
Definition at line 947 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and statement_cell_relations_domain.
statement_effects make_statement_effects | ( | void | ) |
Definition at line 1004 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and statement_effects_domain.
void path_selector_assign_contents | ( | path_selector | r, |
path_selector | v | ||
) |
Definition at line 734 of file effects.c.
References check_path_selector(), message_assert, and path_selector_defined_p().
bool path_selector_consistent_p | ( | path_selector | p | ) |
Definition at line 724 of file effects.c.
References check_path_selector(), and gen_consistent_p().
bool path_selector_defined_p | ( | path_selector | p | ) |
Definition at line 728 of file effects.c.
References gen_defined_p().
Referenced by path_selector_assign_contents().
void path_selector_non_recursive_free | ( | path_selector | p | ) |
string path_selector_tag_as_string | ( | enum path_selector_utype | tag | ) |
Definition at line 751 of file effects.c.
References is_path_selector_expression, is_path_selector_recursive_selector, and string_undefined.
void path_selectors_assign_contents | ( | path_selectors | r, |
path_selectors | v | ||
) |
Definition at line 789 of file effects.c.
References check_path_selectors(), message_assert, and path_selectors_defined_p().
bool path_selectors_consistent_p | ( | path_selectors | p | ) |
Definition at line 779 of file effects.c.
References check_path_selectors(), and gen_consistent_p().
bool path_selectors_defined_p | ( | path_selectors | p | ) |
Definition at line 783 of file effects.c.
References gen_defined_p().
Referenced by path_selectors_assign_contents().
void path_selectors_non_recursive_free | ( | path_selectors | p | ) |
void persistant_expression_to_effects_assign_contents | ( | persistant_expression_to_effects | r, |
persistant_expression_to_effects | v | ||
) |
Definition at line 831 of file effects.c.
References check_persistant_expression_to_effects(), message_assert, and persistant_expression_to_effects_defined_p().
bool persistant_expression_to_effects_consistent_p | ( | persistant_expression_to_effects | p | ) |
Definition at line 821 of file effects.c.
References check_persistant_expression_to_effects(), and gen_consistent_p().
bool persistant_expression_to_effects_defined_p | ( | persistant_expression_to_effects | p | ) |
Definition at line 825 of file effects.c.
References gen_defined_p().
Referenced by persistant_expression_to_effects_assign_contents().
void persistant_expression_to_effects_non_recursive_free | ( | persistant_expression_to_effects | p | ) |
action read_action | ( | FILE * | f | ) |
Definition at line 110 of file effects.c.
References f(), and gen_read().
action_kind read_action_kind | ( | FILE * | f | ) |
Definition at line 51 of file effects.c.
References f(), and gen_read().
approximation read_approximation | ( | FILE * | f | ) |
Definition at line 165 of file effects.c.
References f(), and gen_read().
cell read_cell | ( | FILE * | f | ) |
cell_interpretation read_cell_interpretation | ( | FILE * | f | ) |
Definition at line 224 of file effects.c.
References f(), and gen_read().
cell_relation read_cell_relation | ( | FILE * | f | ) |
Definition at line 338 of file effects.c.
References f(), and gen_read().
cell_relations read_cell_relations | ( | FILE * | f | ) |
Definition at line 380 of file effects.c.
References f(), and gen_read().
descriptor read_descriptor | ( | FILE * | f | ) |
Definition at line 422 of file effects.c.
References f(), and gen_read().
effect read_effect | ( | FILE * | f | ) |
effects read_effects | ( | FILE * | f | ) |
effects_classes read_effects_classes | ( | FILE * | f | ) |
Definition at line 523 of file effects.c.
References f(), and gen_read().
entity_effects read_entity_effects | ( | FILE * | f | ) |
Definition at line 607 of file effects.c.
References f(), and gen_read().
gap read_gap | ( | FILE * | f | ) |
interpreted_cell read_interpreted_cell | ( | FILE * | f | ) |
Definition at line 706 of file effects.c.
References f(), and gen_read().
path_selector read_path_selector | ( | FILE * | f | ) |
Definition at line 748 of file effects.c.
References f(), and gen_read().
path_selectors read_path_selectors | ( | FILE * | f | ) |
Definition at line 803 of file effects.c.
References f(), and gen_read().
persistant_expression_to_effects read_persistant_expression_to_effects | ( | FILE * | f | ) |
Definition at line 845 of file effects.c.
References f(), and gen_read().
recursive_selector read_recursive_selector | ( | FILE * | f | ) |
Definition at line 902 of file effects.c.
References f(), and gen_read().
statement_cell_relations read_statement_cell_relations | ( | FILE * | f | ) |
Definition at line 944 of file effects.c.
References f(), and gen_read().
statement_effects read_statement_effects | ( | FILE * | f | ) |
Definition at line 1001 of file effects.c.
References f(), and gen_read().
void recursive_selector_assign_contents | ( | recursive_selector | r, |
recursive_selector | v | ||
) |
Definition at line 888 of file effects.c.
References check_recursive_selector(), message_assert, and recursive_selector_defined_p().
bool recursive_selector_consistent_p | ( | recursive_selector | p | ) |
Definition at line 878 of file effects.c.
References check_recursive_selector(), and gen_consistent_p().
bool recursive_selector_defined_p | ( | recursive_selector | p | ) |
Definition at line 882 of file effects.c.
References gen_defined_p().
Referenced by recursive_selector_assign_contents().
void recursive_selector_non_recursive_free | ( | recursive_selector | p | ) |
void statement_cell_relations_assign_contents | ( | statement_cell_relations | r, |
statement_cell_relations | v | ||
) |
Definition at line 930 of file effects.c.
References check_statement_cell_relations(), message_assert, and statement_cell_relations_defined_p().
bool statement_cell_relations_consistent_p | ( | statement_cell_relations | p | ) |
Definition at line 920 of file effects.c.
References check_statement_cell_relations(), and gen_consistent_p().
bool statement_cell_relations_defined_p | ( | statement_cell_relations | p | ) |
Definition at line 924 of file effects.c.
References gen_defined_p().
Referenced by statement_cell_relations_assign_contents().
void statement_cell_relations_non_recursive_free | ( | statement_cell_relations | p | ) |
void statement_effects_assign_contents | ( | statement_effects | r, |
statement_effects | v | ||
) |
Definition at line 987 of file effects.c.
References check_statement_effects(), message_assert, and statement_effects_defined_p().
bool statement_effects_consistent_p | ( | statement_effects | p | ) |
Definition at line 977 of file effects.c.
References check_statement_effects(), and gen_consistent_p().
bool statement_effects_defined_p | ( | statement_effects | p | ) |
Definition at line 981 of file effects.c.
References gen_defined_p().
Referenced by statement_effects_assign_contents().
void statement_effects_non_recursive_free | ( | statement_effects | p | ) |
void update_entity_effects | ( | entity_effects | f, |
entity | k, | ||
effects | v | ||
) |
Definition at line 616 of file effects.c.
References entity_effects_hash_table, f(), HASH_UPDATE, and intptr_t.
void update_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k, | ||
effects | v | ||
) |
Definition at line 854 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and persistant_expression_to_effects_hash_table.
void update_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k, | ||
cell_relations | v | ||
) |
Definition at line 953 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and statement_cell_relations_hash_table.
void update_statement_effects | ( | statement_effects | f, |
statement | k, | ||
effects | v | ||
) |
Definition at line 1010 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and statement_effects_hash_table.
void write_action | ( | FILE * | f, |
action | p | ||
) |
Definition at line 107 of file effects.c.
References f(), and gen_write().
void write_action_kind | ( | FILE * | f, |
action_kind | p | ||
) |
void write_approximation | ( | FILE * | f, |
approximation | p | ||
) |
void write_cell | ( | FILE * | f, |
cell | p | ||
) |
void write_cell_interpretation | ( | FILE * | f, |
cell_interpretation | p | ||
) |
void write_cell_relation | ( | FILE * | f, |
cell_relation | p | ||
) |
void write_cell_relations | ( | FILE * | f, |
cell_relations | p | ||
) |
void write_descriptor | ( | FILE * | f, |
descriptor | p | ||
) |
void write_effect | ( | FILE * | f, |
effect | p | ||
) |
void write_effects | ( | FILE * | f, |
effects | p | ||
) |
Definition at line 562 of file effects.c.
References f(), and gen_write().
Referenced by potential_out_effects_p().
void write_effects_classes | ( | FILE * | f, |
effects_classes | p | ||
) |
void write_entity_effects | ( | FILE * | f, |
entity_effects | p | ||
) |
void write_gap | ( | FILE * | f, |
gap | p | ||
) |
void write_interpreted_cell | ( | FILE * | f, |
interpreted_cell | p | ||
) |
void write_path_selector | ( | FILE * | f, |
path_selector | p | ||
) |
void write_path_selectors | ( | FILE * | f, |
path_selectors | p | ||
) |
void write_persistant_expression_to_effects | ( | FILE * | f, |
persistant_expression_to_effects | p | ||
) |
void write_recursive_selector | ( | FILE * | f, |
recursive_selector | p | ||
) |
void write_statement_cell_relations | ( | FILE * | f, |
statement_cell_relations | p | ||
) |
void write_statement_effects | ( | FILE * | f, |
statement_effects | p | ||
) |