#include "effects.h"
#include "text.h"

Include dependency graph for effects-generic.h:

Macros
#define	ACTION_UNDEFINED string_undefined
	Warning! Do not modify this file that is automatically generated! More...

#define	ACTION_READ "R"

#define	ACTION_WRITE "W"

#define	ACTION_IN "IN"

#define	ACTION_OUT "OUT"

#define	ACTION_COPYIN "COPYIN"

#define	ACTION_COPYOUT "COPYOUT"

#define	ACTION_PRIVATE "PRIVATE"

#define	ACTION_LIVE_IN "ALIVE (IN)"

#define	ACTION_LIVE_OUT "ALIVE (OUT)"

#define	pips_debug_effect(level, message, eff)
	for debug More...

#define	pips_debug_effects(level, message, l_eff)

#define	DB_GET_SE(name, NAME)
	for db_* functions More...

#define	DB_GET_LS(name, NAME)

#define	DB_GET_EE(name, NAME)

#define	DB_PUT_SE(name, NAME)

#define	DB_PUT_LS(name, NAME)

#define	DB_PUT_EE(name, NAME)

#define	DB_NOPUT_SE(name)

#define	DB_NOPUT_LS(name)

#define	DB_NOPUT_EE(name)

#define	DB_GETPUT_SE(name, NAME) DB_GET_SE(name, NAME) DB_PUT_SE(name, NAME)

#define	DB_GETNOPUT_SE(name, NAME) DB_GET_SE(name, NAME) DB_NOPUT_SE(name)

#define	DB_GETPUT_LS(name, NAME) DB_GET_LS(name, NAME) DB_PUT_LS(name, NAME)

#define	DB_GETNOPUT_LS(name, NAME) DB_GET_LS(name, NAME) DB_NOPUT_LS(name)

#define	DB_GETPUT_EE(name, NAME) DB_GET_EE(name, NAME) DB_PUT_EE(name, NAME)

#define	DB_GETNOPUT_EE(name, NAME) DB_GET_EE(name, NAME) DB_NOPUT_EE(name)

Typedefs
typedef text(*	generic_text_function) (list)
	prettyprint function types: More...

typedef void(*	generic_prettyprint_function) (list)

typedef void(*	generic_attachment_function) (text)

Enumerations
enum	pointer_info_val { with_no_pointer_info , with_points_to , with_pointer_values , with_no_pointer_info , with_points_to , with_pointer_values }

enum	effects_representation_val { simple , convex , simple , convex }

Functions
void	set_contracted_proper_effects (bool)
	end of effects-generic-local.h More...

void	proper_effects_error_handler (void)

list	generic_proper_effects_of_range (range)

list	generic_proper_effects_of_derived_reference (reference, bool)

list	generic_intermediary_proper_effects_of_reference (reference)

list	generic_p_proper_effect_of_reference (reference, effect *, bool, bool)

list	generic_proper_effects_of_reference (reference, bool)

list	generic_proper_effects_of_read_reference (reference)

list	generic_proper_effects_of_written_reference (reference)

list	generic_proper_effects_of_complex_address_assign_dereferencing_op (expression, expression, list *, bool)

list	generic_proper_effects_of_complex_address_address_of_dereferencing_op (expression, list *, bool)

list	generic_proper_effects_of_complex_address_cast_dereferencing_op (cast, expression, list *, bool)

list	generic_proper_effects_of_complex_address_conditional_dereferencing_op (expression, expression, expression, list *, bool)

list	generic_proper_effects_of_complex_address_dereferencing_cast_op (list, list *, bool)

list	new_generic_proper_effects_of_complex_address_conditional_op (list, list *, bool)

list	old_generic_proper_effects_of_complex_address_conditional_op (list, list *, bool)

list	generic_proper_effects_of_complex_address_assign_op (list, list *, bool)

list	generic_proper_effects_of_complex_address_update_op (list, list *, bool)

list	generic_proper_effects_of_complex_address_expression (expression, list *, int)

list	generic_proper_effects_of_any_lhs (expression)

list	generic_proper_effects_of_complex_memory_access_expression (expression, list , list , int)

list	generic_proper_effects_of_address_expression (expression, int)

list	generic_proper_effects_of_subscript (subscript)

list	generic_proper_effects_of_application (application)

list	generic_proper_effects_of_expression (expression)

list	generic_proper_effects_of_expressions (list)

bool	check_sdfi_effects_p (entity, list)

list	generic_proper_effects_of_c_function_call_argument (expression)

list	generic_r_proper_effects_of_call (call)

list	type_to_effects (type)

list	recursive_type_to_effects (type, set)

effect	make_declaration_effect (entity, bool)

void	proper_effects_of_module_statement (statement)

bool	proper_effects_engine (const char *)

void	expression_proper_effects_engine (const char *, statement)

void	set_contracted_rw_effects (bool)
	rw_effects_engine.c More...

bool	summary_rw_effects_engine (const char *)

void	rw_effects_of_module_statement (statement)

bool	rw_effects_engine (const char *)

bool	summary_in_effects_engine (const char *)
	in_effects_engine.c More...

bool	in_effects_engine (const char *, effects_representation_val)

void	reset_out_summary_effects_list (void)
	out_effects_engine.c More...

void	update_out_summary_effects_list (list)

list	get_out_summary_effects_list (void)

bool	summary_out_effects_engine (const char *)

bool	out_effects_engine (const char *, effects_representation_val)

bool	proper_references_undefined_p (void)
	mappings.c More...

void	reset_proper_references (void)

void	error_reset_proper_references (void)

void	set_proper_references (statement_effects)

statement_effects	get_proper_references (void)

void	init_proper_references (void)

void	close_proper_references (void)

void	store_proper_references (statement, effects)

void	update_proper_references (statement, effects)

effects	load_proper_references (statement)

effects	delete_proper_references (statement)

bool	bound_proper_references_p (statement)

void	store_or_update_proper_references (statement, effects)

bool	cumulated_references_undefined_p (void)

void	reset_cumulated_references (void)

void	error_reset_cumulated_references (void)

void	set_cumulated_references (statement_effects)

statement_effects	get_cumulated_references (void)

void	init_cumulated_references (void)

void	close_cumulated_references (void)

void	store_cumulated_references (statement, effects)

void	update_cumulated_references (statement, effects)

effects	load_cumulated_references (statement)

effects	delete_cumulated_references (statement)

bool	bound_cumulated_references_p (statement)

void	store_or_update_cumulated_references (statement, effects)

bool	proper_rw_pointer_effects_undefined_p (void)

void	reset_proper_rw_pointer_effects (void)

void	error_reset_proper_rw_pointer_effects (void)

void	set_proper_rw_pointer_effects (statement_effects)

statement_effects	get_proper_rw_pointer_effects (void)

void	init_proper_rw_pointer_effects (void)

void	close_proper_rw_pointer_effects (void)

void	store_proper_rw_pointer_effects (statement, effects)

void	update_proper_rw_pointer_effects (statement, effects)

effects	load_proper_rw_pointer_effects (statement)

effects	delete_proper_rw_pointer_effects (statement)

bool	bound_proper_rw_pointer_effects_p (statement)

void	store_or_update_proper_rw_pointer_effects (statement, effects)

bool	proper_rw_effects_undefined_p (void)

void	reset_proper_rw_effects (void)

void	error_reset_proper_rw_effects (void)

void	set_proper_rw_effects (statement_effects)

statement_effects	get_proper_rw_effects (void)

void	init_proper_rw_effects (void)

void	close_proper_rw_effects (void)

void	store_proper_rw_effects (statement, effects)

void	update_proper_rw_effects (statement, effects)

effects	load_proper_rw_effects (statement)

effects	delete_proper_rw_effects (statement)

bool	bound_proper_rw_effects_p (statement)

void	store_or_update_proper_rw_effects (statement, effects)

bool	rw_pointer_effects_undefined_p (void)

void	reset_rw_pointer_effects (void)

void	error_reset_rw_pointer_effects (void)

void	set_rw_pointer_effects (statement_effects)

statement_effects	get_rw_pointer_effects (void)

void	init_rw_pointer_effects (void)

void	close_rw_pointer_effects (void)

void	store_rw_pointer_effects (statement, effects)

void	update_rw_pointer_effects (statement, effects)

effects	load_rw_pointer_effects (statement)

effects	delete_rw_pointer_effects (statement)

bool	bound_rw_pointer_effects_p (statement)

void	store_or_update_rw_pointer_effects (statement, effects)

bool	invariant_rw_pointer_effects_undefined_p (void)

void	reset_invariant_rw_pointer_effects (void)

void	error_reset_invariant_rw_pointer_effects (void)

void	set_invariant_rw_pointer_effects (statement_effects)

statement_effects	get_invariant_rw_pointer_effects (void)

void	init_invariant_rw_pointer_effects (void)

void	close_invariant_rw_pointer_effects (void)

void	store_invariant_rw_pointer_effects (statement, effects)

void	update_invariant_rw_pointer_effects (statement, effects)

effects	load_invariant_rw_pointer_effects (statement)

effects	delete_invariant_rw_pointer_effects (statement)

bool	bound_invariant_rw_pointer_effects_p (statement)

void	store_or_update_invariant_rw_pointer_effects (statement, effects)

bool	rw_effects_undefined_p (void)

void	reset_rw_effects (void)

void	error_reset_rw_effects (void)

void	set_rw_effects (statement_effects)

statement_effects	get_rw_effects (void)

void	init_rw_effects (void)

void	close_rw_effects (void)

void	store_rw_effects (statement, effects)

void	update_rw_effects (statement, effects)

effects	load_rw_effects (statement)

effects	delete_rw_effects (statement)

bool	bound_rw_effects_p (statement)

void	store_or_update_rw_effects (statement, effects)

bool	invariant_rw_effects_undefined_p (void)

void	reset_invariant_rw_effects (void)

void	error_reset_invariant_rw_effects (void)

void	set_invariant_rw_effects (statement_effects)

statement_effects	get_invariant_rw_effects (void)

void	init_invariant_rw_effects (void)

void	close_invariant_rw_effects (void)

void	store_invariant_rw_effects (statement, effects)

void	update_invariant_rw_effects (statement, effects)

effects	load_invariant_rw_effects (statement)

effects	delete_invariant_rw_effects (statement)

bool	bound_invariant_rw_effects_p (statement)

void	store_or_update_invariant_rw_effects (statement, effects)

bool	cumulated_rw_effects_undefined_p (void)

void	reset_cumulated_rw_effects (void)

void	error_reset_cumulated_rw_effects (void)

void	set_cumulated_rw_effects (statement_effects)

statement_effects	get_cumulated_rw_effects (void)

void	init_cumulated_rw_effects (void)

void	close_cumulated_rw_effects (void)

void	store_cumulated_rw_effects (statement, effects)

void	update_cumulated_rw_effects (statement, effects)

effects	load_cumulated_rw_effects (statement)

effects	delete_cumulated_rw_effects (statement)

bool	bound_cumulated_rw_effects_p (statement)

void	store_or_update_cumulated_rw_effects (statement, effects)

bool	expr_prw_effects_undefined_p (void)

void	reset_expr_prw_effects (void)

void	error_reset_expr_prw_effects (void)

void	set_expr_prw_effects (persistant_expression_to_effects)

persistant_expression_to_effects	get_expr_prw_effects (void)

void	init_expr_prw_effects (void)

void	close_expr_prw_effects (void)

void	store_expr_prw_effects (expression, effects)

void	update_expr_prw_effects (expression, effects)

effects	load_expr_prw_effects (expression)

effects	delete_expr_prw_effects (expression)

bool	bound_expr_prw_effects_p (expression)

void	store_or_update_expr_prw_effects (expression, effects)

bool	in_effects_undefined_p (void)

void	reset_in_effects (void)

void	error_reset_in_effects (void)

void	set_in_effects (statement_effects)

statement_effects	get_in_effects (void)

void	init_in_effects (void)

void	close_in_effects (void)

void	store_in_effects (statement, effects)

void	update_in_effects (statement, effects)

effects	load_in_effects (statement)

effects	delete_in_effects (statement)

bool	bound_in_effects_p (statement)

void	store_or_update_in_effects (statement, effects)

bool	cumulated_in_effects_undefined_p (void)

void	reset_cumulated_in_effects (void)

void	error_reset_cumulated_in_effects (void)

void	set_cumulated_in_effects (statement_effects)

statement_effects	get_cumulated_in_effects (void)

void	init_cumulated_in_effects (void)

void	close_cumulated_in_effects (void)

void	store_cumulated_in_effects (statement, effects)

void	update_cumulated_in_effects (statement, effects)

effects	load_cumulated_in_effects (statement)

effects	delete_cumulated_in_effects (statement)

bool	bound_cumulated_in_effects_p (statement)

void	store_or_update_cumulated_in_effects (statement, effects)

bool	invariant_in_effects_undefined_p (void)

void	reset_invariant_in_effects (void)

void	error_reset_invariant_in_effects (void)

void	set_invariant_in_effects (statement_effects)

statement_effects	get_invariant_in_effects (void)

void	init_invariant_in_effects (void)

void	close_invariant_in_effects (void)

void	store_invariant_in_effects (statement, effects)

void	update_invariant_in_effects (statement, effects)

effects	load_invariant_in_effects (statement)

effects	delete_invariant_in_effects (statement)

bool	bound_invariant_in_effects_p (statement)

void	store_or_update_invariant_in_effects (statement, effects)

bool	out_effects_undefined_p (void)

void	reset_out_effects (void)

void	error_reset_out_effects (void)

void	set_out_effects (statement_effects)

statement_effects	get_out_effects (void)

void	init_out_effects (void)

void	close_out_effects (void)

void	store_out_effects (statement, effects)

void	update_out_effects (statement, effects)

effects	load_out_effects (statement)

effects	delete_out_effects (statement)

bool	bound_out_effects_p (statement)

void	store_or_update_out_effects (statement, effects)

bool	live_in_paths_undefined_p (void)

void	reset_live_in_paths (void)

void	error_reset_live_in_paths (void)

void	set_live_in_paths (statement_effects)

statement_effects	get_live_in_paths (void)

void	init_live_in_paths (void)

void	close_live_in_paths (void)

void	store_live_in_paths (statement, effects)

void	update_live_in_paths (statement, effects)

effects	load_live_in_paths (statement)

effects	delete_live_in_paths (statement)

bool	bound_live_in_paths_p (statement)

void	store_or_update_live_in_paths (statement, effects)

bool	live_out_paths_undefined_p (void)

void	reset_live_out_paths (void)

void	error_reset_live_out_paths (void)

void	set_live_out_paths (statement_effects)

statement_effects	get_live_out_paths (void)

void	init_live_out_paths (void)

void	close_live_out_paths (void)

void	store_live_out_paths (statement, effects)

void	update_live_out_paths (statement, effects)

effects	load_live_out_paths (statement)

effects	delete_live_out_paths (statement)

bool	bound_live_out_paths_p (statement)

void	store_or_update_live_out_paths (statement, effects)

bool	live_out_regions_undefined_p (void)

void	reset_live_out_regions (void)

void	error_reset_live_out_regions (void)

void	set_live_out_regions (statement_effects)

statement_effects	get_live_out_regions (void)

void	init_live_out_regions (void)

void	close_live_out_regions (void)

void	store_live_out_regions (statement, effects)

void	update_live_out_regions (statement, effects)

effects	load_live_out_regions (statement)

effects	delete_live_out_regions (statement)

bool	bound_live_out_regions_p (statement)

void	store_or_update_live_out_regions (statement, effects)

bool	useful_variables_effects_undefined_p (void)

void	reset_useful_variables_effects (void)

void	error_reset_useful_variables_effects (void)

void	set_useful_variables_effects (entity_effects)

entity_effects	get_useful_variables_effects (void)

void	init_useful_variables_effects (void)

void	close_useful_variables_effects (void)

void	store_useful_variables_effects (entity, effects)

void	update_useful_variables_effects (entity, effects)

effects	load_useful_variables_effects (entity)

effects	delete_useful_variables_effects (entity)

bool	bound_useful_variables_effects_p (entity)

void	store_or_update_useful_variables_effects (entity, effects)

list	load_proper_rw_pointer_effects_list (statement)

void	store_proper_rw_pointer_effects_list (statement, list)

void	update_proper_rw_pointer_effects_list (statement, list)

list	load_proper_rw_effects_list (statement)

void	store_proper_rw_effects_list (statement, list)

void	update_proper_rw_effects_list (statement, list)

list	load_rw_pointer_effects_list (statement)

void	store_rw_pointer_effects_list (statement, list)

void	update_rw_pointer_effects_list (statement, list)

list	load_rw_effects_list (statement)

void	store_rw_effects_list (statement, list)

void	update_rw_effects_list (statement, list)

list	load_invariant_rw_pointer_effects_list (statement)

void	store_invariant_rw_pointer_effects_list (statement, list)

void	update_invariant_rw_pointer_effects_list (statement, list)

list	load_invariant_rw_effects_list (statement)

void	store_invariant_rw_effects_list (statement, list)

void	update_invariant_rw_effects_list (statement, list)

list	load_cumulated_rw_effects_list (statement)

void	store_cumulated_rw_effects_list (statement, list)

void	update_cumulated_rw_effects_list (statement, list)

list	load_in_effects_list (statement)

void	store_in_effects_list (statement, list)

void	update_in_effects_list (statement, list)

list	load_cumulated_in_effects_list (statement)

void	store_cumulated_in_effects_list (statement, list)

void	update_cummulated_in_effects_list (statement, list)

list	load_invariant_in_effects_list (statement)

void	store_invariant_in_effects_list (statement, list)

void	update_invariant_in_effects_list (statement, list)

list	load_out_effects_list (statement)

void	store_out_effects_list (statement, list)

void	update_out_effects_list (statement, list)

list	load_live_in_paths_list (statement)

void	store_live_in_paths_list (statement, list)

void	update_live_in_paths_list (statement, list)

list	load_live_out_paths_list (statement)

void	store_live_out_paths_list (statement, list)

void	update_live_out_paths_list (statement, list)

list	load_live_out_regions_list (statement)

void	store_live_out_regions_list (statement, list)

void	update_live_out_regions_list (statement, list)

list	load_statement_local_regions (statement)

void	store_statement_local_regions (statement, list)

void	update_statement_local_regions (statement, list)

list	load_statement_inv_regions (statement)

void	store_statement_inv_regions (statement, list)

void	update_statement_inv_regions (statement, list)

list	load_statement_proper_regions (statement)

void	store_statement_proper_regions (statement, list)

list	load_statement_in_regions (statement)

void	store_statement_in_regions (statement, list)

list	load_statement_inv_in_regions (statement)

void	store_statement_inv_in_regions (statement, list)

void	update_statement_inv_in_regions (statement, list)

list	load_statement_cumulated_in_regions (statement)

void	store_statement_cumulated_in_regions (statement, list)

list	load_statement_out_regions (statement)

void	store_statement_out_regions (statement, list)

void	effects_map (list, void(*)(effect))
	unary_operators.c More...

list	effects_to_effects_map (list, effect(*)(effect))

void	effects_filter_map (list, bool()(effect), void()(effect))

list	effects_to_effects_filter_map (list, bool()(effect), effect()(effect))

list	effects_add_effect (list, effect)

list	effects_read_effects (list)

list	effects_store_effects (list)

list	effects_write_effects (list)

bool	effects_write_at_least_once_p (list)

list	effects_read_effects_dup (list)

list	effects_write_effects_dup (list)

effect	effect_nop (effect)

list	effects_nop (list)

void	effect_to_may_effect (effect)

void	effects_to_may_effects (list)

void	effect_to_must_effect (effect)

void	effects_to_must_effects (list)

void	effect_to_write_effect (effect)

void	effects_to_write_effects (list)

void	effect_to_read_effect (effect)

void	effects_to_read_effects (list)

void	array_effects_to_may_effects (list)

list	effects_dup_without_variables (list, list)

list	effects_dup (list)

void	effect_free (effect)

void	effects_free (list)

list	effect_to_nil_list (effect)

list	effect_to_nil_list_and_free (effect)

list	effects_to_nil_list (effect, effect)

list	effect_to_list (effect)

list	effect_to_may_effect_list (effect)

list	effects_to_written_scalar_entities (list)

list	effects_undefined_composition_with_transformer (list, transformer)

list	effects_composition_with_transformer_nop (list, transformer)

list	effects_undefined_composition_with_preconditions (list, transformer)

list	effects_composition_with_preconditions_nop (list, transformer, bool)

descriptor	loop_undefined_descriptor_make (loop)

list	effects_undefined_union_over_range (list, entity, range, descriptor)

list	effects_union_over_range_nop (list, entity, range, descriptor)

list	effects_undefined_descriptors_variable_change (list, entity, entity)

list	effects_descriptors_variable_change_nop (list, entity, entity)

descriptor	effects_undefined_vector_to_descriptor (Pvecteur)

list	effects_undefined_loop_normalize (list, entity, range, entity *, descriptor, bool)

list	effects_loop_normalize_nop (list, entity, range, entity *, descriptor, bool)

list	db_get_empty_list (string)

void	effect_add_dereferencing_dimension (effect)

void	effect_add_field_dimension (effect, entity)

list	filter_effects_with_declaration (list, entity)

list	effect_intermediary_pointer_paths_effect (effect)

list	list_of_effects_generic_binary_op (list, list, bool()(effect, effect), list()(effect, effect, bool, bool, bool , bool , list()(effect, effect)), list()(effect, effect), list()(effect), list()(effect))
	binary_operators.c More...

list	list_of_effects_generic_union_op (list, list, bool()(effect, effect), list()(effect, effect), list(*)(effect))

list	list_of_effects_generic_intersection_op (list, list, bool()(effect, effect), list()(effect, effect))

list	list_of_effects_generic_cells_intersection_op (list, list, bool()(effect, effect), list()(effect, effect))

list	list_of_effects_generic_sup_difference_op (list, list, bool()(effect, effect), list()(effect, effect))

list	list_of_effects_generic_inf_difference_op (list, list, bool()(effect, effect), list()(effect, effect))

list	list_of_effects_generic_cells_inf_difference_op (list, list, bool()(effect, effect), list()(effect, effect))

list	proper_to_summary_effects (list)

list	proper_effects_contract (list)

list	proper_effects_combine (list, bool)

bool	effects_combinable_p (effect, effect)

bool	cells_combinable_p (cell, cell)

bool	effects_scalars_and_same_action_p (effect, effect)

bool	effects_same_action_p (effect, effect)

bool	effects_same_variable_p (effect, effect)

bool	r_r_combinable_p (effect, effect)

bool	w_w_combinable_p (effect, effect)

bool	r_w_combinable_p (effect, effect)

bool	w_r_combinable_p (effect, effect)

list	effects_undefined_binary_operator (list, list, bool(*)(effect, effect))

list	effects_entities_intersection (list, list, bool(*)(effect, effect))

list	effects_entities_inf_difference (list, list, bool(*)(effect, effect))

void	make_effects_private_current_stmt_stack (void)
	utils.c More...

void	free_effects_private_current_stmt_stack (void)

stack	get_effects_private_current_stmt_stack (void)

void	set_effects_private_current_stmt_stack (stack)

void	reset_effects_private_current_stmt_stack (void)

void	effects_private_current_stmt_push (statement)

bool	effects_private_current_stmt_filter (statement)

void	effects_private_current_stmt_rewrite (statement)

statement	effects_private_current_stmt_replace (statement)

statement	effects_private_current_stmt_pop (void)

statement	effects_private_current_stmt_head (void)

statement	effects_private_current_stmt_nth (int)

bool	effects_private_current_stmt_empty_p (void)

int	effects_private_current_stmt_size (void)

void	error_reset_effects_private_current_stmt_stack (void)

void	make_effects_private_current_context_stack (void)

void	free_effects_private_current_context_stack (void)

stack	get_effects_private_current_context_stack (void)

void	set_effects_private_current_context_stack (stack)

void	reset_effects_private_current_context_stack (void)

void	effects_private_current_context_push (transformer)

bool	effects_private_current_context_filter (transformer)

void	effects_private_current_context_rewrite (transformer)

transformer	effects_private_current_context_replace (transformer)

transformer	effects_private_current_context_pop (void)

transformer	effects_private_current_context_head (void)

transformer	effects_private_current_context_nth (int)

bool	effects_private_current_context_empty_p (void)

int	effects_private_current_context_size (void)

void	error_reset_effects_private_current_context_stack (void)

bool	effects_private_current_context_stack_initialized_p (void)

bool	effects_private_current_stmt_stack_initialized_p (void)

bool	normalizable_and_linear_loop_p (entity, range)

transformer	transformer_remove_variable_and_dup (transformer, entity)

void	set_descriptor_range_p (bool)

bool	get_descriptor_range_p (void)

descriptor	descriptor_inequality_add (descriptor, Pvecteur)

transformer	descriptor_to_context (descriptor)

void	descriptor_variable_rename (descriptor, entity, entity)

descriptor	descriptor_append (descriptor, descriptor)

transformer	load_undefined_context (statement)

transformer	load_undefined_transformer (statement)

bool	empty_context_test_false (transformer)

void	effects_computation_no_init (const char *)

void	effects_computation_no_reset (const char *)

string	vect_debug_entity_name (entity)

bool	some_integer_scalar_read_or_write_effects_p (cons *)

bool	statement_io_effect_p (statement)

bool	statement_has_a_formal_argument_write_effect_p (statement)

list	make_effects_for_array_declarations (list)

list	summary_effects_from_declaration (const char *)

void	dump_cell (cell)

void	dump_effect (effect)

void	dump_effects (list)

bool	effects_reference_sharing_p (list, bool)

effect	make_some_anywhere_effect (action, entity)

effect	make_anywhere_effect (action)

effect	make_generic_anywhere_effect (action, reference)

effect	make_typed_anywhere_effect (action, type)

effect	make_anywhere_write_memory_effect (void)

effect	make_anywhere_read_memory_effect (void)

list	make_anywhere_read_write_memory_effects (void)

list	clean_anywhere_effects (list)

effect	make_null_pointer_value_effect (action)

bool	null_pointer_value_effect_p (effect)

effect	make_undefined_pointer_value_effect (action)

bool	undefined_pointer_value_effect_p (effect)

list	effect_to_effects_with_given_tag (effect, tag)

list	generic_effect_generate_all_accessible_paths_effects_with_level (effect, type, tag, bool, int, bool)

list	generic_effect_generate_all_accessible_paths_effects (effect, type, tag)

bool	r_effect_pointer_type_p (effect, list, type)

bool	effect_pointer_type_p (effect)

type	simple_effect_reference_type (reference)

bool	regions_weakly_consistent_p (list)

bool	region_weakly_consistent_p (effect)

list	statement_modified_pointers_effects_list (statement)

bool	abstract_effect_in_effect_list_p (action, type, list)

list	generic_effects_store_update (list, statement, bool)

list	pointer_effects_to_constant_path_effects (list)

list	effect_to_constant_path_effects_with_no_pointer_information (effect)

list	effects_to_constant_path_effects_with_no_pointer_information (list)

bool	find_write_effect_on_entity (statement, entity)

void	set_pointer_info_kind (pointer_info_val)
	methods.c More...

pointer_info_val	get_pointer_info_kind (void)

void	set_constant_paths_p (bool)

bool	get_constant_paths_p (void)

void	generic_effects_reset_all_methods (void)

void	set_action_interpretation (string, string)
	prettyprint.c More...

void	reset_action_interpretation (void)

string	action_interpretation (int tag)

void	set_is_user_view_p (bool)

void	set_prettyprint_with_attachments (bool)

void	reset_generic_prettyprints (void)

void	set_a_generic_prettyprint (string, bool, gen_chunk *, generic_text_function, generic_prettyprint_function, generic_attachment_function)

void	add_a_generic_prettyprint (string, bool, generic_text_function, generic_prettyprint_function, generic_attachment_function)

bool	print_source_or_code_effects_engine (const char *, string, bool)

text	get_any_effect_type_text (const char *, string, string, bool)

bool	print_source_or_code_with_any_effects_engine (const char *, string, string, string, bool)

void	generic_print_effects (list)

list	generic_proper_effects_of_intrinsic (entity, list)
	intrinsics.c More...

expression	count_expression_to_range_expression (expression)

expression	count_and_offset_expressions_to_range_expression (expression, expression)

void	update_last_reference_subscript (reference, expression)

void	add_range_information_to_cells (list, expression)

void	effects_to_proper_approximation (list)

void	add_precondition_information_to_effects (list)

list	generic_fortran_effects_backward_translation (entity, list, list, transformer)
	interprocedural.c More...

list	c_actual_argument_to_may_summary_effects (expression, tag)

list	generic_c_effects_backward_translation (entity, list, list, transformer)

list	generic_c_effects_forward_translation (entity, list, list, transformer)

list	generic_effects_backward_translation (entity, list, list, transformer)

list	generic_effects_forward_translation (entity, list, list, transformer)

void	effects_translate_fields_compilation_unit (list, string, string)

int	effects_statement_line_number (void)
	eval.c More...

list	generic_reference_to_points_to_matching_list (reference, descriptor, size_t , bool , transformer, list, void()(reference, reference , descriptor ), bool()(reference, descriptor, reference, descriptor, transformer, bool, bool *))
	This function has been outlined from generic_eval_cell_with_points_to() to reduce the size of a function to about one page. More...

list	generic_eval_cell_with_points_to (cell, descriptor, list, bool , transformer, bool()(reference, descriptor, reference, descriptor, transformer, bool, bool ), void()(reference, descriptor, reference, descriptor, int, reference , descriptor , bool ), void()(reference, reference , descriptor ))

list	generic_effect_find_equivalent_simple_pointer_values (effect, list, cell_relation , list , bool()(cell, descriptor, cell, descriptor, bool ), bool()(cell, descriptor, cell, descriptor, bool ), void()(cell, cell , descriptor *))
	find pointer_values in l_in which give (possible or exact) paths equivalent to eff. More...

list	generic_effect_find_aliases_with_simple_pointer_values (effect, list, bool , transformer, bool()(cell, descriptor, cell, descriptor, transformer, bool, bool ), void()(cell, descriptor, cell, descriptor, int, cell , descriptor , bool ), void()(cell, descriptor, cell, descriptor, int, cell , descriptor , bool ), bool()(cell, descriptor, cell, descriptor, bool ), bool()(cell, descriptor, cell, descriptor, bool ), void()(cell, cell , descriptor ))

bool	live_in_summary_paths_engine (const char *)
	liveness_analysis_engine.c More...

bool	live_out_summary_paths_engine (const char *)

bool	live_paths_engine (const char *, effects_representation_val)

bool	live_out_region_engine (const char *, effects_representation_val)

list	effects_expression_to_points_to_sources (expression)
	points_to.c More...

list	effects_expression_to_points_to_sinks (expression)

set	safe_user_call_to_points_to_interprocedural_binding_set (entity, list)

void	effect_backward_translation_error (entity, effect)

list	backward_translation_of_points_to_formal_context_effect (entity, list, effect, set)

list	effects_lhs_expression_to_sources (expression)
	Returns a list of cells corresponding to the possibles values, i.e. More...

list	effects_lhs_expression_to_sinks (expression)
	Returns a list of cells corresponding to the value,i.e. More...

list	cells_to_read_or_write_effects (list, bool)

list	cells_to_write_effects (list)

list	cells_to_read_effects (list)

Variables
bool(*	effect_consistent_p_func )(effect)

void(*	effects_computation_init_func )(const char *)

void(*	effects_computation_reset_func )(const char *)

effect(*	effect_dup_func )(effect eff)

void(*	effect_free_func )(effect eff)

effect(*	reference_to_effect_func )(reference, action, bool)

list(*	effect_to_store_independent_effect_list_func )(effect, bool)

void(*	effect_add_expression_dimension_func )(effect eff, expression exp)

void(*	effect_change_ith_dimension_expression_func )(effect eff, expression exp, int i)

effect(*	effect_union_op )(effect, effect)

list(*	effects_union_op )(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

list(*	effects_test_union_op )(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

list(*	effects_intersection_op )(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

list(*	effects_sup_difference_op )(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

list(*	effects_inf_difference_op )(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

list(*	effects_transformer_composition_op )(list, transformer)

list(*	effects_transformer_inverse_composition_op )(list, transformer)

list(*	effects_precondition_composition_op )(list, transformer, bool)

list(*	eval_cell_with_points_to_func )(cell, descriptor, list, bool *, transformer)

list(*	effect_to_constant_path_effects_func )(effect)

list(*	effects_descriptors_variable_change_func )(list, entity, entity)

descriptor(*	loop_descriptor_make_func )(loop)

void(*	loop_range_in_effect_func )(loop, list , list , bool()(effect, effect), entity , range)

list(*	effects_loop_normalize_func )(list, entity, range, entity *, descriptor, bool)

list(*	effects_union_over_range_op )(list, entity, range, descriptor)

descriptor(*	vector_to_descriptor_func )(Pvecteur)

void(*	effects_translation_init_func )(entity, list, bool)

void(*	effects_translation_end_func )(void)

void(*	effect_descriptor_interprocedural_translation_op )(effect)

list(*	fortran_effects_backward_translation_op )(entity, list, list, transformer)

list(*	fortran_effects_forward_translation_op )(entity, list, list, transformer)

list(*	c_effects_on_formal_parameter_backward_translation_func )(list, expression, transformer)

list(*	c_effects_on_actual_parameter_forward_translation_func )(entity, expression, entity, list, transformer)

list(*	effects_local_to_global_translation_op )(list)

transformer(*	load_context_func )(statement)

transformer(*	load_transformer_func )(statement)

transformer(*	load_completed_transformer_func )(statement)

bool(*	empty_context_test )(transformer)

effect(*	proper_to_summary_effect_func )(effect)

void(*	effects_descriptor_normalize_func )(list)

statement_effects(*	db_get_proper_rw_effects_func )(const char *)

void(*	db_put_proper_rw_effects_func )(const char *, statement_effects)

statement_effects(*	db_get_invariant_rw_effects_func )(const char *)

void(*	db_put_invariant_rw_effects_func )(const char *, statement_effects)

statement_effects(*	db_get_rw_effects_func )(const char *)

void(*	db_put_rw_effects_func )(const char *, statement_effects)

list(*	db_get_summary_rw_effects_func )(const char *)

void(*	db_put_summary_rw_effects_func )(const char *, list)

statement_effects(*	db_get_in_effects_func )(const char *)

void(*	db_put_in_effects_func )(const char *, statement_effects)

statement_effects(*	db_get_cumulated_in_effects_func )(const char *)

void(*	db_put_cumulated_in_effects_func )(const char *, statement_effects)

statement_effects(*	db_get_invariant_in_effects_func )(const char *)

void(*	db_put_invariant_in_effects_func )(const char *, statement_effects)

list(*	db_get_summary_in_effects_func )(const char *)

void(*	db_put_summary_in_effects_func )(const char *, list)

list(*	db_get_summary_out_effects_func )(const char *)

void(*	db_put_summary_out_effects_func )(const char *, list)

statement_effects(*	db_get_out_effects_func )(const char *)

void(*	db_put_out_effects_func )(const char *, statement_effects)

statement_effects(*	db_get_live_in_paths_func )(const char *)

void(*	db_put_live_in_paths_func )(const char *, statement_effects)

statement_effects(*	db_get_live_out_paths_func )(const char *)

void(*	db_put_live_out_paths_func )(const char *, statement_effects)

list(*	db_get_live_in_summary_paths_func )(const char *)

void(*	db_put_live_in_summary_paths_func )(const char *, list)

list(*	db_get_live_out_summary_paths_func )(const char *)

void(*	db_put_live_out_summary_paths_func )(const char *, list)

entity_effects(*	db_get_useful_variables_effects_func )(const char *)

void(*	db_put_useful_variables_effects_func )(const char *, entity_effects)

void(*	effects_prettyprint_func )(list)

void(*	effect_prettyprint_func )(effect)

text(*	effects_to_text_func )(list)

void(*	attach_effects_decoration_to_text_func )(text)

bool(*	cell_preceding_p_func )(cell, descriptor, cell, descriptor, bool, bool *)

bool(*	stmt_strongly_feasible_p_func )(statement)

Macro Definition Documentation

◆ ACTION_COPYIN

#define ACTION_COPYIN "COPYIN"

Definition at line 43 of file effects-generic.h.

◆ ACTION_COPYOUT

#define ACTION_COPYOUT "COPYOUT"

Definition at line 44 of file effects-generic.h.

◆ ACTION_IN

#define ACTION_IN "IN"

Definition at line 41 of file effects-generic.h.

◆ ACTION_LIVE_IN

#define ACTION_LIVE_IN "ALIVE (IN)"

Definition at line 46 of file effects-generic.h.

◆ ACTION_LIVE_OUT

#define ACTION_LIVE_OUT "ALIVE (OUT)"

Definition at line 47 of file effects-generic.h.

◆ ACTION_OUT

#define ACTION_OUT "OUT"

Definition at line 42 of file effects-generic.h.

◆ ACTION_PRIVATE

#define ACTION_PRIVATE "PRIVATE"

Definition at line 45 of file effects-generic.h.

◆ ACTION_READ

#define ACTION_READ "R"

Definition at line 39 of file effects-generic.h.

◆ ACTION_UNDEFINED

#define ACTION_UNDEFINED string_undefined

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/effects-generic/effects-generic-local.h instead, to add your own modifications. header file built by cproto effects_generic-local.h some string constants for prettyprints...

Definition at line 38 of file effects-generic.h.

◆ ACTION_WRITE

#define ACTION_WRITE "W"

Definition at line 40 of file effects-generic.h.

◆ DB_GET_EE

#define DB_GET_EE	(	name,
		NAME
	)

Value:

  static entity_effects db_get_##name(const char *module_name)    \
  {                                                               \
    return (entity_effects)                                       \
      db_get_memory_resource(DBR_##NAME, module_name, true);      \
  }

Definition at line 86 of file effects-generic.h.

◆ DB_GET_LS

#define DB_GET_LS	(	name,
		NAME
	)

Value:

  static list db_get_##name(const char *module_name)                    \
  {                                                                     \
    return effects_to_list(                                             \
      (effects) db_get_memory_resource(DBR_##NAME, module_name, true)); \
  }

Definition at line 79 of file effects-generic.h.

◆ DB_GET_SE

#define DB_GET_SE	(	name,
		NAME
	)

Value:

  static statement_effects db_get_##name(const char *module_name) \
  {                                                               \
    return (statement_effects)                                    \
      db_get_memory_resource(DBR_##NAME, module_name, true);      \
  }

for db_* functions

Definition at line 72 of file effects-generic.h.

◆ DB_GETNOPUT_EE

#define DB_GETNOPUT_EE	(	name,
		NAME
	)	DB_GET_EE(name, NAME) DB_NOPUT_EE(name)

Definition at line 137 of file effects-generic.h.

◆ DB_GETNOPUT_LS

#define DB_GETNOPUT_LS	(	name,
		NAME
	)	DB_GET_LS(name, NAME) DB_NOPUT_LS(name)

Definition at line 135 of file effects-generic.h.

◆ DB_GETNOPUT_SE

#define DB_GETNOPUT_SE	(	name,
		NAME
	)	DB_GET_SE(name, NAME) DB_NOPUT_SE(name)

Definition at line 133 of file effects-generic.h.

◆ DB_GETPUT_EE

#define DB_GETPUT_EE	(	name,
		NAME
	)	DB_GET_EE(name, NAME) DB_PUT_EE(name, NAME)

Definition at line 136 of file effects-generic.h.

◆ DB_GETPUT_LS

#define DB_GETPUT_LS	(	name,
		NAME
	)	DB_GET_LS(name, NAME) DB_PUT_LS(name, NAME)

Definition at line 134 of file effects-generic.h.

◆ DB_GETPUT_SE

#define DB_GETPUT_SE	(	name,
		NAME
	)	DB_GET_SE(name, NAME) DB_PUT_SE(name, NAME)

Definition at line 132 of file effects-generic.h.

◆ DB_NOPUT_EE

#define DB_NOPUT_EE ( name )

Value:

  static void db_put_##name(_UNUSED_ const char *m, entity_effects ee) \
  {                                                                    \
    free_entity_effects(se);                                           \
  }

Definition at line 126 of file effects-generic.h.

◆ DB_NOPUT_LS

#define DB_NOPUT_LS ( name )

Value:

  static void db_put_##name(_UNUSED_ const char *m, list l) \
  {                                                         \
    gen_full_free_list(l);                                  \
  }

Definition at line 120 of file effects-generic.h.

◆ DB_NOPUT_SE

#define DB_NOPUT_SE ( name )

Value:

  static void db_put_##name(_UNUSED_ const char *m, statement_effects se) \
  {                                                                     \
    free_statement_effects(se);                                         \
  }

Definition at line 114 of file effects-generic.h.

◆ DB_PUT_EE

#define DB_PUT_EE	(	name,
		NAME
	)

Value:

  static void db_put_##name(                                            \
    const char *module_name, entity_effects ee)                         \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name, (void*) ee);        \
  }

Definition at line 107 of file effects-generic.h.

◆ DB_PUT_LS

#define DB_PUT_LS	(	name,
		NAME
	)

Value:

  static void db_put_##name(const char *module_name, list l)            \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name,                     \
                           (void*) list_to_effects(l));                 \
  }

Definition at line 100 of file effects-generic.h.

◆ DB_PUT_SE

#define DB_PUT_SE	(	name,
		NAME
	)

Value:

  static void db_put_##name(                                            \
    const char *module_name, statement_effects se)                      \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name, (void*) se);        \
  }

Definition at line 93 of file effects-generic.h.

◆ pips_debug_effect

#define pips_debug_effect	(	level,
		message,
		eff
	)

Value:

  ifdebug(level) { pips_debug(level, "%s\n", message); \
  (*effect_consistent_p_func)(eff); \
  (*effect_prettyprint_func)(eff);}

for debug

Definition at line 54 of file effects-generic.h.

◆ pips_debug_effects

#define pips_debug_effects	(	level,
		message,
		l_eff
	)

Value:

ifdebug(level) { pips_debug(level, "%s\n", message); \

generic_print_effects(l_eff);}

Definition at line 59 of file effects-generic.h.

Typedef Documentation

◆ generic_attachment_function

typedef void(* generic_attachment_function) (text)

Definition at line 68 of file effects-generic.h.

◆ generic_prettyprint_function

typedef void(* generic_prettyprint_function) (list)

Definition at line 67 of file effects-generic.h.

◆ generic_text_function

typedef text(* generic_text_function) (list)

prettyprint function types:

hum...

Definition at line 66 of file effects-generic.h.

Enumeration Type Documentation

◆ effects_representation_val

enum effects_representation_val

Enumerator
simple
convex
simple
convex

Definition at line 142 of file effects-generic.h.

142 { simple, convex } effects_representation_val;

effects_representation_val

Definition: effects-generic.h:142

convex

@ convex

Definition: effects-generic.h:142

simple

@ simple

Definition: effects-generic.h:142

◆ pointer_info_val

enum pointer_info_val

Enumerator
with_no_pointer_info
with_points_to
with_pointer_values
with_no_pointer_info
with_points_to
with_pointer_values

Definition at line 139 of file effects-generic.h.

139 { with_no_pointer_info, with_points_to, with_pointer_values }

with_points_to

@ with_points_to

Definition: effects-generic.h:139

with_no_pointer_info

@ with_no_pointer_info

Definition: effects-generic.h:139

with_pointer_values

@ with_pointer_values

Definition: effects-generic.h:139

Function Documentation

◆ abstract_effect_in_effect_list_p()

bool abstract_effect_in_effect_list_p	(	action	,
		type	,
		list
	)

◆ action_interpretation()

string action_interpretation ( int tag )

◆ add_a_generic_prettyprint()

void add_a_generic_prettyprint	(	string	,
		bool	,
		generic_text_function	,
		generic_prettyprint_function	,
		generic_attachment_function
	)

◆ add_precondition_information_to_effects()

void add_precondition_information_to_effects ( list )

Referenced by cells_to_read_or_write_effects().

Here is the caller graph for this function:

◆ add_range_information_to_cells()

void add_range_information_to_cells	(	list	,
		expression
	)

◆ array_effects_to_may_effects()

void array_effects_to_may_effects ( list )

◆ backward_translation_of_points_to_formal_context_effect()

list backward_translation_of_points_to_formal_context_effect	(	entity	,
		list	,
		effect	,
		set
	)

◆ bound_cumulated_in_effects_p()

bool bound_cumulated_in_effects_p ( statement )

◆ bound_cumulated_references_p()

bool bound_cumulated_references_p ( statement )

◆ bound_cumulated_rw_effects_p()

bool bound_cumulated_rw_effects_p ( statement )

◆ bound_expr_prw_effects_p()

bool bound_expr_prw_effects_p ( expression )

Referenced by expr_level_of().

Here is the caller graph for this function:

◆ bound_in_effects_p()

bool bound_in_effects_p ( statement )

◆ bound_invariant_in_effects_p()

bool bound_invariant_in_effects_p ( statement )

◆ bound_invariant_rw_effects_p()

bool bound_invariant_rw_effects_p ( statement )

◆ bound_invariant_rw_pointer_effects_p()

bool bound_invariant_rw_pointer_effects_p ( statement )

◆ bound_live_in_paths_p()

bool bound_live_in_paths_p ( statement )

Referenced by live_in_paths_of_loop(), live_in_paths_of_statement(), live_in_paths_of_whileloop(), and live_paths_from_block_to_statements().

Here is the caller graph for this function:

◆ bound_live_out_paths_p()

bool bound_live_out_paths_p ( statement )

Referenced by live_out_paths_from_unstructured_to_nodes().

Here is the caller graph for this function:

◆ bound_live_out_regions_p()

bool bound_live_out_regions_p ( statement )

◆ bound_out_effects_p()

bool bound_out_effects_p ( statement )

◆ bound_proper_references_p()

bool bound_proper_references_p ( statement )

◆ bound_proper_rw_effects_p()

bool bound_proper_rw_effects_p ( statement )

Referenced by simple_switch_old_to_new().

Here is the caller graph for this function:

◆ bound_proper_rw_pointer_effects_p()

bool bound_proper_rw_pointer_effects_p ( statement )

◆ bound_rw_effects_p()

bool bound_rw_effects_p ( statement )

◆ bound_rw_pointer_effects_p()

bool bound_rw_pointer_effects_p ( statement )

◆ bound_useful_variables_effects_p()

bool bound_useful_variables_effects_p ( entity )

◆ c_actual_argument_to_may_summary_effects()

list c_actual_argument_to_may_summary_effects	(	expression	,
		tag
	)

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), and safe_intrinsic_to_post_pv().

Here is the caller graph for this function:

◆ cells_combinable_p()

bool cells_combinable_p	(	cell	,
		cell
	)

Referenced by convex_cells_inclusion_p(), convex_cells_intersection_p(), simple_cells_inclusion_p(), and simple_cells_intersection_p().

Here is the caller graph for this function:

◆ cells_to_read_effects()

list cells_to_read_effects ( list cl )

Parameters

cl l

Definition at line 467 of file points_to.c.

 {
   return cells_to_read_or_write_effects(cl, false);
 }

References cells_to_read_or_write_effects().

Here is the call graph for this function:

◆ cells_to_read_or_write_effects()

list cells_to_read_or_write_effects	(	list	cl,
		bool	write_p
	)

Parameters

cl	l
write_p	rite_p

Definition at line 377 of file points_to.c.

 {
   // (*reference_to_effect_func)
   list wel = NIL;
   size_t n = gen_length(cl);
   size_t u = 0; // number of useless cells
   FOREACH(CELL, c, cl) {
     effect e = effect_undefined;
     if(nowhere_cell_p(c)) {
       if(n==1 || n==1+u) {
         // Would it be better to move on with a simple warning?
         pips_user_error("Dereferencing of an undefined pointer.\n");
       }
       else {
         ; // ignore
       }
       u++;
     }
     else if(null_cell_p(c)) {
       if(n==1 || n==1+u)
         pips_user_error("Dereferencing of a null pointer.\n");
       else {
         ; // ignore
       }
       u++;
     }
     else {
       action a = write_p? make_action_write_memory() : make_action_read_memory();
       //descriptor d = make_descriptor_none();
       if(cell_abstract_location_p(c)) {
         // This may always capture heap locations, although they may
         // sometimes be concrete
         // approximation ap = make_approximation_may();
         reference r = cell_any_reference(c);
         e = (*reference_to_effect_func)(r, a, false); // , ap, d);
       }
       else {
         reference r = cell_any_reference(c);
         e = (*reference_to_effect_func)(r, a, false); // , ap, d);
         if(n==1 || n==1+u) {
         //  approximation ap = make_approximation_exact();
           //  e = make_effect(c, a, ap, d);
           ;
         }
         else {
           // FI: it could be exact with n>1 if alternatives are null
           // and undefined
           //approximation ap = make_approximation_may();
           // e = make_effect(c, a, ap, d);
           ;
         }
       }
       // Adjust type, which implies a may approximation
       type t = points_to_cell_to_concrete_type(c);
       int msn = type_depth(t);
       if(msn>0) {
         reference r = cell_any_reference(c);
         reference_indices(r) = gen_nconc(reference_indices(r), 
                                          make_unbounded_subscripts(msn));
         if(approximation_exact_p(effect_approximation(e))) {
           free_approximation(effect_approximation(e));
           effect_approximation(e) = make_approximation_may();
         }
         entity re = reference_variable(r);
         if(entity_typed_anywhere_locations_p(re)) {
           // FI: we hope that heap entities are not included here
           pips_assert("Not a heap abstraction", !entity_heap_location_p(re));
           type nt = points_to_reference_to_concrete_type(r);
           entity nre = entity_typed_anywhere_locations(nt);
           reference_variable(r) = nre;
           gen_full_free_list(reference_indices(r));
           reference_indices(r) = NIL;
         }
       }
     }
     if(!effect_undefined_p(e))
       wel = gen_nconc(wel, CONS(EFFECT, e, wel));
   }
  
   effects_to_proper_approximation(wel);
   add_precondition_information_to_effects(wel);
  
   return wel;
 }

References add_precondition_information_to_effects(), approximation_exact_p, CELL, cell_abstract_location_p(), cell_any_reference(), CONS, EFFECT, effect_approximation, effect_undefined, effect_undefined_p, effects_to_proper_approximation(), entity_heap_location_p(), entity_typed_anywhere_locations(), entity_typed_anywhere_locations_p(), FOREACH, free_approximation(), gen_full_free_list(), gen_length(), gen_nconc(), make_action_read_memory(), make_action_write_memory(), make_approximation_may(), make_unbounded_subscripts(), NIL, nowhere_cell_p(), null_cell_p(), pips_assert, pips_user_error, points_to_cell_to_concrete_type(), points_to_reference_to_concrete_type(), reference_indices, reference_variable, and type_depth().

Referenced by cells_to_read_effects(), and cells_to_write_effects().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cells_to_write_effects()

list cells_to_write_effects ( list cl )

Parameters

cl l

Definition at line 462 of file points_to.c.

 {
   return cells_to_read_or_write_effects(cl, true);
 }

References cells_to_read_or_write_effects().

Here is the call graph for this function:

◆ check_sdfi_effects_p()

bool check_sdfi_effects_p	(	entity	,
		list
	)

◆ clean_anywhere_effects()

list clean_anywhere_effects ( list )

◆ close_cumulated_in_effects()

void close_cumulated_in_effects ( void )

◆ close_cumulated_references()

void close_cumulated_references ( void )

◆ close_cumulated_rw_effects()

void close_cumulated_rw_effects ( void )

◆ close_expr_prw_effects()

void close_expr_prw_effects ( void )

Referenced by perform_icm_association().

Here is the caller graph for this function:

◆ close_in_effects()

void close_in_effects ( void )

◆ close_invariant_in_effects()

void close_invariant_in_effects ( void )

◆ close_invariant_rw_effects()

void close_invariant_rw_effects ( void )

◆ close_invariant_rw_pointer_effects()

void close_invariant_rw_pointer_effects ( void )

◆ close_live_in_paths()

void close_live_in_paths ( void )

◆ close_live_out_paths()

void close_live_out_paths ( void )

◆ close_live_out_regions()

void close_live_out_regions ( void )

◆ close_out_effects()

void close_out_effects ( void )

◆ close_proper_references()

void close_proper_references ( void )

◆ close_proper_rw_effects()

void close_proper_rw_effects ( void )

Referenced by perform_icm_association().

Here is the caller graph for this function:

◆ close_proper_rw_pointer_effects()

void close_proper_rw_pointer_effects ( void )

◆ close_rw_effects()

void close_rw_effects ( void )

◆ close_rw_pointer_effects()

void close_rw_pointer_effects ( void )

◆ close_useful_variables_effects()

void close_useful_variables_effects ( void )

◆ count_and_offset_expressions_to_range_expression()

expression count_and_offset_expressions_to_range_expression	(	expression	,
		expression
	)

◆ count_expression_to_range_expression()

expression count_expression_to_range_expression ( expression )

◆ cumulated_in_effects_undefined_p()

bool cumulated_in_effects_undefined_p ( void )

◆ cumulated_references_undefined_p()

bool cumulated_references_undefined_p ( void )

◆ cumulated_rw_effects_undefined_p()

bool cumulated_rw_effects_undefined_p ( void )

◆ db_get_empty_list()

list db_get_empty_list ( string )

◆ delete_cumulated_in_effects()

effects delete_cumulated_in_effects ( statement )

◆ delete_cumulated_references()

effects delete_cumulated_references ( statement )

◆ delete_cumulated_rw_effects()

effects delete_cumulated_rw_effects ( statement )

Referenced by freia_shuffle_move_forward().

Here is the caller graph for this function:

◆ delete_expr_prw_effects()

effects delete_expr_prw_effects ( expression )

◆ delete_in_effects()

effects delete_in_effects ( statement )

◆ delete_invariant_in_effects()

effects delete_invariant_in_effects ( statement )

◆ delete_invariant_rw_effects()

effects delete_invariant_rw_effects ( statement )

◆ delete_invariant_rw_pointer_effects()

effects delete_invariant_rw_pointer_effects ( statement )

◆ delete_live_in_paths()

effects delete_live_in_paths ( statement )

◆ delete_live_out_paths()

effects delete_live_out_paths ( statement )

◆ delete_live_out_regions()

effects delete_live_out_regions ( statement )

◆ delete_out_effects()

effects delete_out_effects ( statement )

◆ delete_proper_references()

effects delete_proper_references ( statement )

◆ delete_proper_rw_effects()

effects delete_proper_rw_effects ( statement )

◆ delete_proper_rw_pointer_effects()

effects delete_proper_rw_pointer_effects ( statement )

◆ delete_rw_effects()

effects delete_rw_effects ( statement )

◆ delete_rw_pointer_effects()

effects delete_rw_pointer_effects ( statement )

◆ delete_useful_variables_effects()

effects delete_useful_variables_effects ( entity )

◆ descriptor_append()

descriptor descriptor_append	(	descriptor	,
		descriptor
	)

◆ descriptor_inequality_add()

descriptor descriptor_inequality_add	(	descriptor	,
		Pvecteur
	)

Referenced by convex_in_effect_loop_range_fix().

Here is the caller graph for this function:

◆ descriptor_to_context()

transformer descriptor_to_context ( descriptor )

◆ descriptor_variable_rename()

void descriptor_variable_rename	(	descriptor	,
		entity	,
		entity
	)

◆ dump_cell()

void dump_cell ( cell )

◆ dump_effect()

void dump_effect ( effect )

◆ dump_effects()

void dump_effects ( list )

◆ effect_add_dereferencing_dimension()

void effect_add_dereferencing_dimension ( effect )

Referenced by call_to_post_pv(), dereferencing_to_post_pv(), heap_intrinsic_to_post_pv(), and point_to_to_post_pv().

Here is the caller graph for this function:

◆ effect_add_field_dimension()

void effect_add_field_dimension	(	effect	,
		entity
	)

Referenced by field_to_post_pv(), point_to_to_post_pv(), and simple_reference_to_convex_reference_conversion().

Here is the caller graph for this function:

◆ effect_backward_translation_error()

void effect_backward_translation_error	(	entity	,
		effect
	)

◆ effect_free()

void effect_free ( effect )

◆ effect_intermediary_pointer_paths_effect()

list effect_intermediary_pointer_paths_effect ( effect )

Referenced by generic_effect_find_aliases_with_simple_pointer_values().

Here is the caller graph for this function:

◆ effect_nop()

effect effect_nop ( effect )

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

Here is the caller graph for this function:

◆ effect_pointer_type_p()

bool effect_pointer_type_p ( effect )

Referenced by generic_written_pointers_set().

Here is the caller graph for this function:

◆ effect_to_constant_path_effects_with_no_pointer_information()

list effect_to_constant_path_effects_with_no_pointer_information ( effect )

Referenced by add_values_for_simple_effects_of_statement(), generic_apply_effects_to_transformer(), and set_methods_for_convex_effects().

Here is the caller graph for this function:

◆ effect_to_effects_with_given_tag()

list effect_to_effects_with_given_tag	(	effect	,
		tag
	)

◆ effect_to_list()

list effect_to_list ( effect )

Referenced by effect_sup_difference(), generic_effect_find_aliases_with_simple_pointer_values(), and ProperEffectsMustUnion().

Here is the caller graph for this function:

◆ effect_to_may_effect()

void effect_to_may_effect ( effect )

Referenced by assignment_to_post_pv(), heap_intrinsic_to_post_pv(), real_regions_forward_translation(), regions_may_convex_hull(), and regions_must_convex_hull().

Here is the caller graph for this function:

◆ effect_to_may_effect_list()

list effect_to_may_effect_list ( effect )

Referenced by effect_sup_difference().

Here is the caller graph for this function:

◆ effect_to_must_effect()

void effect_to_must_effect ( effect )

◆ effect_to_nil_list()

list effect_to_nil_list ( effect )

◆ effect_to_nil_list_and_free()

list effect_to_nil_list_and_free ( effect )

◆ effect_to_read_effect()

void effect_to_read_effect ( effect )

◆ effect_to_write_effect()

void effect_to_write_effect ( effect )

◆ effects_add_effect()

list effects_add_effect	(	list	,
		effect
	)

◆ effects_combinable_p()

bool effects_combinable_p	(	effect	,
		effect
	)

◆ effects_composition_with_preconditions_nop()

list effects_composition_with_preconditions_nop	(	list	,
		transformer	,
		bool
	)

◆ effects_composition_with_transformer_nop()

list effects_composition_with_transformer_nop	(	list	,
		transformer
	)

◆ effects_computation_no_init()

void effects_computation_no_init ( const char * )

◆ effects_computation_no_reset()

void effects_computation_no_reset ( const char * )

◆ effects_descriptors_variable_change_nop()

list effects_descriptors_variable_change_nop	(	list	,
		entity	,
		entity
	)

◆ effects_dup()

list effects_dup ( list )

Referenced by convex_in_effect_loop_range_fix(), live_in_paths_of_statement(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_test_to_branches(), live_out_paths_from_unstructured_to_nodes(), live_out_paths_from_whileloop_to_body(), live_paths_engine(), live_paths_from_block_to_statements(), and real_regions_forward_translation().

Here is the caller graph for this function:

◆ effects_dup_without_variables()

list effects_dup_without_variables	(	list	,
		list
	)

Referenced by live_in_paths_of_loop(), and live_out_paths_from_loop_to_body().

Here is the caller graph for this function:

◆ effects_entities_inf_difference()

list effects_entities_inf_difference	(	list	,
		list	,
		bool(*)(effect, effect)
	)

◆ effects_entities_intersection()

list effects_entities_intersection	(	list	,
		list	,
		bool(*)(effect, effect)
	)

Referenced by convex_in_effect_loop_range_fix().

Here is the caller graph for this function:

◆ effects_expression_to_points_to_sinks()

list effects_expression_to_points_to_sinks ( expression )

Referenced by effects_lhs_expression_to_sinks().

Here is the caller graph for this function:

◆ effects_expression_to_points_to_sources()

list effects_expression_to_points_to_sources ( expression )

points_to.c

Referenced by effects_lhs_expression_to_sources().

Here is the caller graph for this function:

◆ effects_filter_map()

void effects_filter_map	(	list	,
		bool(*)(effect)	,
		void(*)(effect)
	)

◆ effects_free()

void effects_free ( list )

Referenced by derived_formal_parameter_to_stub_points_to(), and typedef_formal_parameter_to_stub_points_to().

Here is the caller graph for this function:

◆ effects_lhs_expression_to_sinks()

list effects_lhs_expression_to_sinks ( expression e )

Returns a list of cells corresponding to the value,i.e.

abstract or concrete locations, denoted by lhs expression e.

If "p" is a pointer, expression "p" has "p" as a source, and the sources of "*p" as sinks.

This should work whether the points-to library is available or not, but it is not yet the case

The prefix effects_ is used to have a local copy in the effects-generic library.

We expect here a test about points-to availability and a work around if the points-to library is not linked.

Definition at line 369 of file points_to.c.

 {
   /* We expect here a test about points-to availability and a work
    * around if the points-to library is not linked.
    */
   return effects_expression_to_points_to_sinks(e);
 }

References effects_expression_to_points_to_sinks().

Here is the call graph for this function:

◆ effects_lhs_expression_to_sources()

list effects_lhs_expression_to_sources ( expression e )

Returns a list of cells corresponding to the possibles values, i.e.

abstract or concrete locations, denoted by lhs expression e.

This should work whether the points-to library is available or not, but it is not yet the case.

The prefix effects_ is used to have a local copy in the effects-generic library.

We expect here a test about points-to availability and a work around if the points-to library is not linked.

Definition at line 349 of file points_to.c.

 {
   /* We expect here a test about points-to availability and a work
    * around if the points-to library is not linked.
    */
   return effects_expression_to_points_to_sources(e);
 }

References effects_expression_to_points_to_sources().

Here is the call graph for this function:

◆ effects_loop_normalize_nop()

list effects_loop_normalize_nop	(	list	,
		entity	,
		range	,
		entity *	,
		descriptor	,
		bool
	)

◆ effects_map()

void effects_map	(	list	,
		void(*)(effect)
	)

unary_operators.c

◆ effects_nop()

list effects_nop ( list )

◆ effects_private_current_context_empty_p()

bool effects_private_current_context_empty_p ( void )

Referenced by convex_effect_to_constant_path_effects_with_points_to(), and effect_to_constant_path_effects_with_points_to().

Here is the caller graph for this function:

◆ effects_private_current_context_filter()

bool effects_private_current_context_filter ( transformer )

◆ effects_private_current_context_head()

transformer effects_private_current_context_head ( void )

Referenced by convex_effect_to_constant_path_effects_with_points_to(), effect_to_constant_path_effects_with_points_to(), and simple_effect_to_constant_path_effects_with_points_to().

Here is the caller graph for this function:

◆ effects_private_current_context_nth()

transformer effects_private_current_context_nth ( int )

◆ effects_private_current_context_pop()

transformer effects_private_current_context_pop ( void )

◆ effects_private_current_context_push()

void effects_private_current_context_push ( transformer )

◆ effects_private_current_context_replace()

transformer effects_private_current_context_replace ( transformer )

◆ effects_private_current_context_rewrite()

void effects_private_current_context_rewrite ( transformer )

◆ effects_private_current_context_size()

int effects_private_current_context_size ( void )

◆ effects_private_current_context_stack_initialized_p()

bool effects_private_current_context_stack_initialized_p ( void )

◆ effects_private_current_stmt_empty_p()

bool effects_private_current_stmt_empty_p ( void )

◆ effects_private_current_stmt_filter()

bool effects_private_current_stmt_filter ( statement )

◆ effects_private_current_stmt_head()

statement effects_private_current_stmt_head ( void )

Referenced by convex_effect_to_constant_path_effects_with_pointer_values(), convex_effect_to_constant_path_effects_with_points_to(), effects_statement_line_number(), simple_effect_to_constant_path_effects_with_pointer_values(), and simple_effect_to_constant_path_effects_with_points_to().

Here is the caller graph for this function:

◆ effects_private_current_stmt_nth()

statement effects_private_current_stmt_nth ( int )

◆ effects_private_current_stmt_pop()

statement effects_private_current_stmt_pop ( void )

◆ effects_private_current_stmt_push()

void effects_private_current_stmt_push ( statement )

◆ effects_private_current_stmt_replace()

statement effects_private_current_stmt_replace ( statement )

◆ effects_private_current_stmt_rewrite()

void effects_private_current_stmt_rewrite ( statement )

◆ effects_private_current_stmt_size()

int effects_private_current_stmt_size ( void )

◆ effects_private_current_stmt_stack_initialized_p()

bool effects_private_current_stmt_stack_initialized_p ( void )

◆ effects_read_effects()

list effects_read_effects ( list )

Referenced by conflict_is_a_real_conflict_p(), and statement_with_side_effect_p().

Here is the caller graph for this function:

◆ effects_read_effects_dup()

list effects_read_effects_dup ( list )

Referenced by live_in_paths_of_loop(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), and live_out_paths_from_whileloop_to_body().

Here is the caller graph for this function:

◆ effects_reference_sharing_p()

bool effects_reference_sharing_p	(	list	,
		bool
	)

◆ effects_same_action_p()

bool effects_same_action_p	(	effect	,
		effect
	)

Here is the caller graph for this function:

◆ effects_same_variable_p()

bool effects_same_variable_p	(	effect	,
		effect
	)

◆ effects_scalars_and_same_action_p()

bool effects_scalars_and_same_action_p	(	effect	,
		effect
	)

◆ effects_statement_line_number()

int effects_statement_line_number ( void )

eval.c

Definition at line 208 of file eval.c.

 {
   statement s = effects_private_current_stmt_head();
   return statement_number(s);
 }

References effects_private_current_stmt_head(), and statement_number.

Referenced by generic_reference_to_points_to_matching_list().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effects_store_effects()

list effects_store_effects ( list )

Referenced by convert_in_effects(), convert_rw_effects(), and effects_to_dma().

Here is the caller graph for this function:

◆ effects_to_constant_path_effects_with_no_pointer_information()

list effects_to_constant_path_effects_with_no_pointer_information ( list )

Referenced by c_user_call_to_transformer().

Here is the caller graph for this function:

◆ effects_to_effects_filter_map()

list effects_to_effects_filter_map	(	list	,
		bool(*)(effect)	,
		effect(*)(effect)
	)

◆ effects_to_effects_map()

list effects_to_effects_map	(	list	,
		effect(*)(effect)
	)

◆ effects_to_may_effects()

void effects_to_may_effects ( list )

Referenced by conditional_operator_to_post_pv(), convex_in_effect_loop_range_fix(), effect_to_constant_path_effects_with_points_to(), external_call_to_post_pv(), generic_effect_find_aliases_with_simple_pointer_values(), generic_eval_cell_with_points_to(), live_in_paths_of_loop(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_unstructured_to_nodes(), live_out_paths_from_whileloop_to_body(), ReferenceTestUnion(), and single_pointer_assignment_to_post_pv().

Here is the caller graph for this function:

◆ effects_to_must_effects()

void effects_to_must_effects ( list )

Referenced by multiple_pointer_assignment_to_post_pv().

Here is the caller graph for this function:

◆ effects_to_nil_list()

list effects_to_nil_list	(	effect	,
		effect
	)

◆ effects_to_proper_approximation()

void effects_to_proper_approximation ( list )

Referenced by cells_to_read_or_write_effects().

Here is the caller graph for this function:

◆ effects_to_read_effects()

void effects_to_read_effects ( list )

Referenced by convex_effect_to_constant_path_effects_with_points_to(), and effect_to_constant_path_effects_with_points_to().

Here is the caller graph for this function:

◆ effects_to_write_effects()

void effects_to_write_effects ( list )

◆ effects_to_written_scalar_entities()

list effects_to_written_scalar_entities ( list )

◆ effects_translate_fields_compilation_unit()

void effects_translate_fields_compilation_unit	(	list	,
		string	,
		string
	)

◆ effects_undefined_binary_operator()

list effects_undefined_binary_operator	(	list	,
		list	,
		bool(*)(effect, effect)
	)

◆ effects_undefined_composition_with_preconditions()

list effects_undefined_composition_with_preconditions	(	list	,
		transformer
	)

◆ effects_undefined_composition_with_transformer()

list effects_undefined_composition_with_transformer	(	list	,
		transformer
	)

◆ effects_undefined_descriptors_variable_change()

list effects_undefined_descriptors_variable_change	(	list	,
		entity	,
		entity
	)

◆ effects_undefined_loop_normalize()

list effects_undefined_loop_normalize	(	list	,
		entity	,
		range	,
		entity *	,
		descriptor	,
		bool
	)

◆ effects_undefined_union_over_range()

list effects_undefined_union_over_range	(	list	,
		entity	,
		range	,
		descriptor
	)

◆ effects_undefined_vector_to_descriptor()

descriptor effects_undefined_vector_to_descriptor ( Pvecteur )

◆ effects_union_over_range_nop()

list effects_union_over_range_nop	(	list	,
		entity	,
		range	,
		descriptor
	)

◆ effects_write_at_least_once_p()

bool effects_write_at_least_once_p ( list )

Referenced by fortran_user_call_to_transformer(), and simd_supported_stat_p().

Here is the caller graph for this function:

◆ effects_write_effects()

list effects_write_effects ( list )

Referenced by atomize_statement(), conflict_is_a_real_conflict_p(), copy_write_statement(), copy_write_statement_with_cumulated_regions(), generic_written_pointers_set(), potential_out_effects_p(), statement_with_side_effect_p(), and two_addresses_code_generator().

Here is the caller graph for this function:

◆ effects_write_effects_dup()

list effects_write_effects_dup ( list )

Referenced by live_in_paths_of_statement(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), and live_out_paths_from_whileloop_to_body().

Here is the caller graph for this function:

◆ empty_context_test_false()

bool empty_context_test_false ( transformer )

◆ error_reset_cumulated_in_effects()

void error_reset_cumulated_in_effects ( void )

◆ error_reset_cumulated_references()

void error_reset_cumulated_references ( void )

◆ error_reset_cumulated_rw_effects()

void error_reset_cumulated_rw_effects ( void )

Referenced by reset_static_phase_variables().

Here is the caller graph for this function:

◆ error_reset_effects_private_current_context_stack()

void error_reset_effects_private_current_context_stack ( void )

◆ error_reset_effects_private_current_stmt_stack()

void error_reset_effects_private_current_stmt_stack ( void )

◆ error_reset_expr_prw_effects()

void error_reset_expr_prw_effects ( void )

◆ error_reset_in_effects()

void error_reset_in_effects ( void )

◆ error_reset_invariant_in_effects()

void error_reset_invariant_in_effects ( void )

◆ error_reset_invariant_rw_effects()

void error_reset_invariant_rw_effects ( void )

Referenced by reset_static_phase_variables().

Here is the caller graph for this function:

◆ error_reset_invariant_rw_pointer_effects()

void error_reset_invariant_rw_pointer_effects ( void )

◆ error_reset_live_in_paths()

void error_reset_live_in_paths ( void )

◆ error_reset_live_out_paths()

void error_reset_live_out_paths ( void )

◆ error_reset_live_out_regions()

void error_reset_live_out_regions ( void )

◆ error_reset_out_effects()

void error_reset_out_effects ( void )

◆ error_reset_proper_references()

void error_reset_proper_references ( void )

◆ error_reset_proper_rw_effects()

void error_reset_proper_rw_effects ( void )

Referenced by reset_static_phase_variables().

Here is the caller graph for this function:

◆ error_reset_proper_rw_pointer_effects()

void error_reset_proper_rw_pointer_effects ( void )

◆ error_reset_rw_effects()

void error_reset_rw_effects ( void )

Referenced by reset_static_phase_variables().

Here is the caller graph for this function:

◆ error_reset_rw_pointer_effects()

void error_reset_rw_pointer_effects ( void )

◆ error_reset_useful_variables_effects()

void error_reset_useful_variables_effects ( void )

◆ expr_prw_effects_undefined_p()

bool expr_prw_effects_undefined_p ( void )

◆ expression_proper_effects_engine()

void expression_proper_effects_engine	(	const char *	,
		statement
	)

◆ filter_effects_with_declaration()

list filter_effects_with_declaration	(	list	,
		entity
	)

Referenced by live_in_paths_of_statement().

Here is the caller graph for this function:

◆ find_write_effect_on_entity()

bool find_write_effect_on_entity	(	statement	,
		entity
	)

Referenced by get_variables_to_remove(), inline_expression_call(), and outliner_patch_parameters().

Here is the caller graph for this function:

◆ free_effects_private_current_context_stack()

void free_effects_private_current_context_stack ( void )

Referenced by live_out_summary_paths_engine(), live_paths_engine(), and step_translate_and_map().

Here is the caller graph for this function:

◆ free_effects_private_current_stmt_stack()

void free_effects_private_current_stmt_stack ( void )

◆ generic_c_effects_backward_translation()

list generic_c_effects_backward_translation	(	entity	,
		list	,
		list	,
		transformer
	)

◆ generic_c_effects_forward_translation()

list generic_c_effects_forward_translation	(	entity	,
		list	,
		list	,
		transformer
	)

Referenced by convex_regions_forward_translation().

Here is the caller graph for this function:

◆ generic_effect_find_aliases_with_simple_pointer_values()

list generic_effect_find_aliases_with_simple_pointer_values	(	effect	eff,
		list	l_pv,
		bool *	exact_p,
		transformer	current_precondition,
		bool()(cell, descriptor, cell, descriptor, transformer, bool, bool )	cell_preceding_p_func,
		void()(cell, descriptor, cell, descriptor, int, cell , descriptor , bool )	cell_with_address_of_cell_translation_func,
		void()(cell, descriptor, cell, descriptor, int, cell , descriptor , bool )	cell_with_value_of_cell_translation_func,
		bool()(cell, descriptor, cell, descriptor, bool )	cells_intersection_p_func,
		bool()(cell, descriptor, cell, descriptor, bool )	cells_inclusion_p_func,
		void()(cell, cell , descriptor *)	simple_cell_conversion_func
	)

should it be turned into entity_abstract_location_p (?)

first we must find in eff intermediary paths to pointers

and find if this gives equivalent paths in l_pv

this is valid only if the first value_of corresponds to eff_intermediary

This test is valid here because by construction either c1 or c2 is an equivalent for eff_intermediary

use second cell as equivalent value for intermediary path

cell_relation_second_address_of_p is true

use first cell as equivalent value for intermediary path

FOREACH

Then we must find if there are address_of second cells which are preceding paths of eff path in which case they must be used to generate other aliased paths

for the translation, add a dereferencing_dimension to pv_remnant_first_cell

FOREACH

if (!anywhere_p)

else branche of if (anywhere_effect_p(eff))

Parameters

eff	ff
l_pv	_pv
exact_p	xact_p
current_precondition	urrent_precondition

Definition at line 673 of file eval.c.

 {
   list l_res = NIL;
   list l_remnants = l_pv;
   cell eff_cell = effect_cell(eff);
   descriptor eff_desc= effect_descriptor(eff);
   //  reference eff_ref = effect_any_reference(eff);
   bool anywhere_p = false;
  
   pips_debug_effect(5, "begin with eff:", eff);
   pips_debug_pvs(5, "and l_pv:", l_pv);
  
   if (anywhere_effect_p(eff)
       || null_pointer_value_cell_p(effect_cell(eff))
       || undefined_pointer_value_cell_p(effect_cell(eff))) /* should it be turned into entity_abstract_location_p (?) */
   {
     pips_debug(5, "anywhere, undefined or null case\n");
     return (NIL);
   }
   else
   {
     /* first we must find in eff intermediary paths to pointers */
     list l_intermediary = effect_intermediary_pointer_paths_effect(eff);
     pips_debug_effects(5, "intermediary paths to eff:", l_intermediary);
  
     /* and find if this gives equivalent paths in l_pv */
     FOREACH(EFFECT, eff_intermediary, l_intermediary)
     {
       pips_debug_effect(5, "considering intermediary path:", eff_intermediary);
       list tmp_l_remnants = NIL;
       cell_relation pv_exact = cell_relation_undefined;
       list l_equiv =
           generic_effect_find_equivalent_simple_pointer_values(eff_intermediary, l_remnants,
               &pv_exact, &tmp_l_remnants,
               cells_intersection_p_func,
               cells_inclusion_p_func,
               simple_cell_conversion_func);
       if (!cell_relation_undefined_p(pv_exact))
       {
         l_equiv = CONS(CELL_RELATION, pv_exact, l_equiv);
       }
       l_remnants = tmp_l_remnants;
       pips_debug_pvs(5, "list of equivalent pvs \n", l_equiv);
  
       cell cell_intermediary = effect_cell(eff_intermediary);
       reference ref_intermediary = effect_any_reference(eff_intermediary);
       //entity ent_intermediary = reference_variable(ref_intermediary);
       //descriptor d_intermediary = effect_descriptor(eff_intermediary);
       int nb_common_indices =
           (int) gen_length(reference_indices(ref_intermediary));
  
       FOREACH(CELL_RELATION, pv_equiv, l_equiv)
       {
         cell c = cell_undefined;
         descriptor d = descriptor_undefined;
         bool exact_translation_p;
         cell c1 = cell_relation_first_cell(pv_equiv);
         cell c2 = cell_relation_second_cell(pv_equiv);
  
         pips_debug_pv(5, "translating eff using pv: \n", pv_equiv);
  
         if (undefined_pointer_value_cell_p(c1)
             || undefined_pointer_value_cell_p(c2))
         {
           pips_debug(5,"potential dereferencement of an undefined pointer -> returning undefined\n");
           l_res = effect_to_list(make_undefined_pointer_value_effect(copy_action(effect_action(eff))));
           if (cell_relation_may_p(pv_equiv))
             effects_to_may_effects(l_res);
           anywhere_p = true;
         }
         else if (null_pointer_value_cell_p(c1)
             || null_pointer_value_cell_p(c2))
         {
           pips_debug(5,"potential dereferencement of a null pointer -> returning null\n");
           l_res = effect_to_list(make_null_pointer_value_effect(copy_action(effect_action(eff))));
           if (cell_relation_may_p(pv_equiv))
             effects_to_may_effects(l_res);
           anywhere_p = true;
         }
         else
         {
           /* this is valid only if the first value_of corresponds
            * to eff_intermediary
            */
  
           /* This test is valid here because by construction either c1 or c2 is an equivalent
            * for eff_intermediary
            */
           if (same_entity_p(cell_entity(cell_intermediary), cell_entity(c1))
               && (gen_length(reference_indices(ref_intermediary)) == gen_length(cell_indices(c1))))
           {
             cell converted_c2 = cell_undefined;
             descriptor converted_d2 = descriptor_undefined;
             (*simple_cell_conversion_func)(c2, &converted_c2, &converted_d2);
  
             /* use second cell as equivalent value for intermediary path */
             if (cell_relation_second_value_of_p(pv_equiv))
             {
               (*cell_with_value_of_cell_translation_func)
                   (eff_cell, eff_desc,
                       converted_c2, converted_d2,
                       nb_common_indices,
                       &c, &d, &exact_translation_p);
             }
             else /* cell_relation_second_address_of_p is true */
             {
               (*cell_with_address_of_cell_translation_func)
                   (eff_cell, eff_desc,
                       converted_c2, converted_d2,
                       nb_common_indices,
                       &c, &d, &exact_translation_p);
             }
             // we should maybe free converted stuff here
           }
           else /* use first cell as equivalent value for intermediary path  */
           {
             pips_assert("pv_equiv must be value_of here\n",
                 cell_relation_second_value_of_p(pv_equiv));
             cell converted_c1 = cell_undefined;
             descriptor converted_d1 = descriptor_undefined;
             (*simple_cell_conversion_func)(c1, &converted_c1, &converted_d1);
  
             (*cell_with_value_of_cell_translation_func)
                 (eff_cell, eff_desc,
                     converted_c1, converted_d1,
                     nb_common_indices,
                     &c, &d, &exact_translation_p);
  
             // we should maybe free converted stuff here
           }
           exact_translation_p = effect_exact_p(eff_intermediary) && exact_translation_p && cell_relation_exact_p(pv_equiv);
  
           effect eff_alias = make_effect(c,
               copy_action(effect_action(eff_intermediary)),
               exact_translation_p ?
                   make_approximation_exact()
                   : make_approximation_may(),
                     descriptor_undefined_p(d) ? make_descriptor_none() : d);
  
           pips_debug_effect(5, "resulting effect \n", eff_alias);
           // there we should perform a union...
           if (anywhere_effect_p(eff_alias))
           {
             gen_full_free_list(l_res);
             l_res = CONS(EFFECT, eff_alias, NIL);
             anywhere_p = true;
           }
           else
           {
             l_res = CONS(EFFECT, eff_alias, l_res);
           }
         }
       } /* FOREACH */
     }
  
     if (!anywhere_p)
     {
       pips_debug_effects(5, "l_res after first phase : \n", l_res);
  
       /* Then we must find  if there are address_of second cells
        * which are preceding paths of eff path
        * in which case they must be used to generate other aliased paths
        */
       list l_remnants_2 = NIL;
       FOREACH(CELL_RELATION, pv_remnant, l_remnants)
       {
         cell pv_remnant_second_cell =
             cell_relation_second_cell(pv_remnant);
         bool exact_preceding_test = true;
  
         pips_debug_pv(5, "considering pv: \n", pv_remnant);
  
         cell pv_remnant_converted_cell = cell_undefined;
         descriptor pv_remnant_converted_desc = descriptor_undefined;
  
         // this (maybe costly) translation should take place after the first 3 tests
         (*simple_cell_conversion_func)(pv_remnant_second_cell,
             &pv_remnant_converted_cell,
             &pv_remnant_converted_desc);
  
         if (cell_relation_second_address_of_p(pv_remnant)
             && same_entity_p(effect_entity(eff),
                 cell_entity(pv_remnant_second_cell))
                 && (gen_length(cell_indices(eff_cell))
                     >= gen_length(cell_indices(pv_remnant_second_cell)))
                     && (*cell_preceding_p_func)(pv_remnant_converted_cell, pv_remnant_converted_desc,
                         eff_cell, eff_desc,
                         transformer_undefined,
                         true,
                         &exact_preceding_test))
         {
           cell c;
           descriptor d = descriptor_undefined;
           bool exact_translation_p;
  
           pips_debug(5, "good candidate (%sexact)\n",exact_preceding_test? "":"non ");
           /* for the translation, add a dereferencing_dimension to pv_remnant_first_cell */
           reference new_ref = copy_reference
               (cell_reference(cell_relation_first_cell(pv_remnant)));
           int nb_common_indices = (int) gen_length(cell_indices(pv_remnant_second_cell));
           reference_indices(new_ref) = gen_nconc(reference_indices(new_ref),
               CONS(EXPRESSION,
                   int_to_expression(0),
                   NIL));
           cell new_cell = make_cell_reference(new_ref);
           cell new_converted_cell = cell_undefined;
           descriptor new_converted_desc = descriptor_undefined;
           (*simple_cell_conversion_func)(new_cell,
               &new_converted_cell,
               &new_converted_desc);
  
           (*cell_with_value_of_cell_translation_func)
               (eff_cell, eff_desc,
                   new_converted_cell, new_converted_desc,
                   nb_common_indices,
                   &c, &d, &exact_translation_p);
  
           exact_translation_p = exact_translation_p && cell_relation_exact_p(pv_remnant);
  
           effect eff_alias = make_effect(c,
               make_action_write_memory(),
               exact_translation_p && exact_preceding_test ?
                   make_approximation_exact()
                   : make_approximation_may(),
                     descriptor_undefined_p(d)? make_descriptor_none() : d);
           free_cell(new_cell);
           // we should also free new_converted_cell and new_converted_desc if they have actually been translated
           pips_debug_effect(5, "resulting effect \n", eff_alias);
           l_res = CONS(EFFECT, eff_alias, l_res);
  
         }
         else
         {
           l_remnants_2 = CONS(CELL_RELATION, pv_remnant, l_remnants_2);
         }
       } /* FOREACH */
  
       l_remnants = l_remnants_2;
     } /* if (!anywhere_p)*/
     if (!ENDP(l_remnants))
     {
       pips_debug(5, "recursing to find aliases to aliased effect...\n");
       pips_debug_effects(5, "l_res before recursing : \n", l_res);
       list l_recurs = NIL;
       FOREACH(EFFECT, eff_alias, l_res)
       {
         l_recurs = gen_nconc(l_recurs,
             generic_effect_find_aliases_with_simple_pointer_values(eff_alias,
                 l_remnants,
                 exact_p,
                 current_precondition,
                 cell_preceding_p_func,
                 cell_with_address_of_cell_translation_func,
                 cell_with_value_of_cell_translation_func,
                 cells_intersection_p_func,
                 cells_inclusion_p_func,
                 simple_cell_conversion_func ));
       }
       l_res = gen_nconc(l_recurs, l_res);
     }
   } /* else branche of if (anywhere_effect_p(eff))*/
  
   pips_debug_effects(5, "returning : \n", l_res);
   return l_res;
 }

References anywhere_effect_p(), cell_entity(), cell_indices(), cell_preceding_p_func, cell_reference, CELL_RELATION, cell_relation_exact_p, cell_relation_first_cell, cell_relation_may_p, cell_relation_second_address_of_p, cell_relation_second_cell, cell_relation_second_value_of_p, cell_relation_undefined, cell_relation_undefined_p, cell_undefined, CONS, copy_action(), copy_reference(), current_precondition, descriptor_undefined, descriptor_undefined_p, EFFECT, effect_action, effect_any_reference, effect_cell, effect_descriptor, effect_entity(), effect_exact_p, effect_intermediary_pointer_paths_effect(), effect_to_list(), effects_to_may_effects(), ENDP, EXPRESSION, FOREACH, free_cell(), gen_full_free_list(), gen_length(), gen_nconc(), generic_effect_find_aliases_with_simple_pointer_values(), generic_effect_find_equivalent_simple_pointer_values(), int, int_to_expression(), make_action_write_memory(), make_approximation_exact(), make_approximation_may(), make_cell_reference(), make_descriptor_none(), make_effect(), make_null_pointer_value_effect(), make_undefined_pointer_value_effect(), NIL, null_pointer_value_cell_p(), pips_assert, pips_debug, pips_debug_effect, pips_debug_effects, pips_debug_pv, pips_debug_pvs, reference_indices, same_entity_p(), transformer_undefined, and undefined_pointer_value_cell_p().

Referenced by convex_effect_find_aliased_paths_with_pointer_values(), effect_find_aliased_paths_with_pointer_values(), and generic_effect_find_aliases_with_simple_pointer_values().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ generic_effect_find_equivalent_simple_pointer_values()

list generic_effect_find_equivalent_simple_pointer_values	(	effect	eff,
		list	l_in,
		cell_relation *	exact_aliased_pv,
		list *	l_in_remnants,
		bool()(cell, descriptor, cell, descriptor, bool )	cells_intersection_p_func,
		bool()(cell, descriptor, cell, descriptor, bool )	cells_inclusion_p_func,
		void()(cell, cell , descriptor *)	simple_cell_conversion_func
	)

find pointer_values in l_in which give (possible or exact) paths equivalent to eff.

Parameters

eff	is the considered input path.
l_in	is the input pointer values list.
exact_aliased_pv	gives an exact equivalent path found in l_in if it exists.
l_in_remnants	contains the elemnts of l_in which are neither exact_aliased_pv nor in the returned list.

Returns: a list of elements of l_in which give (possible or exact) paths equivalent to eff, excluding exact_aliased_pv if one exact equivalent path can be found in l_in.

eff characteristics

first, search for the (exact/possible) values of eff cell in l_in

we search for the cell_relations where ref appears as a first cell, or the exact value_of pointer_values where ref appears as a second cell. If an exact value_of relation is found, it is retained in exact_aliased_pv

Parameters

eff	ff
l_in	_in
exact_aliased_pv	xact_aliased_pv
l_in_remnants	_in_remnants

Definition at line 506 of file eval.c.

 {
  
   pips_debug_pvs(1,"begin, l_in =", l_in);
   pips_debug_effect(1, "and eff:", eff);
  
   /* eff characteristics */
   cell eff_cell = effect_cell(eff);
   descriptor eff_desc = effect_descriptor(eff);
   /******/
  
   /* first, search for the (exact/possible) values of eff cell in l_in */
   /* we search for the cell_relations where ref appears
    * as a first cell, or the exact value_of pointer_values where ref appears as
    * a second cell. If an exact value_of relation is found, it is retained in
    * exact_aliased_pv
    */
   *l_in_remnants = NIL;
   *exact_aliased_pv = cell_relation_undefined;
   list l_res = NIL;
  
   FOREACH(CELL_RELATION, pv_in, l_in)
   {
     cell first_cell_in = cell_relation_first_cell(pv_in);
     cell converted_first_cell_in = cell_undefined;
     descriptor first_cell_in_desc = descriptor_undefined;
  
     cell second_cell_in = cell_relation_second_cell(pv_in);
     cell converted_second_cell_in = cell_undefined;
     descriptor second_cell_in_desc = descriptor_undefined;
  
     bool intersection_test_exact_p = false;
     bool inclusion_test_exact_p = true;
  
     pips_debug_pv(4, "considering:", pv_in);
  
     (*simple_cell_conversion_func)(first_cell_in, &converted_first_cell_in, &first_cell_in_desc);
     (*simple_cell_conversion_func)(second_cell_in, &converted_second_cell_in, &second_cell_in_desc);
  
     if ((*cells_intersection_p_func)(eff_cell, eff_desc,
         converted_first_cell_in, first_cell_in_desc,
         &intersection_test_exact_p))
     {
       pips_debug(4, "non empty intersection with first cell (%sexact)\n",
           intersection_test_exact_p? "": "non ");
       if (cell_relation_exact_p(pv_in)
           && intersection_test_exact_p
           && (*cells_inclusion_p_func)(eff_cell, eff_desc,
               converted_first_cell_in, first_cell_in_desc,
               &inclusion_test_exact_p)
               && inclusion_test_exact_p)
       {
         if (cell_relation_undefined_p(*exact_aliased_pv))
         {
           pips_debug(4, "exact value candidate found\n");
           *exact_aliased_pv = pv_in;
         }
         else if ((cell_relation_second_address_of_p(*exact_aliased_pv)
             && cell_relation_second_value_of_p(pv_in))
             || null_pointer_value_cell_p(cell_relation_second_cell(pv_in))
             || undefined_pointer_value_cell_p(cell_relation_second_cell(pv_in)))
         {
           pips_debug(4, "better exact value candidate found\n");
           l_res = CONS(CELL_RELATION, *exact_aliased_pv, l_res);
           *exact_aliased_pv = pv_in;
         }
         else
         {
           pips_debug(4, "not kept as exact candidate\n");
           l_res = CONS(CELL_RELATION, pv_in, l_res);
         }
       }
       else
       {
         pips_debug(5, "potentially non exact value candidate found\n");
         l_res = CONS(CELL_RELATION, pv_in, l_res);
       }
     }
     else if(cell_relation_second_value_of_p(pv_in)
         && (*cells_intersection_p_func)(eff_cell, eff_desc,
             converted_second_cell_in, second_cell_in_desc,
             &intersection_test_exact_p))
     {
       pips_debug(4, "non empty intersection with second value_of cell "
           "(%sexact)\n", intersection_test_exact_p? "": "non ");
       if(cell_relation_exact_p(pv_in)
           && intersection_test_exact_p
           && (*cells_inclusion_p_func)(eff_cell, eff_desc,
               second_cell_in, second_cell_in_desc,
               &inclusion_test_exact_p)
               && inclusion_test_exact_p)
       {
         if (cell_relation_undefined_p(*exact_aliased_pv))
         {
           pips_debug(4, "exact value candidate found\n");
           *exact_aliased_pv = pv_in;
         }
         else if (cell_relation_second_address_of_p(*exact_aliased_pv))
         {
           pips_debug(4, "better exact value candidate found\n");
           l_res = CONS(CELL_RELATION, *exact_aliased_pv, l_res);
           *exact_aliased_pv = pv_in;
         }
         else
         {
           pips_debug(4, "not kept as exact candidate\n");
           l_res = CONS(CELL_RELATION, pv_in, l_res);
         }
       }
       else
       {
         pips_debug(5, "potentially non exact value candidate found\n");
         l_res = CONS(CELL_RELATION, pv_in, l_res);
       }
     }
     else
     {
       pips_debug(4, "remnant\n");
       *l_in_remnants = CONS(CELL_RELATION, pv_in, *l_in_remnants);
     }
     // here we should free the converted cells and descriptors if necessary
   }
   pips_debug_pvs(3, "l_in_remnants:", *l_in_remnants);
   pips_debug_pvs(3, "l_res:", l_res);
   pips_debug_pv(3, "*exact_aliased_pv:", *exact_aliased_pv);
  
   return l_res;
 }

References CELL_RELATION, cell_relation_exact_p, cell_relation_first_cell, cell_relation_second_address_of_p, cell_relation_second_cell, cell_relation_second_value_of_p, cell_relation_undefined, cell_relation_undefined_p, cell_undefined, CONS, descriptor_undefined, effect_cell, effect_descriptor, FOREACH, NIL, null_pointer_value_cell_p(), pips_debug, pips_debug_effect, pips_debug_pv, pips_debug_pvs, and undefined_pointer_value_cell_p().

Referenced by effect_find_equivalent_pointer_values(), and generic_effect_find_aliases_with_simple_pointer_values().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ generic_effect_generate_all_accessible_paths_effects()

list generic_effect_generate_all_accessible_paths_effects	(	effect	,
		type	,
		tag
	)

◆ generic_effect_generate_all_accessible_paths_effects_with_level()

list generic_effect_generate_all_accessible_paths_effects_with_level	(	effect	,
		type	,
		tag	,
		bool	,
		int	,
		bool
	)

Referenced by external_call_to_post_pv(), module_initial_parameter_pv(), and multiple_pointer_assignment_to_post_pv().

Here is the caller graph for this function:

◆ generic_effects_backward_translation()

list generic_effects_backward_translation	(	entity	,
		list	,
		list	,
		transformer
	)

Referenced by step_translate_and_map().

Here is the caller graph for this function:

◆ generic_effects_forward_translation()

list generic_effects_forward_translation	(	entity	,
		list	,
		list	,
		transformer
	)

Referenced by live_out_paths_from_call_site_to_callee().

Here is the caller graph for this function:

◆ generic_effects_reset_all_methods()

void generic_effects_reset_all_methods ( void )

◆ generic_effects_store_update()

list generic_effects_store_update	(	list	,
		statement	,
		bool
	)

◆ generic_eval_cell_with_points_to()

list generic_eval_cell_with_points_to	(	cell	input_cell,
		descriptor	input_desc,
		list	ptl,
		bool *	exact_p,
		transformer	current_precondition,
		bool()(reference, descriptor, reference, descriptor, transformer, bool, bool )	cell_reference_preceding_p_func,
		void()(reference, descriptor, reference, descriptor, int, reference , descriptor , bool )	cell_reference_with_address_of_cell_reference_translation_func,
		void()(reference, reference , descriptor *)	cell_reference_conversion_func
	)

iterer sur le path p[0][1][2][0] et tester chaque fois si on peut dereferencer le pointeur

simple scalar case. I think this should not happen, because there is no dereferencing dimension.

first build a temporary list with matching points-to of maximum length

the current maximum length

else branche of if (input_path_length == 0)

If the results contain dereferencing dimensions, we must eval them recursively

if eff is a may effect, the resulting effects must be may effects

Parameters

input_cell	nput_cell
input_desc	nput_desc
ptl	tl
exact_p	xact_p
current_precondition	urrent_precondition

Definition at line 361 of file eval.c.

 {
   debug_on("EVAL_CELL_WITH_POINTS_TO_DEBUG_LEVEL");
   reference input_ref = cell_to_reference(input_cell);
  
   /* iterer sur le path p[0][1][2][0] et tester chaque fois si on peut
    * dereferencer le pointeur*/
   entity input_ent = reference_variable(input_ref);
   list input_indices = reference_indices(input_ref);
   size_t input_path_length = gen_length(input_indices);
   list l = NIL; // result of this function: a list of effects
  
   char * effect_reference_to_string(reference);
  
   pips_debug(8, "input reference  : %s\n", effect_reference_to_string(input_ref));
   ifdebug(8) print_points_to_relations(ptl);
  
   if (entity_abstract_location_p(input_ent)
       && !entity_heap_location_p(input_ent)) {
     type t = points_to_reference_to_concrete_type(input_ref);
     reference r = make_anywhere_reference(t);
     // cell c = make_cell_reference(r);
     // l = CONS(CELL, c, NIL);
     l = CONS(EFFECT, make_reference_simple_effect(r,
                                                   make_action_write_memory(),
                                                   make_approximation_may()),
              NIL);
     *exact_p = false;
   }
   else if (input_path_length == 0) {
     /* simple scalar case. I think this should not happen, because there is no dereferencing dimension. */
     l = NIL;
     *exact_p = true;
   }
   else {
     /* first build a temporary list with matching points-to of maximum length */
     size_t current_max_path_length = 0; /* the current maximum length */
     list matching_list = generic_reference_to_points_to_matching_list
       (input_ref, input_desc,
        &current_max_path_length,
        exact_p, current_precondition, ptl,
        cell_reference_conversion_func,
        cell_reference_preceding_p_func);
  
     ifdebug(8) {
       fprintf(stderr, "matching points-to list:\n");
       print_points_to_relations(matching_list);
       fprintf(stderr,"\ncurrent_max_path_length = %d\n", (int) current_max_path_length);
       fprintf(stderr, "*exact_p is %s\n", *exact_p? "true":"false");
     }
  
     if(ENDP(matching_list)) {
       semantics_user_warning
         ("NULL or undefined pointer dereferencing... or insufficient points-to information for reference \"%s\".\n",
          reference_to_string(input_ref));
       l = use_default_sink_cell(input_ref, input_desc,
        cell_reference_with_address_of_cell_reference_translation_func,
        cell_reference_conversion_func);
       *exact_p = false;
     }
     else {
       l = generic_transform_sink_cells_from_matching_list
       (matching_list,
        current_max_path_length,
        exact_p,
        input_ref,
        input_desc,
        cell_reference_with_address_of_cell_reference_translation_func,
        cell_reference_conversion_func);
     }
  
   } /* else branche of if (input_path_length == 0) */
  
   pips_debug_effects(8, "resulting effect list before recursing:", l);
  
   /* If the results contain dereferencing dimensions, we must eval them recursively */
   list l_tmp = l;
   l = NIL;
   FOREACH(EFFECT, eff, l_tmp)
     {
       bool r_exact_p;
       // reference ref = cell_any_reference(c);
       reference ref = effect_any_reference(eff);
       entity v = reference_variable(ref);
  
       if ((entity_heap_location_p(v) || !entity_abstract_location_p(v))
           && effect_reference_dereferencing_p(ref, &r_exact_p))
         {
           pips_debug(8, "recursing\n");
           list l_eval = generic_eval_cell_with_points_to(effect_cell(eff), effect_descriptor(eff), ptl, &r_exact_p,
                                                          current_precondition,
                                                          cell_reference_preceding_p_func,
                                                          cell_reference_with_address_of_cell_reference_translation_func,
                                                          cell_reference_conversion_func);
           *exact_p = *exact_p && r_exact_p;
           /* if eff is a may effect, the resulting effects must be may effects */
           if (effect_may_p(eff) || !(*exact_p))
             effects_to_may_effects(l_eval);
           l = gen_nconc(l_eval, l);
           free_effect(eff);
         }
       else
         {
           pips_debug(8, "no need to recurse\n");
           l = CONS(EFFECT, eff, l);
         }
     }
   l = gen_nreverse(l);
   gen_free_list(l_tmp);
  
   pips_debug_effects(8, "resulting cell list after recursing:", l);
  
   debug_off();
  
   return l;
 }

References cell_to_reference(), CONS, current_precondition, debug_off, debug_on, EFFECT, effect_any_reference, effect_cell, effect_descriptor, effect_may_p, effect_reference_dereferencing_p(), effect_reference_to_string(), effects_to_may_effects(), ENDP, entity_abstract_location_p(), entity_heap_location_p(), FOREACH, fprintf(), free_effect(), gen_free_list(), gen_length(), gen_nconc(), gen_nreverse(), generic_eval_cell_with_points_to(), generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), ifdebug, make_action_write_memory(), make_anywhere_reference(), make_approximation_may(), make_reference_simple_effect, NIL, pips_debug, pips_debug_effects, points_to_reference_to_concrete_type(), print_points_to_relations, ref, reference_indices, reference_to_string(), reference_variable, semantics_user_warning, and use_default_sink_cell().

Referenced by eval_convex_cell_with_points_to(), eval_simple_cell_with_points_to(), and generic_eval_cell_with_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ generic_fortran_effects_backward_translation()

list generic_fortran_effects_backward_translation	(	entity	,
		list	,
		list	,
		transformer
	)

interprocedural.c

◆ generic_intermediary_proper_effects_of_reference()

list generic_intermediary_proper_effects_of_reference ( reference )

◆ generic_p_proper_effect_of_reference()

list generic_p_proper_effect_of_reference	(	reference	,
		effect *	,
		bool	,
		bool
	)

◆ generic_print_effects()

void generic_print_effects ( list )

◆ generic_proper_effects_of_address_expression()

list generic_proper_effects_of_address_expression	(	expression	,
		int
	)

◆ generic_proper_effects_of_any_lhs()

list generic_proper_effects_of_any_lhs ( expression )

◆ generic_proper_effects_of_application()

list generic_proper_effects_of_application ( application )

◆ generic_proper_effects_of_c_function_call_argument()

list generic_proper_effects_of_c_function_call_argument ( expression )

◆ generic_proper_effects_of_complex_address_address_of_dereferencing_op()

list generic_proper_effects_of_complex_address_address_of_dereferencing_op	(	expression	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_assign_dereferencing_op()

list generic_proper_effects_of_complex_address_assign_dereferencing_op	(	expression	,
		expression	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_assign_op()

list generic_proper_effects_of_complex_address_assign_op	(	list	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_cast_dereferencing_op()

list generic_proper_effects_of_complex_address_cast_dereferencing_op	(	cast	,
		expression	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_conditional_dereferencing_op()

list generic_proper_effects_of_complex_address_conditional_dereferencing_op	(	expression	,
		expression	,
		expression	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_dereferencing_cast_op()

list generic_proper_effects_of_complex_address_dereferencing_cast_op	(	list	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_address_expression()

list generic_proper_effects_of_complex_address_expression	(	expression	,
		list *	,
		int
	)

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), derived_formal_parameter_to_stub_points_to(), expression_to_post_pv(), and typedef_formal_parameter_to_stub_points_to().

Here is the caller graph for this function:

◆ generic_proper_effects_of_complex_address_update_op()

list generic_proper_effects_of_complex_address_update_op	(	list	,
		list *	,
		bool
	)

◆ generic_proper_effects_of_complex_memory_access_expression()

list generic_proper_effects_of_complex_memory_access_expression	(	expression	,
		list *	,
		list *	,
		int
	)

◆ generic_proper_effects_of_derived_reference()

list generic_proper_effects_of_derived_reference	(	reference	,
		bool
	)

◆ generic_proper_effects_of_expression()

list generic_proper_effects_of_expression ( expression )

Referenced by formal_regions_backward_translation().

Here is the caller graph for this function:

◆ generic_proper_effects_of_expressions()

list generic_proper_effects_of_expressions ( list )

◆ generic_proper_effects_of_intrinsic()

list generic_proper_effects_of_intrinsic	(	entity	,
		list
	)

intrinsics.c

◆ generic_proper_effects_of_range()

list generic_proper_effects_of_range ( range )

◆ generic_proper_effects_of_read_reference()

list generic_proper_effects_of_read_reference ( reference )

◆ generic_proper_effects_of_reference()

list generic_proper_effects_of_reference	(	reference	,
		bool
	)

◆ generic_proper_effects_of_subscript()

list generic_proper_effects_of_subscript ( subscript )

◆ generic_proper_effects_of_written_reference()

list generic_proper_effects_of_written_reference ( reference )

◆ generic_r_proper_effects_of_call()

list generic_r_proper_effects_of_call ( call )

◆ generic_reference_to_points_to_matching_list()

list generic_reference_to_points_to_matching_list	(	reference	input_ref,
		descriptor	input_desc,
		size_t *	p_current_max_path_length,
		bool *	exact_p,
		transformer	current_precondition,
		list	ptl,
		void()(reference, reference , descriptor *)	cell_reference_conversion_func,
		bool()(reference, descriptor, reference, descriptor, transformer, bool, bool )	cell_reference_preceding_p_func
	)

This function has been outlined from generic_eval_cell_with_points_to() to reduce the size of a function to about one page.

It computes a list of points-to arcs whose source is compatible with the input reference, "input_ref". It provides information about the number of common indices, "p_current_max_path_length" and about the approximation of the points-to informationx(?).

assume exactness

eligible points-to candidates must have a path length greater or equal to the current maximum length and their path must be a predecessor of the input_ref path.

if the candidate has a path length strictly greater than the current maximum length, the list of previously found matching candidates must be cleared

I keep the whole points_to and not only the sink because I will need the approximation to further test the exactness

FI: I try adding the stripping...

end of FOREACH

Parameters

input_ref	nput_ref
input_desc	nput_desc
p_current_max_path_length	_current_max_path_length
exact_p	xact_p
current_precondition	urrent_precondition
ptl	tl

Definition at line 223 of file eval.c.

 {
   list matching_list = NIL;
   *exact_p = true; /* assume exactness */
   // previous matching list I guess: the initial code looks wrong
   // since matching_ptl is itialized to NIL...
   // list matching_ptl = NIL;
  
   FOREACH(POINTS_TO, pt, ptl) {
     cell sink_cell = points_to_sink(pt);
     if(null_cell_p(sink_cell)  || nowhere_cell_p(sink_cell))
       ; // This points-to arc can be ignored since it would lead to a segfault
     else {
       cell source_cell = points_to_source(pt);
       reference source_ref = reference_undefined;
       reference tmp_ref = cell_to_reference(source_cell);
       descriptor source_desc = make_descriptor(is_descriptor_none,UU);
  
       (*cell_reference_conversion_func)(tmp_ref, &source_ref, &source_desc);
  
       pips_debug(8, "considering point-to  : %s\n ",
                  words_to_string(word_points_to(pt)));
  
       list source_indices = reference_indices(source_ref);
       size_t source_path_length = gen_length(source_indices);
       bool exact_prec = false;
  
       /* eligible points-to candidates must have a path length
          greater or equal to the current maximum length and
          their path must be a predecessor of the input_ref
          path.*/
       bool strict_p = get_bool_property("POINTS_TO_STRICT_POINTER_TYPES");
       if ( (source_path_length >= *p_current_max_path_length)
            && (*cell_reference_preceding_p_func)(source_ref, source_desc, input_ref,
                                                  input_desc, current_precondition, strict_p,
                                                  &exact_prec)) {
         pips_debug(8, "exact_prec is %s\n", exact_prec? "true":"false");
         if (source_path_length > *p_current_max_path_length ) {
           /* if the candidate has a path length strictly greater
            * than the current maximum length, the list of
            * previously found matching candidates must be cleared
            */
           //if(!ENDP(matching_ptl)) {
           //      gen_free_list(matching_ptl);
           //      matching_list = NIL;
           //}
           if(!ENDP(matching_list)) {
             gen_free_list(matching_list);
             matching_list = NIL;
           }
           *p_current_max_path_length = source_path_length;
           *exact_p = exact_prec;
         }
         else
           *exact_p = *exact_p && exact_prec;
         /* I keep the whole points_to and not only the sink because I
            will need the approximation to further test the exactness
         */
         /* FI: I try adding the stripping... */
         points_to npt = points_to_with_stripped_sink(pt, effects_statement_line_number);
         matching_list = CONS(POINTS_TO, npt, matching_list);
       }
       if(source_cell != points_to_source(pt)) free_cell(source_cell);
     }
   } /* end of FOREACH */
   return matching_list;
 }

References cell_to_reference(), CONS, current_precondition, effects_statement_line_number(), ENDP, FOREACH, free_cell(), gen_free_list(), gen_length(), get_bool_property(), is_descriptor_none, make_descriptor(), NIL, nowhere_cell_p(), null_cell_p(), pips_debug, POINTS_TO, points_to_sink, points_to_source, points_to_with_stripped_sink(), reference_indices, reference_undefined, UU, word_points_to(), and words_to_string().

Referenced by generic_eval_cell_with_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ get_any_effect_type_text()

text get_any_effect_type_text	(	const char *	,
		string	,
		string	,
		bool
	)

◆ get_constant_paths_p()

bool get_constant_paths_p ( void )

Referenced by set_methods_for_convex_effects().

Here is the caller graph for this function:

◆ get_cumulated_in_effects()

statement_effects get_cumulated_in_effects ( void )

◆ get_cumulated_references()

statement_effects get_cumulated_references ( void )

◆ get_cumulated_rw_effects()

statement_effects get_cumulated_rw_effects ( void )

Referenced by cumulated_effects_map_print().

Here is the caller graph for this function:

◆ get_descriptor_range_p()

bool get_descriptor_range_p ( void )

Referenced by convex_in_effect_loop_range_fix().

Here is the caller graph for this function:

◆ get_effects_private_current_context_stack()

stack get_effects_private_current_context_stack ( void )

◆ get_effects_private_current_stmt_stack()

stack get_effects_private_current_stmt_stack ( void )

◆ get_expr_prw_effects()

persistant_expression_to_effects get_expr_prw_effects ( void )

◆ get_in_effects()

statement_effects get_in_effects ( void )

◆ get_invariant_in_effects()

statement_effects get_invariant_in_effects ( void )

◆ get_invariant_rw_effects()

statement_effects get_invariant_rw_effects ( void )

◆ get_invariant_rw_pointer_effects()

statement_effects get_invariant_rw_pointer_effects ( void )

◆ get_live_in_paths()

statement_effects get_live_in_paths ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ get_live_out_paths()

statement_effects get_live_out_paths ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ get_live_out_regions()

statement_effects get_live_out_regions ( void )

Referenced by live_out_region_engine().

Here is the caller graph for this function:

◆ get_out_effects()

statement_effects get_out_effects ( void )

◆ get_out_summary_effects_list()

list get_out_summary_effects_list ( void )

◆ get_pointer_info_kind()

pointer_info_val get_pointer_info_kind ( void )

Referenced by set_methods_for_convex_effects().

Here is the caller graph for this function:

◆ get_proper_references()

statement_effects get_proper_references ( void )

◆ get_proper_rw_effects()

statement_effects get_proper_rw_effects ( void )

Referenced by delay_communications(), delay_load_communications(), delay_store_communications(), and partial_eval_statement().

Here is the caller graph for this function:

◆ get_proper_rw_pointer_effects()

statement_effects get_proper_rw_pointer_effects ( void )

◆ get_rw_effects()

statement_effects get_rw_effects ( void )

Referenced by update_common_references_in_regions().

Here is the caller graph for this function:

◆ get_rw_pointer_effects()

statement_effects get_rw_pointer_effects ( void )

◆ get_useful_variables_effects()

entity_effects get_useful_variables_effects ( void )

◆ in_effects_engine()

bool in_effects_engine	(	const char *	,
		effects_representation_val
	)

◆ in_effects_undefined_p()

bool in_effects_undefined_p ( void )

◆ init_cumulated_in_effects()

void init_cumulated_in_effects ( void )

◆ init_cumulated_references()

void init_cumulated_references ( void )

◆ init_cumulated_rw_effects()

void init_cumulated_rw_effects ( void )

◆ init_expr_prw_effects()

void init_expr_prw_effects ( void )

◆ init_in_effects()

void init_in_effects ( void )

◆ init_invariant_in_effects()

void init_invariant_in_effects ( void )

◆ init_invariant_rw_effects()

void init_invariant_rw_effects ( void )

◆ init_invariant_rw_pointer_effects()

void init_invariant_rw_pointer_effects ( void )

◆ init_live_in_paths()

void init_live_in_paths ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ init_live_out_paths()

void init_live_out_paths ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ init_live_out_regions()

void init_live_out_regions ( void )

Referenced by live_out_region_engine().

Here is the caller graph for this function:

◆ init_out_effects()

void init_out_effects ( void )

◆ init_proper_references()

void init_proper_references ( void )

◆ init_proper_rw_effects()

void init_proper_rw_effects ( void )

Referenced by drop_dummy_loops().

Here is the caller graph for this function:

◆ init_proper_rw_pointer_effects()

void init_proper_rw_pointer_effects ( void )

◆ init_rw_effects()

void init_rw_effects ( void )

◆ init_rw_pointer_effects()

void init_rw_pointer_effects ( void )

◆ init_useful_variables_effects()

void init_useful_variables_effects ( void )

◆ invariant_in_effects_undefined_p()

bool invariant_in_effects_undefined_p ( void )

◆ invariant_rw_effects_undefined_p()

bool invariant_rw_effects_undefined_p ( void )

◆ invariant_rw_pointer_effects_undefined_p()

bool invariant_rw_pointer_effects_undefined_p ( void )

◆ list_of_effects_generic_binary_op()

list list_of_effects_generic_binary_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list()(effect, effect, bool, bool, bool , bool , list()(effect, effect))	,
		list(*)(effect, effect)	,
		list(*)(effect)	,
		list(*)(effect)
	)

binary_operators.c

◆ list_of_effects_generic_cells_inf_difference_op()

list list_of_effects_generic_cells_inf_difference_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)
	)

Referenced by RegionsEntitiesInfDifference().

Here is the caller graph for this function:

◆ list_of_effects_generic_cells_intersection_op()

list list_of_effects_generic_cells_intersection_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)
	)

Referenced by RegionsEntitiesIntersection().

Here is the caller graph for this function:

◆ list_of_effects_generic_inf_difference_op()

list list_of_effects_generic_inf_difference_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)
	)

Referenced by EffectsInfDifference(), and RegionsInfDifference().

Here is the caller graph for this function:

◆ list_of_effects_generic_intersection_op()

list list_of_effects_generic_intersection_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)
	)

Referenced by RegionsIntersection().

Here is the caller graph for this function:

◆ list_of_effects_generic_sup_difference_op()

list list_of_effects_generic_sup_difference_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)
	)

Referenced by EffectsSupDifference(), and RegionsSupDifference().

Here is the caller graph for this function:

◆ list_of_effects_generic_union_op()

list list_of_effects_generic_union_op	(	list	,
		list	,
		bool(*)(effect, effect)	,
		list(*)(effect, effect)	,
		list(*)(effect)
	)

Referenced by EffectsMayUnion(), EffectsMustUnion(), ProperEffectsMustUnion(), RegionsMayUnion(), and RegionsMustUnion().

Here is the caller graph for this function:

◆ live_in_paths_undefined_p()

bool live_in_paths_undefined_p ( void )

◆ live_in_summary_paths_engine()

bool live_in_summary_paths_engine ( const char * module_name )

liveness_analysis_engine.c

Parameters

module_name odule_name

Definition at line 130 of file liveness_analysis_engine.c.

 {
   list l_glob = NIL, l_loc = NIL;
   statement module_stat;
  
   set_current_module_entity(module_name_to_entity(module_name));
   set_current_module_statement( (statement)
       db_get_memory_resource(DBR_CODE, module_name, true) );
   module_stat = get_current_module_statement();
  
   // functions that can be pointed by effects_computation_init_func:
   // effects_computation_no_init
   // init_convex_in_out_regions
   // init_convex_rw_regions
   (*effects_computation_init_func)(module_name);
  
   set_live_in_paths((*db_get_live_in_paths_func)(module_name));
  
   l_loc = load_live_in_paths_list(module_stat);
  
   // functions that can be pointed by effects_local_to_global_translation_op:
   // effects_dynamic_elim
   // regions_dynamic_elim
   l_glob = (*effects_local_to_global_translation_op)(l_loc);
  
   (*db_put_live_in_summary_paths_func)(module_name, l_glob);
  
   reset_current_module_entity();
   reset_current_module_statement();
   reset_live_in_paths();
  
   // functions that can be pointed by effects_computation_reset_func:
   // effects_computation_no_reset
   // reset_convex_in_out_regions
   // reset_convex_rw_regions
   (*effects_computation_reset_func)(module_name);
  
   return true;
 }

References db_get_live_in_paths_func, db_get_memory_resource(), get_current_module_statement(), load_live_in_paths_list(), module_name(), module_name_to_entity(), NIL, reset_current_module_entity(), reset_current_module_statement(), reset_live_in_paths(), set_current_module_entity(), set_current_module_statement(), and set_live_in_paths().

Here is the call graph for this function:

◆ live_out_paths_undefined_p()

bool live_out_paths_undefined_p ( void )

◆ live_out_region_engine()

bool live_out_region_engine	(	const char *	,
		effects_representation_val
	)

◆ live_out_regions_undefined_p()

bool live_out_regions_undefined_p ( void )

◆ live_out_summary_paths_engine()

bool live_out_summary_paths_engine ( const char * module_name )

Look for all call sites in the callers

Parameters

module_name odule_name

Definition at line 304 of file liveness_analysis_engine.c.

 {
   /* Look for all call sites in the callers */
   callees callers = (callees) db_get_memory_resource(DBR_CALLERS,
                                                      module_name,
                                                      true);
   entity callee = module_name_to_entity(module_name);
  
   set_current_module_entity(callee);
   make_effects_private_current_context_stack();
  
   ifdebug(1)
     {
       pips_debug(1, "begin for %s with %td callers\n",
                  module_name,
                  gen_length(callees_callees(callers)));
       FOREACH(STRING, caller_name, callees_callees(callers))
         {fprintf(stderr, "%s, ", caller_name);}
       fprintf(stderr, "\n");
     }
  
   live_out_summary_engine_context ctxt;
   set_live_out_summary_engine_context(&ctxt, callee);
   debug_on("LIVE_PATHS_DEBUG_LEVEL");
   FOREACH(STRING, caller_name, callees_callees(callers))
     {
       entity caller = module_name_to_entity(caller_name);
       live_out_paths_from_caller_to_callee(caller, callee, &ctxt);
     }
   debug_off();
   if (list_undefined_p(ctxt.l_current_paths))
     ctxt.l_current_paths = NIL;
   (*db_put_live_out_summary_paths_func)(module_name, ctxt.l_current_paths);
  
   ifdebug(1)
     {
       set_current_module_statement( (statement)
                                     db_get_memory_resource(DBR_CODE,
                                                            module_local_name(callee),
                                                            true) );
  
       pips_debug(1, "live out paths for module %s:\n", module_name);
       (*effects_prettyprint_func)(ctxt.l_current_paths);
       pips_debug(1, "end\n");
       reset_current_module_statement();
     }
  
   reset_live_out_summary_engine_context(&ctxt);
   reset_current_module_entity();
   free_effects_private_current_context_stack();
  
   return true;
 }

References callee, callees_callees, caller_name, db_get_memory_resource(), debug_off, debug_on, FOREACH, fprintf(), free_effects_private_current_context_stack(), gen_length(), ifdebug, live_out_summary_engine_context::l_current_paths, list_undefined_p, live_out_paths_from_caller_to_callee(), make_effects_private_current_context_stack(), module_local_name(), module_name(), module_name_to_entity(), NIL, pips_debug, reset_current_module_entity(), reset_current_module_statement(), reset_live_out_summary_engine_context(), set_current_module_entity(), set_current_module_statement(), set_live_out_summary_engine_context(), and STRING.

Here is the call graph for this function:

◆ live_paths_engine()

bool live_paths_engine	(	const char *	module_name,
		effects_representation_val	representation
	)

Get the code of the module.

Get the various effects and in_effects of the module.

Initialize the map for live_out and live_int paths

Get the live_out_summary_paths of the current module

And stores them as the live out paths of the module statement

Compute the live paths of the module.

Parameters

module_name	odule_name
representation	epresentation

Definition at line 1178 of file liveness_analysis_engine.c.

 {
   debug_on("LIVE_PATHS_DEBUG_LEVEL");
   pips_debug(1, "begin\n");
  
   set_current_module_entity(module_name_to_entity(module_name));
  
   /* Get the code of the module. */
   set_current_module_statement( (statement)
       db_get_memory_resource(DBR_CODE, module_name, true) );
   statement module_statement = get_current_module_statement();
  
  
   make_effects_private_current_context_stack();
   // functions that can be pointed by effects_computation_init_func:
   // effects_computation_no_init
   // init_convex_in_out_regions
   // init_convex_rw_regions
   (*effects_computation_init_func)(module_name);
  
   /* Get the various effects and in_effects of the module. */
  
   set_proper_rw_effects((*db_get_proper_rw_effects_func)(module_name));
   set_rw_effects((*db_get_rw_effects_func)(module_name));
   set_invariant_rw_effects((*db_get_invariant_rw_effects_func)(module_name));
  
   set_cumulated_in_effects((*db_get_cumulated_in_effects_func)(module_name));
   set_in_effects((*db_get_in_effects_func)(module_name));
   set_invariant_in_effects((*db_get_invariant_in_effects_func)(module_name));
  
  
   /* Initialize the map for live_out and live_int paths */
   init_live_in_paths();
   init_live_out_paths();
  
   /* Get the live_out_summary_paths of the current module */
   list l_sum_live_out = (*db_get_live_out_summary_paths_func)(module_name);
   /* And stores them as the live out paths of the module statement */
   store_live_out_paths_list(module_statement, effects_dup(l_sum_live_out));
  
   /* Compute the live paths of the module. */
   live_paths_analysis_context ctxt;
   init_live_paths_context(&ctxt, representation);
   live_paths_of_module_statement(module_statement, &ctxt);
   reset_live_paths_context(&ctxt);
  
   pips_debug(1, "end\n");
  
   (*db_put_live_out_paths_func)(module_name, get_live_out_paths());
   (*db_put_live_in_paths_func)(module_name, get_live_in_paths());
  
   reset_proper_rw_effects();
   reset_rw_effects();
   reset_invariant_rw_effects();
   reset_in_effects();
   reset_cumulated_in_effects();
   reset_invariant_in_effects();
   reset_live_in_paths();
   reset_live_out_paths();
   // functions that can be pointed by effects_computation_reset_func:
   // effects_computation_no_reset
   // reset_convex_in_out_regions
   // reset_convex_rw_regions
   (*effects_computation_reset_func)(module_name);
  
   free_effects_private_current_context_stack();
  
   reset_current_module_entity();
   reset_current_module_statement();
   pips_debug(1, "end\n");
  
   debug_off();
   return true;
 }

References db_get_cumulated_in_effects_func, db_get_in_effects_func, db_get_invariant_in_effects_func, db_get_invariant_rw_effects_func, db_get_memory_resource(), db_get_proper_rw_effects_func, db_get_rw_effects_func, debug_off, debug_on, effects_dup(), free_effects_private_current_context_stack(), get_current_module_statement(), get_live_in_paths(), get_live_out_paths(), init_live_in_paths(), init_live_out_paths(), init_live_paths_context(), live_paths_of_module_statement(), make_effects_private_current_context_stack(), module_name(), module_name_to_entity(), module_statement, pips_debug, reset_cumulated_in_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_in_effects(), reset_invariant_in_effects(), reset_invariant_rw_effects(), reset_live_in_paths(), reset_live_out_paths(), reset_live_paths_context(), reset_proper_rw_effects(), reset_rw_effects(), set_cumulated_in_effects(), set_current_module_entity(), set_current_module_statement(), set_in_effects(), set_invariant_in_effects(), set_invariant_rw_effects(), set_proper_rw_effects(), set_rw_effects(), and store_live_out_paths_list().

Here is the call graph for this function:

◆ load_cumulated_in_effects()

effects load_cumulated_in_effects ( statement )

◆ load_cumulated_in_effects_list()

list load_cumulated_in_effects_list ( statement )

◆ load_cumulated_references()

effects load_cumulated_references ( statement )

Referenced by loop_flt().

Here is the caller graph for this function:

◆ load_cumulated_rw_effects()

effects load_cumulated_rw_effects ( statement )

Referenced by do_simdizer_auto_tile_generate_all_tests(), do_solve_hardware_constraints_on_volume(), freia_some_effects_on_images(), set_add_scalars(), statement_depends_p(), and update_written_variables().

Here is the caller graph for this function:

◆ load_cumulated_rw_effects_list()

list load_cumulated_rw_effects_list ( statement )

Referenced by add_good_loop_conditions(), alias_check_array_and_scalar_variable_in_caller_flt(), alias_check_array_and_scalar_variable_in_module_flt(), alias_check_array_variable_in_caller_flt(), alias_check_array_variable_in_module_flt(), alias_check_scalar_variable_in_caller_flt(), alias_check_scalar_variable_in_module_flt(), any_complexities(), atomize_statement(), block_to_complexity(), check_loop_distribution_feasability(), code_has_write_eff_ref_p(), dmas_invert_p(), do_array_expansion(), do_check_isolate_statement_preconditions_on_call(), do_computation_intensity(), do_isolate_statement_preconditions_satisified_p(), do_solve_hardware_constraints_on_nb_proc(), do_solve_hardware_constraints_on_volume(), do_statement_insertion(), do_symbolic_tiling(), dynamic_alias_check_flt(), effects_to_dma(), entity_used_somewhere_walker(), generate_starpu_pragma(), guard_expanded_statement_if_needed(), load_module_intraprocedural_effects(), loop_variant_list(), moveable_to(), potential_out_effects_p(), remove_unread_variable(), semantic_to_text(), sesamify(), statement_to_complexity(), statement_to_transformer(), statement_to_transformer_list(), statement_with_side_effect_p(), try_reorder_expressions(), two_addresses_code_generator(), unstructured_to_effects(), update_sesam_tasks_buffers(), and whileloop_to_postcondition().

Here is the caller graph for this function:

◆ load_expr_prw_effects()

effects load_expr_prw_effects ( expression )

Referenced by expr_level_of(), and side_effects_p().

Here is the caller graph for this function:

◆ load_in_effects()

effects load_in_effects ( statement )

◆ load_in_effects_list()

list load_in_effects_list ( statement )

Referenced by compute_directive_regions(), current_entity_is_updated_before_p(), live_in_paths_of_statement(), live_out_paths_from_unstructured_to_nodes(), and step_print_directives_regions().

Here is the caller graph for this function:

◆ load_invariant_in_effects()

effects load_invariant_in_effects ( statement )

◆ load_invariant_in_effects_list()

list load_invariant_in_effects_list ( statement )

Referenced by live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), and live_out_paths_from_whileloop_to_body().

Here is the caller graph for this function:

◆ load_invariant_rw_effects()

effects load_invariant_rw_effects ( statement )

◆ load_invariant_rw_effects_list()

list load_invariant_rw_effects_list ( statement )

◆ load_invariant_rw_pointer_effects()

effects load_invariant_rw_pointer_effects ( statement )

◆ load_invariant_rw_pointer_effects_list()

list load_invariant_rw_pointer_effects_list ( statement )

◆ load_live_in_paths()

effects load_live_in_paths ( statement )

◆ load_live_in_paths_list()

list load_live_in_paths_list ( statement )

Referenced by filter_live_out_regions_statement(), live_in_paths_of_loop(), live_in_paths_of_whileloop(), live_in_summary_paths_engine(), and live_paths_from_block_to_statements().

Here is the caller graph for this function:

◆ load_live_out_paths()

effects load_live_out_paths ( statement )

◆ load_live_out_paths_list()

list load_live_out_paths_list ( statement )

Referenced by filter_live_out_regions_statement(), live_in_paths_of_statement(), live_in_paths_of_whileloop(), live_out_paths_from_call_site_to_callee(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_test_to_branches(), live_out_paths_from_unstructured_to_nodes(), live_out_paths_from_whileloop_to_body(), and live_paths_from_block_to_statements().

Here is the caller graph for this function:

◆ load_live_out_regions()

effects load_live_out_regions ( statement )

◆ load_live_out_regions_list()

list load_live_out_regions_list ( statement )

Referenced by copy_write_statement_with_cumulated_regions().

Here is the caller graph for this function:

◆ load_out_effects()

effects load_out_effects ( statement )

◆ load_out_effects_list()

list load_out_effects_list ( statement )

Referenced by compute_directive_regions(), current_entity_is_used_later_p(), and step_print_directives_regions().

Here is the caller graph for this function:

◆ load_proper_references()

effects load_proper_references ( statement )

Referenced by build_reduction_of_variable(), no_other_effects_on_references(), and safe_effects_for_reductions().

Here is the caller graph for this function:

◆ load_proper_rw_effects()

effects load_proper_rw_effects ( statement )

Referenced by add_values_for_simple_effects_of_statement(), do_statement_insertion(), and functionnal_on().

Here is the caller graph for this function:

◆ load_proper_rw_effects_list()

list load_proper_rw_effects_list ( statement )

Referenced by add_reference_information(), adg_dataflowgraph_with_extremities(), adg_get_read_entity_vertices(), adg_get_write_entity_vertices(), alias_check_array_and_scalar_variable_in_caller_flt(), alias_check_array_and_scalar_variable_in_module_flt(), alias_check_array_variable_in_caller_flt(), alias_check_array_variable_in_module_flt(), alias_check_scalar_variable_in_caller_flt(), alias_check_scalar_variable_in_module_flt(), conflict_is_a_real_conflict_p(), copy_from_call(), copy_from_test(), copy_to_call(), copy_to_test(), copy_write_statement(), cumul_and_update_effects_of_statement(), cumul_effects_of_statement(), dynamic_alias_check_flt(), flint_check_uninitialized_variables_in_statement(), get_written_entities(), graph_to_live_writes(), invalidate_expressions_in_statement(), invariant_vertex_to_invariant_entities(), live_in_paths_of_loop(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_whileloop_to_body(), load_statement_effects(), max_statement_write_flt(), min_statement_write_flt(), potential_out_effects_p(), read_reference_list(), simple_switch_old_to_new(), stat_has_write_eff_ref_p(), statement_depend_of_indices_p(), stmt_flt(), variable_is_written_by_statement_flt(), vertex_partially_invariant_p(), vertex_to_chains(), xml_Argument(), xml_Call(), and xml_Chain_Graph().

Here is the caller graph for this function:

◆ load_proper_rw_pointer_effects()

effects load_proper_rw_pointer_effects ( statement )

◆ load_proper_rw_pointer_effects_list()

list load_proper_rw_pointer_effects_list ( statement )

◆ load_rw_effects()

effects load_rw_effects ( statement )

◆ load_rw_effects_list()

list load_rw_effects_list ( statement )

Referenced by atomizer_of_loop(), build_reduction_of_variable(), compute_directive_regions(), do_group_statement_constant(), formal_array_resizing_bottom_up(), io_efficient_compile(), live_in_paths_of_statement(), live_out_paths_from_loop_to_body(), outliner_smart_references_computation(), and step_print_directives_regions().

Here is the caller graph for this function:

◆ load_rw_pointer_effects()

effects load_rw_pointer_effects ( statement )

◆ load_rw_pointer_effects_list()

list load_rw_pointer_effects_list ( statement )

◆ load_statement_cumulated_in_regions()

list load_statement_cumulated_in_regions ( statement )

◆ load_statement_in_regions()

list load_statement_in_regions ( statement )

Referenced by copy_to_call(), hierarchical_com(), internal_compute_distribution_context(), load_statement_effects(), transfer_cost(), transfer_regions(), used_before_set(), and verify_used_before_set_statement_flt().

Here is the caller graph for this function:

◆ load_statement_inv_in_regions()

list load_statement_inv_in_regions ( statement )

◆ load_statement_inv_regions()

list load_statement_inv_regions ( statement )

◆ load_statement_local_regions()

list load_statement_local_regions ( statement )

Referenced by edge_cost(), edge_cost_polynome(), entity_to_region(), internal_compute_distribution_context(), make_rectangular_area(), subarray_shift_p(), test_dependence_using_regions(), top_down_abc_flt(), used_data(), write_on_entity_p(), xml_Call(), xml_Chain_Graph(), xml_data(), xml_Loops(), and xml_Task().

Here is the caller graph for this function:

◆ load_statement_out_regions()

list load_statement_out_regions ( statement )

Referenced by copy_from_call(), copy_to_call(), filter_live_out_regions_statement(), hierarchical_com(), internal_compute_distribution_context(), load_statement_effects(), out_regions_from_call_site_to_callee(), transfer_cost(), and transfer_regions().

Here is the caller graph for this function:

◆ load_statement_proper_regions()

list load_statement_proper_regions ( statement )

◆ load_undefined_context()

transformer load_undefined_context ( statement )

◆ load_undefined_transformer()

transformer load_undefined_transformer ( statement )

◆ load_useful_variables_effects()

effects load_useful_variables_effects ( entity )

◆ loop_undefined_descriptor_make()

descriptor loop_undefined_descriptor_make ( loop )

Referenced by live_in_paths_of_loop().

Here is the caller graph for this function:

◆ make_anywhere_effect()

effect make_anywhere_effect ( action )

Referenced by 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(), external_call_to_post_pv(), forloop_to_post_pv(), loop_to_post_pv(), multiple_pointer_assignment_to_post_pv(), region_sup_difference(), safe_intrinsic_to_post_pv(), simple_effect_to_constant_path_effects_with_pointer_values(), single_pointer_assignment_to_post_pv(), and whileloop_to_post_pv().

Here is the caller graph for this function:

◆ make_anywhere_read_memory_effect()

effect make_anywhere_read_memory_effect ( void )

◆ make_anywhere_read_write_memory_effects()

list make_anywhere_read_write_memory_effects ( void )

◆ make_anywhere_write_memory_effect()

effect make_anywhere_write_memory_effect ( void )

◆ make_declaration_effect()

effect make_declaration_effect	(	entity	,
		bool
	)

◆ make_effects_for_array_declarations()

list make_effects_for_array_declarations ( list )

◆ make_effects_private_current_context_stack()

void make_effects_private_current_context_stack ( void )

Referenced by generic_points_to_analysis(), live_out_summary_paths_engine(), live_paths_engine(), and step_translate_and_map().

Here is the caller graph for this function:

◆ make_effects_private_current_stmt_stack()

void make_effects_private_current_stmt_stack ( void )

utils.c

◆ make_generic_anywhere_effect()

effect make_generic_anywhere_effect	(	action	,
		reference
	)

◆ make_null_pointer_value_effect()

effect make_null_pointer_value_effect ( action )

Referenced by generic_effect_find_aliases_with_simple_pointer_values().

Here is the caller graph for this function:

◆ make_some_anywhere_effect()

effect make_some_anywhere_effect	(	action	,
		entity
	)

◆ make_typed_anywhere_effect()

effect make_typed_anywhere_effect	(	action	,
		type
	)

◆ make_undefined_pointer_value_effect()

effect make_undefined_pointer_value_effect ( action )

Referenced by generic_effect_find_aliases_with_simple_pointer_values().

Here is the caller graph for this function:

◆ new_generic_proper_effects_of_complex_address_conditional_op()

list new_generic_proper_effects_of_complex_address_conditional_op	(	list	,
		list *	,
		bool
	)

◆ normalizable_and_linear_loop_p()

bool normalizable_and_linear_loop_p	(	entity	,
		range
	)

Referenced by convex_in_effect_loop_range_fix(), live_in_paths_of_loop(), and normalizable_loop_p_retrieved().

Here is the caller graph for this function:

◆ null_pointer_value_effect_p()

bool null_pointer_value_effect_p ( effect )

Referenced by single_pointer_assignment_to_post_pv().

Here is the caller graph for this function:

◆ old_generic_proper_effects_of_complex_address_conditional_op()

list old_generic_proper_effects_of_complex_address_conditional_op	(	list	,
		list *	,
		bool
	)

◆ out_effects_engine()

bool out_effects_engine	(	const char *	,
		effects_representation_val
	)

◆ out_effects_undefined_p()

bool out_effects_undefined_p ( void )

◆ pointer_effects_to_constant_path_effects()

list pointer_effects_to_constant_path_effects ( list )

◆ print_source_or_code_effects_engine()

bool print_source_or_code_effects_engine	(	const char *	,
		string	,
		bool
	)

◆ print_source_or_code_with_any_effects_engine()

bool print_source_or_code_with_any_effects_engine	(	const char *	,
		string	,
		string	,
		string	,
		bool
	)

◆ proper_effects_combine()

list proper_effects_combine	(	list	,
		bool
	)

◆ proper_effects_contract()

list proper_effects_contract ( list )

◆ proper_effects_engine()

bool proper_effects_engine ( const char * )

◆ proper_effects_error_handler()

void proper_effects_error_handler ( void )

Referenced by reset_static_phase_variables().

Here is the caller graph for this function:

◆ proper_effects_of_module_statement()

void proper_effects_of_module_statement ( statement )

Referenced by drop_dummy_loops().

Here is the caller graph for this function:

◆ proper_references_undefined_p()

bool proper_references_undefined_p ( void )

mappings.c

◆ proper_rw_effects_undefined_p()

bool proper_rw_effects_undefined_p ( void )

Referenced by init_use_proper_effects().

Here is the caller graph for this function:

◆ proper_rw_pointer_effects_undefined_p()

bool proper_rw_pointer_effects_undefined_p ( void )

◆ proper_to_summary_effects()

list proper_to_summary_effects ( list )

Referenced by live_in_paths_of_loop(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), and live_out_paths_from_whileloop_to_body().

Here is the caller graph for this function:

◆ r_effect_pointer_type_p()

bool r_effect_pointer_type_p	(	effect	,
		list	,
		type
	)

◆ r_r_combinable_p()

bool r_r_combinable_p	(	effect	,
		effect
	)

◆ r_w_combinable_p()

bool r_w_combinable_p	(	effect	,
		effect
	)

Referenced by allocate_task_to_cluster(), compute_recv_regions(), convex_in_effect_loop_range_fix(), live_in_paths_of_statement(), live_in_paths_of_whileloop(), live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_whileloop_to_body(), move_task_to_cluster(), test_dependence_using_regions(), and used_data().

Here is the caller graph for this function:

◆ recursive_type_to_effects()

list recursive_type_to_effects	(	type	,
		set
	)

◆ region_weakly_consistent_p()

bool region_weakly_consistent_p ( effect )

◆ regions_weakly_consistent_p()

bool regions_weakly_consistent_p ( list )

◆ reset_action_interpretation()

void reset_action_interpretation ( void )

Referenced by add_pair_to_existing_list(), aliases_text(), compare_heads_rest_lists(), compare_matched_alias_pairs(), compare_other_list(), compare_rest_lists(), compare_rest_other_lists(), compare_unmatched_alias_pairs(), make_class_from_list(), match_this_callee_class_elem(), reset_convex_prettyprint(), restrict_to_phi_constraints(), same_reg(), same_reg_ignore_action(), and unite_lists_with_same_head().

Here is the caller graph for this function:

◆ reset_cumulated_in_effects()

void reset_cumulated_in_effects ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ reset_cumulated_references()

void reset_cumulated_references ( void )

Referenced by reset_resources_for_module().

Here is the caller graph for this function:

◆ reset_cumulated_rw_effects()

void reset_cumulated_rw_effects ( void )

Referenced by add_alias_pairs_for_this_caller(), alias_check(), alias_classes(), alias_lists(), alias_pairs(), aliases_text(), any_complexities(), array_expansion(), atomizer(), bdsc_code_instrumentation(), call_site_to_module_precondition_text(), clean_declarations(), comp_regions(), computation_intensity(), continuation_conditions(), copy_value_of_write(), copy_value_of_write_with_cumulated_regions(), delay_communications(), delay_load_communications(), delay_store_communications(), do_inlining(), do_kernelize(), dsc_code_parallelization(), forward_substitute(), freia_compiler(), generate_starpu_pragma(), generate_two_addresses_code(), generic_module_name_to_transformers(), generic_print_xml_application(), get_any_comp_regions_text(), get_continuation_condition_text(), get_semantic_text(), gpu_ify(), gpu_memory(), hbdsc_parallelization(), initial_precondition(), isolate_statement(), kernel_data_mapping(), kernel_load_store_engine(), loop_expansion(), module_name_to_preconditions(), module_name_to_total_preconditions(), new_atomizer(), normalize_microcode(), old__gpu_ify(), out_regions_from_caller_to_callee(), outline(), partial_eval(), perform_icm_association(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), phrase_remove_dependences(), pragma_outliner(), print_initial_precondition(), print_program_precondition(), program_precondition(), redundant_load_store_elimination(), reset_convex_in_out_regions(), reset_convex_rw_regions(), reset_convex_summary_in_out_regions(), reset_convex_summary_rw_regions(), rice_dependence_graph(), run_inlining(), safescale_distributor(), safescale_module_analysis(), scalopify(), scalopragma(), sequence_dependence_graph(), sesam_buffers_processing(), sesamify(), simdizer_auto_tile(), solve_hardware_constraints(), spire_distributed_unstructured_to_structured(), statement_insertion(), step_compile_analysed_module(), summary_precondition(), summary_total_postcondition(), symbolic_tiling(), taskify(), and update_precondition_with_call_site_preconditions().

◆ reset_effects_private_current_context_stack()

void reset_effects_private_current_context_stack ( void )

Referenced by generic_points_to_analysis().

Here is the caller graph for this function:

◆ reset_effects_private_current_stmt_stack()

void reset_effects_private_current_stmt_stack ( void )

◆ reset_expr_prw_effects()

void reset_expr_prw_effects ( void )

◆ reset_generic_prettyprints()

void reset_generic_prettyprints ( void )

◆ reset_in_effects()

void reset_in_effects ( void )

Referenced by dsc_code_parallelization(), hbdsc_parallelization(), ikernel_load_store(), kernel_data_mapping(), live_paths_engine(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), reset_effects(), reset_resources_for_module(), safescale_distributor(), safescale_module_analysis(), sequence_dependence_graph(), spire_distributed_unstructured_to_structured(), step_analyse(), and used_before_set().

Here is the caller graph for this function:

◆ reset_invariant_in_effects()

void reset_invariant_in_effects ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ reset_invariant_rw_effects()

void reset_invariant_rw_effects ( void )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ reset_invariant_rw_pointer_effects()

void reset_invariant_rw_pointer_effects ( void )

◆ reset_live_in_paths()

void reset_live_in_paths ( void )

Referenced by live_in_summary_paths_engine(), live_out_region_engine(), and live_paths_engine().

Here is the caller graph for this function:

◆ reset_live_out_paths()

void reset_live_out_paths ( void )

Referenced by live_out_paths_from_caller_to_callee(), live_out_region_engine(), and live_paths_engine().

Here is the caller graph for this function:

◆ reset_live_out_regions()

void reset_live_out_regions ( void )

Referenced by copy_value_of_write_with_cumulated_regions(), and live_out_region_engine().

Here is the caller graph for this function:

◆ reset_out_effects()

void reset_out_effects ( void )

Referenced by dsc_code_parallelization(), hbdsc_parallelization(), ikernel_load_store(), kernel_data_mapping(), live_out_region_engine(), out_regions_from_caller_to_callee(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), reset_effects(), reset_resources_for_module(), safescale_distributor(), safescale_module_analysis(), sequence_dependence_graph(), spire_distributed_unstructured_to_structured(), and step_analyse().

Here is the caller graph for this function:

◆ reset_out_summary_effects_list()

void reset_out_summary_effects_list ( void )

out_effects_engine.c

Referenced by regions_to_loops().

Here is the caller graph for this function:

◆ reset_proper_references()

void reset_proper_references ( void )

Referenced by cumulated_reductions(), and proper_reductions().

Here is the caller graph for this function:

◆ reset_proper_rw_effects()

void reset_proper_rw_effects ( void )

Referenced by add_alias_pairs_for_this_caller(), alias_check(), alias_classes(), alias_lists(), alias_pairs(), aliases_text(), any_complexities(), array_bound_check_top_down(), array_dfg(), bdsc_code_instrumentation(), comp_regions(), continuation_conditions(), copy_value_of_write(), copy_value_of_write_with_cumulated_regions(), deatomizer(), delay_communications(), delay_load_communications(), delay_store_communications(), drop_dummy_loops(), dsc_code_parallelization(), filter_proper_effects(), flinter(), forward_substitute(), freia_compiler(), generate_starpu_pragma(), generic_module_name_to_transformers(), generic_print_xml_application(), get_any_comp_regions_text(), get_semantic_text(), hbdsc_parallelization(), hpfc_directives_handler(), icm_codegen(), if_conversion_compact(), ikernel_load_store(), init_convex_in_out_regions(), init_convex_rw_regions(), init_convex_summary_in_out_regions(), init_convex_summary_rw_regions(), initial_precondition(), isolate_statement(), kernel_data_mapping(), kernel_load_store_engine(), live_paths_engine(), module_name_to_preconditions(), module_name_to_total_preconditions(), out_regions_from_caller_to_callee(), partial_eval(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), pragma_outliner(), program_precondition(), redundant_load_store_elimination(), reset_effects(), safescale_distributor(), safescale_module_analysis(), scalar_renaming(), sequence_dependence_graph(), simdizer(), solve_hardware_constraints(), spire_distributed_unstructured_to_structured(), statement_insertion(), summary_precondition(), summary_total_postcondition(), taskify(), and update_precondition_with_call_site_preconditions().

◆ reset_proper_rw_pointer_effects()

void reset_proper_rw_pointer_effects ( void )

◆ reset_rw_effects()

◆ reset_rw_pointer_effects()

void reset_rw_pointer_effects ( void )

◆ reset_useful_variables_effects()

void reset_useful_variables_effects ( void )

◆ rw_effects_engine()

bool rw_effects_engine ( const char * )

◆ rw_effects_of_module_statement()

void rw_effects_of_module_statement ( statement )

◆ rw_effects_undefined_p()

bool rw_effects_undefined_p ( void )

◆ rw_pointer_effects_undefined_p()

bool rw_pointer_effects_undefined_p ( void )

◆ safe_user_call_to_points_to_interprocedural_binding_set()

set safe_user_call_to_points_to_interprocedural_binding_set	(	entity	,
		list
	)

◆ set_a_generic_prettyprint()

void set_a_generic_prettyprint	(	string	,
		bool	,
		gen_chunk *	,
		generic_text_function	,
		generic_prettyprint_function	,
		generic_attachment_function
	)

◆ set_action_interpretation()

void set_action_interpretation	(	string	,
		string
	)

prettyprint.c

Referenced by add_pair_to_existing_list(), aliases_text(), compare_heads_rest_lists(), compare_matched_alias_pairs(), compare_other_list(), compare_rest_lists(), compare_rest_other_lists(), compare_unmatched_alias_pairs(), init_convex_inout_prettyprint(), init_convex_rw_prettyprint(), make_class_from_list(), match_this_callee_class_elem(), restrict_to_phi_constraints(), same_reg(), same_reg_ignore_action(), and unite_lists_with_same_head().

Here is the caller graph for this function:

◆ set_constant_paths_p()

void set_constant_paths_p ( bool )

◆ set_contracted_proper_effects()

void set_contracted_proper_effects ( bool )

end of effects-generic-local.h

cproto-generated files proper_effects_engine.c

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

Here is the caller graph for this function:

◆ set_contracted_rw_effects()

void set_contracted_rw_effects ( bool )

rw_effects_engine.c

◆ set_cumulated_in_effects()

void set_cumulated_in_effects ( statement_effects )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ set_cumulated_references()

void set_cumulated_references ( statement_effects )

Referenced by set_resources_for_module().

Here is the caller graph for this function:

◆ set_cumulated_rw_effects()

void set_cumulated_rw_effects ( statement_effects )

Referenced by add_alias_pairs_for_this_caller(), alias_check(), alias_classes(), alias_lists(), alias_pairs(), aliases_text(), any_complexities(), array_expansion(), atomizer(), bdsc_code_instrumentation(), call_site_to_module_precondition_text(), clean_declarations(), comp_regions(), computation_intensity(), continuation_conditions(), copy_value_of_write(), copy_value_of_write_with_cumulated_regions(), delay_communications(), delay_load_communications(), delay_store_communications(), do_inlining(), do_kernelize(), dsc_code_parallelization(), forward_substitute(), freia_compiler(), generate_starpu_pragma(), generate_two_addresses_code(), generic_module_name_to_transformers(), generic_print_xml_application(), get_any_comp_regions_text(), get_continuation_condition_text(), get_semantic_text(), gpu_ify(), gpu_memory(), hbdsc_parallelization(), init_convex_in_out_regions(), init_convex_rw_regions(), init_convex_summary_in_out_regions(), init_convex_summary_rw_regions(), initial_precondition(), isolate_statement(), kernel_data_mapping(), kernel_load_store_engine(), loop_expansion(), module_name_to_preconditions(), module_name_to_total_preconditions(), new_atomizer(), normalize_microcode(), old__gpu_ify(), out_regions_from_caller_to_callee(), outline(), partial_eval(), perform_icm_association(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), phrase_remove_dependences(), pragma_outliner(), print_initial_precondition(), print_program_precondition(), program_precondition(), redundant_load_store_elimination(), rice_dependence_graph(), run_inlining(), safescale_distributor(), safescale_module_analysis(), scalopify(), scalopragma(), sequence_dependence_graph(), sesam_buffers_processing(), sesamify(), simdizer_auto_tile(), solve_hardware_constraints(), spire_distributed_unstructured_to_structured(), statement_insertion(), step_compile_analysed_module(), summary_precondition(), summary_total_postcondition(), symbolic_tiling(), taskify(), and update_precondition_with_call_site_preconditions().

◆ set_descriptor_range_p()

void set_descriptor_range_p ( bool )

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

Here is the caller graph for this function:

◆ set_effects_private_current_context_stack()

void set_effects_private_current_context_stack ( stack )

◆ set_effects_private_current_stmt_stack()

void set_effects_private_current_stmt_stack ( stack )

◆ set_expr_prw_effects()

void set_expr_prw_effects ( persistant_expression_to_effects )

◆ set_in_effects()

void set_in_effects ( statement_effects )

Referenced by dsc_code_parallelization(), hbdsc_parallelization(), ikernel_load_store(), kernel_data_mapping(), live_paths_engine(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), safescale_distributor(), safescale_module_analysis(), sequence_dependence_graph(), set_effects(), set_resources_for_module(), spire_distributed_unstructured_to_structured(), step_analyse(), and used_before_set().

Here is the caller graph for this function:

◆ set_invariant_in_effects()

void set_invariant_in_effects ( statement_effects )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ set_invariant_rw_effects()

void set_invariant_rw_effects ( statement_effects )

Referenced by live_paths_engine().

Here is the caller graph for this function:

◆ set_invariant_rw_pointer_effects()

void set_invariant_rw_pointer_effects ( statement_effects )

◆ set_is_user_view_p()

void set_is_user_view_p ( bool )

◆ set_live_in_paths()

void set_live_in_paths ( statement_effects )

Referenced by live_in_summary_paths_engine(), and live_out_region_engine().

Here is the caller graph for this function:

◆ set_live_out_paths()

void set_live_out_paths ( statement_effects )

Referenced by live_out_paths_from_caller_to_callee(), and live_out_region_engine().

Here is the caller graph for this function:

◆ set_live_out_regions()

void set_live_out_regions ( statement_effects )

Referenced by copy_value_of_write_with_cumulated_regions().

Here is the caller graph for this function:

◆ set_out_effects()

void set_out_effects ( statement_effects )

Referenced by dsc_code_parallelization(), hbdsc_parallelization(), ikernel_load_store(), kernel_data_mapping(), live_out_region_engine(), out_regions_from_caller_to_callee(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), safescale_distributor(), safescale_module_analysis(), sequence_dependence_graph(), set_effects(), set_resources_for_module(), spire_distributed_unstructured_to_structured(), and step_analyse().

Here is the caller graph for this function:

◆ set_pointer_info_kind()

void set_pointer_info_kind ( pointer_info_val )

methods.c

◆ set_prettyprint_with_attachments()

void set_prettyprint_with_attachments ( bool )

◆ set_proper_references()

void set_proper_references ( statement_effects )

Referenced by cumulated_reductions(), and proper_reductions().

Here is the caller graph for this function:

◆ set_proper_rw_effects()

void set_proper_rw_effects ( statement_effects )

Referenced by add_alias_pairs_for_this_caller(), alias_check(), alias_classes(), alias_lists(), alias_pairs(), aliases_text(), any_complexities(), array_bound_check_top_down(), array_dfg(), array_expansion(), bdsc_code_instrumentation(), comp_regions(), continuation_conditions(), copy_value_of_write(), copy_value_of_write_with_cumulated_regions(), deatomizer(), delay_communications(), delay_load_communications(), delay_store_communications(), dsc_code_parallelization(), filter_proper_effects(), flinter(), forward_substitute(), freia_compiler(), generate_starpu_pragma(), generic_module_name_to_transformers(), generic_print_xml_application(), get_any_comp_regions_text(), get_semantic_text(), hbdsc_parallelization(), hpfc_directives_handler(), icm_codegen(), if_conversion_compact(), ikernel_load_store(), init_convex_in_out_regions(), init_convex_rw_regions(), init_convex_summary_in_out_regions(), init_convex_summary_rw_regions(), init_use_proper_effects(), initial_precondition(), isolate_statement(), kernel_data_mapping(), kernel_load_store_engine(), live_paths_engine(), module_name_to_preconditions(), module_name_to_total_preconditions(), out_regions_from_caller_to_callee(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), pragma_outliner(), program_precondition(), redundant_load_store_elimination(), safescale_distributor(), safescale_module_analysis(), scalar_renaming(), sequence_dependence_graph(), set_effects(), simdizer(), solve_hardware_constraints(), spire_distributed_unstructured_to_structured(), statement_insertion(), summary_precondition(), summary_total_postcondition(), taskify(), and update_precondition_with_call_site_preconditions().

◆ set_proper_rw_pointer_effects()

void set_proper_rw_pointer_effects ( statement_effects )

◆ set_rw_effects()

◆ set_rw_pointer_effects()

void set_rw_pointer_effects ( statement_effects )

◆ set_useful_variables_effects()

void set_useful_variables_effects ( entity_effects )

◆ simple_effect_reference_type()

type simple_effect_reference_type ( reference )

Referenced by c_convex_effects_on_actual_parameter_forward_translation().

Here is the caller graph for this function:

◆ some_integer_scalar_read_or_write_effects_p()

bool some_integer_scalar_read_or_write_effects_p ( cons * )

Referenced by integer_assign_to_transformer(), and integer_assign_to_transformer_list().

Here is the caller graph for this function:

◆ statement_has_a_formal_argument_write_effect_p()

bool statement_has_a_formal_argument_write_effect_p ( statement )

◆ statement_io_effect_p()

bool statement_io_effect_p ( statement )

◆ statement_modified_pointers_effects_list()

list statement_modified_pointers_effects_list ( statement )

◆ store_cumulated_in_effects()

void store_cumulated_in_effects	(	statement	,
		effects
	)

◆ store_cumulated_in_effects_list()

void store_cumulated_in_effects_list	(	statement	,
		list
	)

◆ store_cumulated_references()

void store_cumulated_references	(	statement	,
		effects
	)

◆ store_cumulated_rw_effects()

void store_cumulated_rw_effects	(	statement	,
		effects
	)

Referenced by do_simdizer_auto_tile_generate_all_tests().

Here is the caller graph for this function:

◆ store_cumulated_rw_effects_list()

void store_cumulated_rw_effects_list	(	statement	,
		list
	)

Referenced by freia_shuffle_move_forward(), and outliner_patch_parameters().

Here is the caller graph for this function:

◆ store_expr_prw_effects()

void store_expr_prw_effects	(	expression	,
		effects
	)

◆ store_in_effects()

void store_in_effects	(	statement	,
		effects
	)

◆ store_in_effects_list()

void store_in_effects_list	(	statement	,
		list
	)

◆ store_invariant_in_effects()

void store_invariant_in_effects	(	statement	,
		effects
	)

◆ store_invariant_in_effects_list()

void store_invariant_in_effects_list	(	statement	,
		list
	)

◆ store_invariant_rw_effects()

void store_invariant_rw_effects	(	statement	,
		effects
	)

◆ store_invariant_rw_effects_list()

void store_invariant_rw_effects_list	(	statement	,
		list
	)

◆ store_invariant_rw_pointer_effects()

void store_invariant_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_invariant_rw_pointer_effects_list()

void store_invariant_rw_pointer_effects_list	(	statement	,
		list
	)

◆ store_live_in_paths()

void store_live_in_paths	(	statement	,
		effects
	)

◆ store_live_in_paths_list()

void store_live_in_paths_list	(	statement	,
		list
	)

Referenced by live_in_paths_of_loop(), live_in_paths_of_statement(), live_in_paths_of_whileloop(), and live_paths_from_block_to_statements().

Here is the caller graph for this function:

◆ store_live_out_paths()

void store_live_out_paths	(	statement	,
		effects
	)

◆ store_live_out_paths_list()

void store_live_out_paths_list	(	statement	,
		list
	)

Referenced by live_out_paths_from_forloop_to_body(), live_out_paths_from_loop_to_body(), live_out_paths_from_test_to_branches(), live_out_paths_from_unstructured_to_nodes(), live_out_paths_from_whileloop_to_body(), live_paths_engine(), and live_paths_from_block_to_statements().

Here is the caller graph for this function:

◆ store_live_out_regions()

void store_live_out_regions	(	statement	,
		effects
	)

◆ store_live_out_regions_list()

void store_live_out_regions_list	(	statement	,
		list
	)

Referenced by filter_live_out_regions_statement().

Here is the caller graph for this function:

◆ store_or_update_cumulated_in_effects()

void store_or_update_cumulated_in_effects	(	statement	,
		effects
	)

◆ store_or_update_cumulated_references()

void store_or_update_cumulated_references	(	statement	,
		effects
	)

◆ store_or_update_cumulated_rw_effects()

void store_or_update_cumulated_rw_effects	(	statement	,
		effects
	)

◆ store_or_update_expr_prw_effects()

void store_or_update_expr_prw_effects	(	expression	,
		effects
	)

◆ store_or_update_in_effects()

void store_or_update_in_effects	(	statement	,
		effects
	)

◆ store_or_update_invariant_in_effects()

void store_or_update_invariant_in_effects	(	statement	,
		effects
	)

◆ store_or_update_invariant_rw_effects()

void store_or_update_invariant_rw_effects	(	statement	,
		effects
	)

◆ store_or_update_invariant_rw_pointer_effects()

void store_or_update_invariant_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_or_update_live_in_paths()

void store_or_update_live_in_paths	(	statement	,
		effects
	)

◆ store_or_update_live_out_paths()

void store_or_update_live_out_paths	(	statement	,
		effects
	)

◆ store_or_update_live_out_regions()

void store_or_update_live_out_regions	(	statement	,
		effects
	)

◆ store_or_update_out_effects()

void store_or_update_out_effects	(	statement	,
		effects
	)

◆ store_or_update_proper_references()

void store_or_update_proper_references	(	statement	,
		effects
	)

◆ store_or_update_proper_rw_effects()

void store_or_update_proper_rw_effects	(	statement	,
		effects
	)

◆ store_or_update_proper_rw_pointer_effects()

void store_or_update_proper_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_or_update_rw_effects()

void store_or_update_rw_effects	(	statement	,
		effects
	)

◆ store_or_update_rw_pointer_effects()

void store_or_update_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_or_update_useful_variables_effects()

void store_or_update_useful_variables_effects	(	entity	,
		effects
	)

◆ store_out_effects()

void store_out_effects	(	statement	,
		effects
	)

◆ store_out_effects_list()

void store_out_effects_list	(	statement	,
		list
	)

◆ store_proper_references()

void store_proper_references	(	statement	,
		effects
	)

◆ store_proper_rw_effects()

void store_proper_rw_effects	(	statement	,
		effects
	)

◆ store_proper_rw_effects_list()

void store_proper_rw_effects_list	(	statement	,
		list
	)

◆ store_proper_rw_pointer_effects()

void store_proper_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_proper_rw_pointer_effects_list()

void store_proper_rw_pointer_effects_list	(	statement	,
		list
	)

◆ store_rw_effects()

void store_rw_effects	(	statement	,
		effects
	)

◆ store_rw_effects_list()

void store_rw_effects_list	(	statement	,
		list
	)

◆ store_rw_pointer_effects()

void store_rw_pointer_effects	(	statement	,
		effects
	)

◆ store_rw_pointer_effects_list()

void store_rw_pointer_effects_list	(	statement	,
		list
	)

◆ store_statement_cumulated_in_regions()

void store_statement_cumulated_in_regions	(	statement	,
		list
	)

◆ store_statement_in_regions()

void store_statement_in_regions	(	statement	,
		list
	)

◆ store_statement_inv_in_regions()

void store_statement_inv_in_regions	(	statement	,
		list
	)

◆ store_statement_inv_regions()

void store_statement_inv_regions	(	statement	,
		list
	)

◆ store_statement_local_regions()

void store_statement_local_regions	(	statement	,
		list
	)

◆ store_statement_out_regions()

void store_statement_out_regions	(	statement	,
		list
	)

◆ store_statement_proper_regions()

void store_statement_proper_regions	(	statement	,
		list
	)

◆ store_useful_variables_effects()

void store_useful_variables_effects	(	entity	,
		effects
	)

◆ summary_effects_from_declaration()

list summary_effects_from_declaration ( const char * )

◆ summary_in_effects_engine()

bool summary_in_effects_engine ( const char * )

in_effects_engine.c

◆ summary_out_effects_engine()

bool summary_out_effects_engine ( const char * )

◆ summary_rw_effects_engine()

bool summary_rw_effects_engine ( const char * )

◆ transformer_remove_variable_and_dup()

transformer transformer_remove_variable_and_dup	(	transformer	,
		entity
	)

◆ type_to_effects()

list type_to_effects ( type )

◆ undefined_pointer_value_effect_p()

bool undefined_pointer_value_effect_p ( effect )

Referenced by single_pointer_assignment_to_post_pv().

Here is the caller graph for this function:

◆ update_cummulated_in_effects_list()

void update_cummulated_in_effects_list	(	statement	,
		list
	)

◆ update_cumulated_in_effects()

void update_cumulated_in_effects	(	statement	,
		effects
	)

◆ update_cumulated_references()

void update_cumulated_references	(	statement	,
		effects
	)

◆ update_cumulated_rw_effects()

void update_cumulated_rw_effects	(	statement	,
		effects
	)

◆ update_cumulated_rw_effects_list()

void update_cumulated_rw_effects_list	(	statement	,
		list
	)

Referenced by do_isolate_statement_preconditions_satisified_p().

Here is the caller graph for this function:

◆ update_expr_prw_effects()

void update_expr_prw_effects	(	expression	,
		effects
	)

◆ update_in_effects()

void update_in_effects	(	statement	,
		effects
	)

◆ update_in_effects_list()

void update_in_effects_list	(	statement	,
		list
	)

◆ update_invariant_in_effects()

void update_invariant_in_effects	(	statement	,
		effects
	)

◆ update_invariant_in_effects_list()

void update_invariant_in_effects_list	(	statement	,
		list
	)

◆ update_invariant_rw_effects()

void update_invariant_rw_effects	(	statement	,
		effects
	)

◆ update_invariant_rw_effects_list()

void update_invariant_rw_effects_list	(	statement	,
		list
	)

◆ update_invariant_rw_pointer_effects()

void update_invariant_rw_pointer_effects	(	statement	,
		effects
	)

◆ update_invariant_rw_pointer_effects_list()

void update_invariant_rw_pointer_effects_list	(	statement	,
		list
	)

◆ update_last_reference_subscript()

void update_last_reference_subscript	(	reference	,
		expression
	)

◆ update_live_in_paths()

void update_live_in_paths	(	statement	,
		effects
	)

◆ update_live_in_paths_list()

void update_live_in_paths_list	(	statement	,
		list
	)

◆ update_live_out_paths()

void update_live_out_paths	(	statement	,
		effects
	)

◆ update_live_out_paths_list()

void update_live_out_paths_list	(	statement	,
		list
	)

◆ update_live_out_regions()

void update_live_out_regions	(	statement	,
		effects
	)

◆ update_live_out_regions_list()

void update_live_out_regions_list	(	statement	,
		list
	)

◆ update_out_effects()

void update_out_effects	(	statement	,
		effects
	)

◆ update_out_effects_list()

void update_out_effects_list	(	statement	,
		list
	)

◆ update_out_summary_effects_list()

void update_out_summary_effects_list ( list )

◆ update_proper_references()

void update_proper_references	(	statement	,
		effects
	)

◆ update_proper_rw_effects()

void update_proper_rw_effects	(	statement	,
		effects
	)

◆ update_proper_rw_effects_list()

void update_proper_rw_effects_list	(	statement	,
		list
	)

◆ update_proper_rw_pointer_effects()

void update_proper_rw_pointer_effects	(	statement	,
		effects
	)

◆ update_proper_rw_pointer_effects_list()

void update_proper_rw_pointer_effects_list	(	statement	,
		list
	)

◆ update_rw_effects()

void update_rw_effects	(	statement	,
		effects
	)

◆ update_rw_effects_list()

void update_rw_effects_list	(	statement	,
		list
	)

◆ update_rw_pointer_effects()

void update_rw_pointer_effects	(	statement	,
		effects
	)

◆ update_rw_pointer_effects_list()

void update_rw_pointer_effects_list	(	statement	,
		list
	)

◆ update_statement_inv_in_regions()

void update_statement_inv_in_regions	(	statement	,
		list
	)

◆ update_statement_inv_regions()

void update_statement_inv_regions	(	statement	,
		list
	)

◆ update_statement_local_regions()

void update_statement_local_regions	(	statement	,
		list
	)

◆ update_useful_variables_effects()

void update_useful_variables_effects	(	entity	,
		effects
	)

◆ useful_variables_effects_undefined_p()

bool useful_variables_effects_undefined_p ( void )

◆ vect_debug_entity_name()

string vect_debug_entity_name ( entity )

◆ w_r_combinable_p()

bool w_r_combinable_p	(	effect	,
		effect
	)

Referenced by convex_in_effect_loop_range_fix(), edge_cost(), edge_cost_polynome(), internal_compute_distribution_context(), test_dependence_using_regions(), and transfer_regions().

Here is the caller graph for this function:

◆ w_w_combinable_p()

bool w_w_combinable_p	(	effect	,
		effect
	)

Referenced by compute_send_regions(), internal_compute_distribution_context(), MCW(), and test_dependence_using_regions().

Here is the caller graph for this function:

Variable Documentation

◆ attach_effects_decoration_to_text_func

void(* attach_effects_decoration_to_text_func) (text) ( text )

extern

◆ c_effects_on_actual_parameter_forward_translation_func

list(* c_effects_on_actual_parameter_forward_translation_func) (entity, expression, entity, list, transformer)	(	entity	,
		expression	,
		entity	,
		list	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ c_effects_on_formal_parameter_backward_translation_func

list(* c_effects_on_formal_parameter_backward_translation_func) (list, expression, transformer)	(	list	,
		expression	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ cell_preceding_p_func

bool(* cell_preceding_p_func) (cell, descriptor, cell, descriptor, bool, bool *)	(	cell	,
		descriptor	,
		cell	,
		descriptor	,
		bool	,
		bool *
	)

extern

Referenced by generic_effect_find_aliases_with_simple_pointer_values().

◆ db_get_cumulated_in_effects_func

statement_effects(* db_get_cumulated_in_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_in_effects_func

statement_effects(* db_get_in_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_invariant_in_effects_func

statement_effects(* db_get_invariant_in_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_invariant_rw_effects_func

statement_effects(* db_get_invariant_rw_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_live_in_paths_func

statement_effects(* db_get_live_in_paths_func) (const char *) ( const char * )

extern

Referenced by live_in_summary_paths_engine().

◆ db_get_live_in_summary_paths_func

list(* db_get_live_in_summary_paths_func) (const char *) ( const char * )

extern

◆ db_get_live_out_paths_func

statement_effects(* db_get_live_out_paths_func) (const char *) ( const char * )

extern

Referenced by live_out_paths_from_caller_to_callee().

◆ db_get_live_out_summary_paths_func

list(* db_get_live_out_summary_paths_func) (const char *) ( const char * )

extern

◆ db_get_out_effects_func

statement_effects(* db_get_out_effects_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_proper_rw_effects_func

statement_effects(* db_get_proper_rw_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_rw_effects_func

statement_effects(* db_get_rw_effects_func) (const char *) ( const char * )

extern

Referenced by live_paths_engine(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_summary_in_effects_func

list(* db_get_summary_in_effects_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_summary_out_effects_func

list(* db_get_summary_out_effects_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_summary_rw_effects_func

list(* db_get_summary_rw_effects_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_get_useful_variables_effects_func

entity_effects(* db_get_useful_variables_effects_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_cumulated_in_effects_func

void(* db_put_cumulated_in_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_in_effects_func

void(* db_put_in_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_invariant_in_effects_func

void(* db_put_invariant_in_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_invariant_rw_effects_func

void(* db_put_invariant_rw_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_live_in_paths_func

void(* db_put_live_in_paths_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

◆ db_put_live_in_summary_paths_func

void(* db_put_live_in_summary_paths_func) (const char *, list)	(	const char *	,
		list
	)

extern

◆ db_put_live_out_paths_func

void(* db_put_live_out_paths_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

◆ db_put_live_out_summary_paths_func

void(* db_put_live_out_summary_paths_func) (const char *, list)	(	const char *	,
		list
	)

extern

◆ db_put_out_effects_func

void(* db_put_out_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_proper_rw_effects_func

void(* db_put_proper_rw_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_rw_effects_func

void(* db_put_rw_effects_func) (const char *, statement_effects)	(	const char *	,
		statement_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_summary_in_effects_func

void(* db_put_summary_in_effects_func) (const char *, list)	(	const char *	,
		list
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_summary_out_effects_func

void(* db_put_summary_out_effects_func) (const char *, list)	(	const char *	,
		list
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_summary_rw_effects_func

void(* db_put_summary_rw_effects_func) (const char *, list)	(	const char *	,
		list
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ db_put_useful_variables_effects_func

void(* db_put_useful_variables_effects_func) (const char *, entity_effects)	(	const char *	,
		entity_effects
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_add_expression_dimension_func

void(* effect_add_expression_dimension_func) (effect eff, expression exp)	(	effect	eff,
		expression	exp
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_change_ith_dimension_expression_func

void(* effect_change_ith_dimension_expression_func) (effect eff, expression exp, int i)	(	effect	eff,
		expression	exp,
		int	i
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_consistent_p_func

bool(* effect_consistent_p_func) (effect) ( effect )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_descriptor_interprocedural_translation_op

void(* effect_descriptor_interprocedural_translation_op) (effect) ( effect )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_dup_func

effect(* effect_dup_func) (effect eff) ( effect eff )

extern

Referenced by add_values_for_simple_effects_of_statement(), convex_effect_to_constant_path_effects_with_pointer_values(), effect_sup_difference(), filter_live_out_regions_statement(), set_generic_effects_as_needed(), set_methods_for_convex_effects(), set_methods_for_convex_rw_pointer_effects(), and simple_effect_to_constant_path_effects_with_pointer_values().

◆ effect_free_func

void(* effect_free_func) (effect eff) ( effect eff )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_prettyprint_func

void(* effect_prettyprint_func) (effect) ( effect )

extern

Referenced by init_convex_inout_prettyprint(), init_convex_rw_prettyprint(), and reset_convex_prettyprint().

◆ effect_to_constant_path_effects_func

list(* effect_to_constant_path_effects_func) (effect) ( effect )

extern

Referenced by set_methods_for_convex_effects().

◆ effect_to_store_independent_effect_list_func

list(* effect_to_store_independent_effect_list_func) (effect, bool)	(	effect	,
		bool
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effect_union_op

effect(* effect_union_op) (effect, effect)	(	effect	,
		effect
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_computation_init_func

void(* effects_computation_init_func) (const char *) ( const char * )

extern

Referenced by in_out_methods_p(), set_methods_for_convex_in_out_effects(), set_methods_for_convex_rw_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_computation_reset_func

void(* effects_computation_reset_func) (const char *) ( const char * )

extern

Referenced by set_methods_for_convex_in_out_effects(), set_methods_for_convex_rw_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_descriptor_normalize_func

void(* effects_descriptor_normalize_func) (list) ( list )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_descriptors_variable_change_func

list(* effects_descriptors_variable_change_func) (list, entity, entity)	(	list	,
		entity	,
		entity
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_inf_difference_op

list(* effects_inf_difference_op) (list, list, bool(*eff1_eff2_combinable_p)(effect, effect))	(	list	,
		list	,
		bool(*)(effect, effect)	eff1_eff2_combinable_p
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_intersection_op

list(* effects_intersection_op) (list, list, bool(*eff1_eff2_combinable_p)(effect, effect))	(	list	,
		list	,
		bool(*)(effect, effect)	eff1_eff2_combinable_p
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_local_to_global_translation_op

list(* effects_local_to_global_translation_op) (list) ( list )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_loop_normalize_func

list(* effects_loop_normalize_func) (list, entity, range, entity *, descriptor, bool)	(	list	,
		entity	,
		range	,
		entity *	,
		descriptor	,
		bool
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_precondition_composition_op

list(* effects_precondition_composition_op) (list, transformer, bool)	(	list	,
		transformer	,
		bool
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_prettyprint_func

void(* effects_prettyprint_func) (list) ( list )

extern

Referenced by init_convex_inout_prettyprint(), init_convex_rw_prettyprint(), and reset_convex_prettyprint().

◆ effects_sup_difference_op

list(* effects_sup_difference_op) (list, list, bool(*eff1_eff2_combinable_p)(effect, effect))	(	list	,
		list	,
		bool(*)(effect, effect)	eff1_eff2_combinable_p
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_test_union_op

list(* effects_test_union_op) (list, list, bool(*eff1_eff2_combinable_p)(effect, effect))	(	list	,
		list	,
		bool(*)(effect, effect)	eff1_eff2_combinable_p
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_to_text_func

text(* effects_to_text_func) (list) ( list )

extern

Referenced by init_convex_inout_prettyprint(), init_convex_rw_prettyprint(), and reset_convex_prettyprint().

◆ effects_transformer_composition_op

list(* effects_transformer_composition_op) (list, transformer)	(	list	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_transformer_inverse_composition_op

list(* effects_transformer_inverse_composition_op) (list, transformer)	(	list	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_translation_end_func

void(* effects_translation_end_func) (void) ( void )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_translation_init_func

void(* effects_translation_init_func) (entity, list, bool)	(	entity	,
		list	,
		bool
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_union_op

list(* effects_union_op) (list, list, bool(*eff1_eff2_combinable_p)(effect, effect))	(	list	,
		list	,
		bool(*)(effect, effect)	eff1_eff2_combinable_p
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ effects_union_over_range_op

list(* effects_union_over_range_op) (list, entity, range, descriptor)	(	list	,
		entity	,
		range	,
		descriptor
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ empty_context_test

bool(* empty_context_test) (transformer) ( transformer )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ eval_cell_with_points_to_func

list(* eval_cell_with_points_to_func) (cell, descriptor, list, bool *, transformer)	(	cell	,
		descriptor	,
		list	,
		bool *	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects().

◆ fortran_effects_backward_translation_op

list(* fortran_effects_backward_translation_op) (entity, list, list, transformer)	(	entity	,
		list	,
		list	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ fortran_effects_forward_translation_op

list(* fortran_effects_forward_translation_op) (entity, list, list, transformer)	(	entity	,
		list	,
		list	,
		transformer
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ load_completed_transformer_func

transformer(* load_completed_transformer_func) (statement) ( statement )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ load_context_func

transformer(* load_context_func) (statement) ( statement )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ load_transformer_func

transformer(* load_transformer_func) (statement) ( statement )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ loop_descriptor_make_func

descriptor(* loop_descriptor_make_func) (loop) ( loop )

extern

Referenced by live_in_paths_of_loop(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ loop_range_in_effect_func

void(* loop_range_in_effect_func) (loop, list , list , bool()(effect, effect), entity , range)	(	loop	,
		list *	,
		list *	,
		bool(*)(effect, effect)	,
		entity *	,
		range
	)

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ proper_to_summary_effect_func

effect(* proper_to_summary_effect_func) (effect) ( effect )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ reference_to_effect_func

effect(* reference_to_effect_func) (reference, action, bool)	(	reference	,
		action	,
		bool
	)

extern

Referenced by add_values_for_simple_effects_of_statement(), expression_to_post_pv(), live_out_paths_from_loop_to_body(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ stmt_strongly_feasible_p_func

bool(* stmt_strongly_feasible_p_func) (statement) ( statement )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

◆ vector_to_descriptor_func

descriptor(* vector_to_descriptor_func) (Pvecteur) ( Pvecteur )

extern

Referenced by set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

Macros

Typedefs

Enumerations

Functions

Variables

Macro Definition Documentation

◆ ACTION_COPYIN

◆ ACTION_COPYOUT

◆ ACTION_IN

◆ ACTION_LIVE_IN

◆ ACTION_LIVE_OUT

◆ ACTION_OUT

◆ ACTION_PRIVATE

◆ ACTION_READ

◆ ACTION_UNDEFINED

◆ ACTION_WRITE

◆ DB_GET_EE

◆ DB_GET_LS

◆ DB_GET_SE

◆ DB_GETNOPUT_EE

◆ DB_GETNOPUT_LS

◆ DB_GETNOPUT_SE

◆ DB_GETPUT_EE

◆ DB_GETPUT_LS

◆ DB_GETPUT_SE

◆ DB_NOPUT_EE

◆ DB_NOPUT_LS

◆ DB_NOPUT_SE

◆ DB_PUT_EE

◆ DB_PUT_LS

◆ DB_PUT_SE

◆ pips_debug_effect

◆ pips_debug_effects

Typedef Documentation

◆ generic_attachment_function

◆ generic_prettyprint_function

◆ generic_text_function

Enumeration Type Documentation

◆ effects_representation_val

◆ pointer_info_val

Function Documentation

◆ abstract_effect_in_effect_list_p()

◆ action_interpretation()

◆ add_a_generic_prettyprint()

◆ add_precondition_information_to_effects()

◆ add_range_information_to_cells()

◆ array_effects_to_may_effects()

◆ backward_translation_of_points_to_formal_context_effect()

◆ bound_cumulated_in_effects_p()

◆ bound_cumulated_references_p()

◆ bound_cumulated_rw_effects_p()

◆ bound_expr_prw_effects_p()

◆ bound_in_effects_p()

◆ bound_invariant_in_effects_p()

◆ bound_invariant_rw_effects_p()

◆ bound_invariant_rw_pointer_effects_p()

◆ bound_live_in_paths_p()

◆ bound_live_out_paths_p()

◆ bound_live_out_regions_p()

◆ bound_out_effects_p()

◆ bound_proper_references_p()

◆ bound_proper_rw_effects_p()

◆ bound_proper_rw_pointer_effects_p()

◆ bound_rw_effects_p()

◆ bound_rw_pointer_effects_p()

◆ bound_useful_variables_effects_p()

◆ c_actual_argument_to_may_summary_effects()

◆ cells_combinable_p()

◆ cells_to_read_effects()

◆ cells_to_read_or_write_effects()

◆ cells_to_write_effects()

◆ check_sdfi_effects_p()

◆ clean_anywhere_effects()

◆ close_cumulated_in_effects()

◆ close_cumulated_references()

◆ close_cumulated_rw_effects()

◆ close_expr_prw_effects()

◆ close_in_effects()

◆ close_invariant_in_effects()

◆ close_invariant_rw_effects()