PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_action_kind_ |
struct | _newgen_struct_action_ |
struct | _newgen_struct_approximation_ |
struct | _newgen_struct_cell_interpretation_ |
struct | _newgen_struct_cell_ |
struct | _newgen_struct_cell_relation_ |
struct | _newgen_struct_cell_relations_ |
struct | _newgen_struct_descriptor_ |
struct | _newgen_struct_effect_ |
struct | _newgen_struct_effects_classes_ |
struct | _newgen_struct_effects_ |
struct | _newgen_struct_entity_effects_ |
struct | _newgen_struct_gap_ |
struct | _newgen_struct_interpreted_cell_ |
struct | _newgen_struct_path_selector_ |
struct | _newgen_struct_path_selectors_ |
struct | _newgen_struct_persistant_expression_to_effects_ |
struct | _newgen_struct_recursive_selector_ |
struct | _newgen_struct_statement_cell_relations_ |
struct | _newgen_struct_statement_effects_ |
#define _newgen_expression_domain_defined_ |
#define _newgen_persistant_expression_to_effects_domain_defined_ |
#define _newgen_preference_domain_defined_ |
#define _newgen_Psysteme_domain_defined_ |
#define _newgen_reference_domain_defined_ |
#define _newgen_statement_domain_defined_ |
#define action_domain (_gen_effects_start+2) |
#define ACTION_KIND | ( | x | ) | ((action_kind)((x).p)) |
#define action_kind_CAST | ( | x | ) | ACTION_KIND(x) |
#define ACTION_KIND_CAST | ( | x | ) | ACTION_KIND(x) |
#define action_kind_domain (_gen_effects_start+1) |
#define action_kind_environment_ | ( | x | ) | action_kind_environment(x) /**old hack compatible */ |
#define action_kind_environment_p | ( | x | ) | (action_kind_tag(x)==is_action_kind_environment) |
#define ACTION_KIND_NEWGEN_DOMAIN (action_kind_domain) |
#define action_kind_NEWGEN_DOMAIN (action_kind_domain) |
#define action_kind_store_ | ( | x | ) | action_kind_store(x) /**old hack compatible */ |
#define action_kind_store_p | ( | x | ) | (action_kind_tag(x)==is_action_kind_store) |
#define ACTION_KIND_TYPE action_kind |
#define action_kind_TYPE action_kind |
#define action_kind_type_declaration_ | ( | x | ) | action_kind_type_declaration(x) /**old hack compatible */ |
#define action_kind_type_declaration_p | ( | x | ) | (action_kind_tag(x)==is_action_kind_type_declaration) |
#define action_kind_undefined ((action_kind)gen_chunk_undefined) |
#define action_kind_undefined_p | ( | x | ) | ((x)==action_kind_undefined) |
#define ACTION_NEWGEN_DOMAIN (action_domain) |
#define action_NEWGEN_DOMAIN (action_domain) |
#define action_read_ | ( | x | ) | action_read(x) /**old hack compatible */ |
#define action_read_p | ( | x | ) | (action_tag(x)==is_action_read) |
#define action_undefined ((action)gen_chunk_undefined) |
#define action_undefined_p | ( | x | ) | ((x)==action_undefined) |
#define action_write_ | ( | x | ) | action_write(x) /**old hack compatible */ |
#define action_write_p | ( | x | ) | (action_tag(x)==is_action_write) |
#define APPROXIMATION | ( | x | ) | ((approximation)((x).p)) |
#define approximation_CAST | ( | x | ) | APPROXIMATION(x) |
#define APPROXIMATION_CAST | ( | x | ) | APPROXIMATION(x) |
#define approximation_domain (_gen_effects_start+3) |
#define approximation_exact_ | ( | x | ) | approximation_exact(x) /**old hack compatible */ |
#define approximation_exact_p | ( | x | ) | (approximation_tag(x)==is_approximation_exact) |
#define approximation_may_ | ( | x | ) | approximation_may(x) /**old hack compatible */ |
#define approximation_may_p | ( | x | ) | (approximation_tag(x)==is_approximation_may) |
#define approximation_must_ | ( | x | ) | approximation_must(x) /**old hack compatible */ |
#define approximation_must_p | ( | x | ) | (approximation_tag(x)==is_approximation_must) |
#define APPROXIMATION_NEWGEN_DOMAIN (approximation_domain) |
#define approximation_NEWGEN_DOMAIN (approximation_domain) |
#define APPROXIMATION_TYPE approximation |
#define approximation_TYPE approximation |
#define approximation_undefined ((approximation)gen_chunk_undefined) |
#define approximation_undefined_p | ( | x | ) | ((x)==approximation_undefined) |
#define cell_domain (_gen_effects_start+5) |
#define CELL_INTERPRETATION | ( | x | ) | ((cell_interpretation)((x).p)) |
#define cell_interpretation_address_of_ | ( | x | ) | cell_interpretation_address_of(x) /**old hack compatible */ |
#define cell_interpretation_address_of_p | ( | x | ) | (cell_interpretation_tag(x)==is_cell_interpretation_address_of) |
#define cell_interpretation_CAST | ( | x | ) | CELL_INTERPRETATION(x) |
#define CELL_INTERPRETATION_CAST | ( | x | ) | CELL_INTERPRETATION(x) |
#define cell_interpretation_domain (_gen_effects_start+4) |
#define CELL_INTERPRETATION_NEWGEN_DOMAIN (cell_interpretation_domain) |
#define cell_interpretation_NEWGEN_DOMAIN (cell_interpretation_domain) |
#define CELL_INTERPRETATION_TYPE cell_interpretation |
#define cell_interpretation_TYPE cell_interpretation |
#define cell_interpretation_undefined ((cell_interpretation)gen_chunk_undefined) |
#define cell_interpretation_undefined_p | ( | x | ) | ((x)==cell_interpretation_undefined) |
#define cell_interpretation_value_of_ | ( | x | ) | cell_interpretation_value_of(x) /**old hack compatible */ |
#define cell_interpretation_value_of_p | ( | x | ) | (cell_interpretation_tag(x)==is_cell_interpretation_value_of) |
#define CELL_NEWGEN_DOMAIN (cell_domain) |
#define cell_NEWGEN_DOMAIN (cell_domain) |
#define cell_preference_ | ( | x | ) | cell_preference(x) /**old hack compatible */ |
#define cell_preference_p | ( | x | ) | (cell_tag(x)==is_cell_preference) |
#define cell_reference_ | ( | x | ) | cell_reference(x) /**old hack compatible */ |
#define cell_reference_p | ( | x | ) | (cell_tag(x)==is_cell_reference) |
#define CELL_RELATION | ( | x | ) | ((cell_relation)((x).p)) |
#define cell_relation_approximation_ | ( | x | ) | cell_relation_approximation(x) /**old hack compatible */ |
#define cell_relation_CAST | ( | x | ) | CELL_RELATION(x) |
#define CELL_RELATION_CAST | ( | x | ) | CELL_RELATION(x) |
#define cell_relation_descriptor_ | ( | x | ) | cell_relation_descriptor(x) /**old hack compatible */ |
#define cell_relation_domain (_gen_effects_start+6) |
#define cell_relation_first_ | ( | x | ) | cell_relation_first(x) /**old hack compatible */ |
#define CELL_RELATION_NEWGEN_DOMAIN (cell_relation_domain) |
#define cell_relation_NEWGEN_DOMAIN (cell_relation_domain) |
#define cell_relation_second_ | ( | x | ) | cell_relation_second(x) /**old hack compatible */ |
#define CELL_RELATION_TYPE cell_relation |
#define cell_relation_TYPE cell_relation |
#define cell_relation_undefined ((cell_relation)gen_chunk_undefined) |
#define cell_relation_undefined_p | ( | x | ) | ((x)==cell_relation_undefined) |
#define CELL_RELATIONS | ( | x | ) | ((cell_relations)((x).p)) |
#define cell_relations_CAST | ( | x | ) | CELL_RELATIONS(x) |
#define CELL_RELATIONS_CAST | ( | x | ) | CELL_RELATIONS(x) |
#define cell_relations_domain (_gen_effects_start+7) |
#define CELL_RELATIONS_NEWGEN_DOMAIN (cell_relations_domain) |
#define cell_relations_NEWGEN_DOMAIN (cell_relations_domain) |
#define CELL_RELATIONS_TYPE cell_relations |
#define cell_relations_TYPE cell_relations |
#define cell_relations_undefined ((cell_relations)gen_chunk_undefined) |
#define cell_relations_undefined_p | ( | x | ) | ((x)==cell_relations_undefined) |
#define cell_undefined ((cell)gen_chunk_undefined) |
#define cell_undefined_p | ( | x | ) | ((x)==cell_undefined) |
#define DESCRIPTOR | ( | x | ) | ((descriptor)((x).p)) |
#define descriptor_CAST | ( | x | ) | DESCRIPTOR(x) |
#define DESCRIPTOR_CAST | ( | x | ) | DESCRIPTOR(x) |
#define descriptor_convex_ | ( | x | ) | descriptor_convex(x) /**old hack compatible */ |
#define descriptor_convex_p | ( | x | ) | (descriptor_tag(x)==is_descriptor_convex) |
#define descriptor_convexunion_ | ( | x | ) | descriptor_convexunion(x) /**old hack compatible */ |
#define descriptor_convexunion_p | ( | x | ) | (descriptor_tag(x)==is_descriptor_convexunion) |
#define descriptor_domain (_gen_effects_start+8) |
#define DESCRIPTOR_NEWGEN_DOMAIN (descriptor_domain) |
#define descriptor_NEWGEN_DOMAIN (descriptor_domain) |
#define descriptor_none_ | ( | x | ) | descriptor_none(x) /**old hack compatible */ |
#define descriptor_none_p | ( | x | ) | (descriptor_tag(x)==is_descriptor_none) |
#define DESCRIPTOR_TYPE descriptor |
#define descriptor_TYPE descriptor |
#define descriptor_undefined ((descriptor)gen_chunk_undefined) |
#define descriptor_undefined_p | ( | x | ) | ((x)==descriptor_undefined) |
#define effect_action_ | ( | x | ) | effect_action(x) /**old hack compatible */ |
#define effect_approximation_ | ( | x | ) | effect_approximation(x) /**old hack compatible */ |
#define effect_cell_ | ( | x | ) | effect_cell(x) /**old hack compatible */ |
#define effect_descriptor_ | ( | x | ) | effect_descriptor(x) /**old hack compatible */ |
#define effect_domain (_gen_effects_start+9) |
#define EFFECT_NEWGEN_DOMAIN (effect_domain) |
#define effect_NEWGEN_DOMAIN (effect_domain) |
#define effect_undefined ((effect)gen_chunk_undefined) |
#define effect_undefined_p | ( | x | ) | ((x)==effect_undefined) |
#define EFFECTS_CLASSES | ( | x | ) | ((effects_classes)((x).p)) |
#define effects_classes_CAST | ( | x | ) | EFFECTS_CLASSES(x) |
#define EFFECTS_CLASSES_CAST | ( | x | ) | EFFECTS_CLASSES(x) |
#define effects_classes_domain (_gen_effects_start+10) |
#define EFFECTS_CLASSES_NEWGEN_DOMAIN (effects_classes_domain) |
#define effects_classes_NEWGEN_DOMAIN (effects_classes_domain) |
#define EFFECTS_CLASSES_TYPE effects_classes |
#define effects_classes_TYPE effects_classes |
#define effects_classes_undefined ((effects_classes)gen_chunk_undefined) |
#define effects_classes_undefined_p | ( | x | ) | ((x)==effects_classes_undefined) |
#define effects_domain (_gen_effects_start+11) |
#define EFFECTS_NEWGEN_DOMAIN (effects_domain) |
#define effects_NEWGEN_DOMAIN (effects_domain) |
#define effects_spec "\--NEWGEN-START 132\n\import entity from \"ri.newgen\";\n\import reference from \"ri.newgen\";\n\import preference from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\import statement from \"ri.newgen\";\n\external Psysteme;\n\action_kind = store:unit + environment:unit + type_declaration:unit;\n\action = read:action_kind + write:action_kind;\n\approximation = may:unit + must:unit + exact:unit;\n\cell_interpretation = value_of:unit + address_of:unit;\n\cell = reference:reference + preference:preference + gap:gap;\n\cell_relation = first:interpreted_cell x second:interpreted_cell x approximation:approximation x descriptor:descriptor;\n\cell_relations = list:cell_relation*;\n\descriptor = convexunion:Psysteme* + convex:Psysteme + none:unit;\n\effect = cell:cell x action:action x approximation:approximation x descriptor:descriptor;\n\effects_classes = classes:effects*;\n\effects = effects:effect*;\n\entity_effects = entity:entity -> effects:effects;\n\gap = variable:entity x path_selectors:path_selectors;\n\interpreted_cell = cell:cell x cell_interpretation:cell_interpretation;\n\path_selector = expression:expression + recursive_selector:recursive_selector;\n\path_selectors = path_selector:path_selector*;\n\persistant_expression_to_effects = persistant expression:expression -> effects:effects;\n\recursive_selector = basis:path_selectors* x coefficient:expression;\n\statement_cell_relations = persistant statement:statement -> cell_relations:cell_relations;\n\statement_effects = persistant statement:statement -> effects:effects;\n\" |
#define effects_undefined ((effects)gen_chunk_undefined) |
#define effects_undefined_p | ( | x | ) | ((x)==effects_undefined) |
#define ENTITY_EFFECTS | ( | x | ) | ((entity_effects)((x).p)) |
#define entity_effects_CAST | ( | x | ) | ENTITY_EFFECTS(x) |
#define ENTITY_EFFECTS_CAST | ( | x | ) | ENTITY_EFFECTS(x) |
#define entity_effects_domain (_gen_effects_start+12) |
#define ENTITY_EFFECTS_FOREACH | ( | k, | |
v, | |||
f | |||
) | FUNCTION_FOREACH(entity_effects,p,p,k,v,f) |
#define ENTITY_EFFECTS_MAP | ( | k, | |
v, | |||
c, | |||
f | |||
) | FUNCTION_MAP(entity_effects,p,p,k,v,c,f) |
#define ENTITY_EFFECTS_NEWGEN_DOMAIN (entity_effects_domain) |
#define entity_effects_NEWGEN_DOMAIN (entity_effects_domain) |
#define ENTITY_EFFECTS_TYPE entity_effects |
#define entity_effects_TYPE entity_effects |
#define entity_effects_undefined ((entity_effects)gen_chunk_undefined) |
#define entity_effects_undefined_p | ( | x | ) | ((x)==entity_effects_undefined) |
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
#define entity_NEWGEN_DOMAIN (entity_domain) |
#define EXPRESSION_NEWGEN_DOMAIN (expression_domain) |
#define expression_NEWGEN_DOMAIN (expression_domain) |
#define gap_domain (_gen_effects_start+13) |
#define GAP_NEWGEN_DOMAIN (gap_domain) |
#define gap_NEWGEN_DOMAIN (gap_domain) |
#define gap_path_selectors_ | ( | x | ) | gap_path_selectors(x) /**old hack compatible */ |
#define gap_undefined ((gap)gen_chunk_undefined) |
#define gap_undefined_p | ( | x | ) | ((x)==gap_undefined) |
#define gap_variable_ | ( | x | ) | gap_variable(x) /**old hack compatible */ |
#define gen_ACTION_cons gen_action_cons |
#define gen_ACTION_KIND_cons gen_action_kind_cons |
#define gen_APPROXIMATION_cons gen_approximation_cons |
#define gen_CELL_cons gen_cell_cons |
#define gen_CELL_INTERPRETATION_cons gen_cell_interpretation_cons |
#define gen_CELL_RELATION_cons gen_cell_relation_cons |
#define gen_CELL_RELATIONS_cons gen_cell_relations_cons |
#define gen_DESCRIPTOR_cons gen_descriptor_cons |
#define gen_EFFECT_cons gen_effect_cons |
#define gen_EFFECTS_CLASSES_cons gen_effects_classes_cons |
#define gen_EFFECTS_cons gen_effects_cons |
#define gen_ENTITY_EFFECTS_cons gen_entity_effects_cons |
#define gen_GAP_cons gen_gap_cons |
#define gen_INTERPRETED_CELL_cons gen_interpreted_cell_cons |
#define gen_PATH_SELECTOR_cons gen_path_selector_cons |
#define gen_PATH_SELECTORS_cons gen_path_selectors_cons |
#define gen_PERSISTANT_EXPRESSION_TO_EFFECTS_cons gen_persistant_expression_to_effects_cons |
#define gen_RECURSIVE_SELECTOR_cons gen_recursive_selector_cons |
#define gen_STATEMENT_CELL_RELATIONS_cons gen_statement_cell_relations_cons |
#define gen_STATEMENT_EFFECTS_cons gen_statement_effects_cons |
#define INTERPRETED_CELL | ( | x | ) | ((interpreted_cell)((x).p)) |
#define interpreted_cell_CAST | ( | x | ) | INTERPRETED_CELL(x) |
#define INTERPRETED_CELL_CAST | ( | x | ) | INTERPRETED_CELL(x) |
#define interpreted_cell_cell_ | ( | x | ) | interpreted_cell_cell(x) /**old hack compatible */ |
#define interpreted_cell_cell_interpretation_ | ( | x | ) | interpreted_cell_cell_interpretation(x) /**old hack compatible */ |
#define interpreted_cell_domain (_gen_effects_start+14) |
#define INTERPRETED_CELL_NEWGEN_DOMAIN (interpreted_cell_domain) |
#define interpreted_cell_NEWGEN_DOMAIN (interpreted_cell_domain) |
#define INTERPRETED_CELL_TYPE interpreted_cell |
#define interpreted_cell_TYPE interpreted_cell |
#define interpreted_cell_undefined ((interpreted_cell)gen_chunk_undefined) |
#define interpreted_cell_undefined_p | ( | x | ) | ((x)==interpreted_cell_undefined) |
#define PATH_SELECTOR | ( | x | ) | ((path_selector)((x).p)) |
#define path_selector_CAST | ( | x | ) | PATH_SELECTOR(x) |
#define PATH_SELECTOR_CAST | ( | x | ) | PATH_SELECTOR(x) |
#define path_selector_domain (_gen_effects_start+15) |
#define path_selector_expression_ | ( | x | ) | path_selector_expression(x) /**old hack compatible */ |
#define path_selector_expression_p | ( | x | ) | (path_selector_tag(x)==is_path_selector_expression) |
#define PATH_SELECTOR_NEWGEN_DOMAIN (path_selector_domain) |
#define path_selector_NEWGEN_DOMAIN (path_selector_domain) |
#define path_selector_recursive_selector_ | ( | x | ) | path_selector_recursive_selector(x) /**old hack compatible */ |
#define path_selector_recursive_selector_p | ( | x | ) | (path_selector_tag(x)==is_path_selector_recursive_selector) |
#define PATH_SELECTOR_TYPE path_selector |
#define path_selector_TYPE path_selector |
#define path_selector_undefined ((path_selector)gen_chunk_undefined) |
#define path_selector_undefined_p | ( | x | ) | ((x)==path_selector_undefined) |
#define PATH_SELECTORS | ( | x | ) | ((path_selectors)((x).p)) |
#define path_selectors_CAST | ( | x | ) | PATH_SELECTORS(x) |
#define PATH_SELECTORS_CAST | ( | x | ) | PATH_SELECTORS(x) |
#define path_selectors_domain (_gen_effects_start+16) |
#define PATH_SELECTORS_NEWGEN_DOMAIN (path_selectors_domain) |
#define path_selectors_NEWGEN_DOMAIN (path_selectors_domain) |
#define PATH_SELECTORS_TYPE path_selectors |
#define path_selectors_TYPE path_selectors |
#define path_selectors_undefined ((path_selectors)gen_chunk_undefined) |
#define path_selectors_undefined_p | ( | x | ) | ((x)==path_selectors_undefined) |
#define PERSISTANT_EXPRESSION_TO_EFFECTS | ( | x | ) | ((persistant_expression_to_effects)((x).p)) |
#define persistant_expression_to_effects_CAST | ( | x | ) | PERSISTANT_EXPRESSION_TO_EFFECTS(x) |
#define PERSISTANT_EXPRESSION_TO_EFFECTS_CAST | ( | x | ) | PERSISTANT_EXPRESSION_TO_EFFECTS(x) |
#define persistant_expression_to_effects_domain (_gen_effects_start+17) |
#define PERSISTANT_EXPRESSION_TO_EFFECTS_FOREACH | ( | k, | |
v, | |||
f | |||
) | FUNCTION_FOREACH(persistant_expression_to_effects,p,p,k,v,f) |
#define persistant_expression_to_effects_key_type expression |
#define PERSISTANT_EXPRESSION_TO_EFFECTS_MAP | ( | k, | |
v, | |||
c, | |||
f | |||
) | FUNCTION_MAP(persistant_expression_to_effects,p,p,k,v,c,f) |
#define PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN (persistant_expression_to_effects_domain) |
#define persistant_expression_to_effects_NEWGEN_DOMAIN (persistant_expression_to_effects_domain) |
#define PERSISTANT_EXPRESSION_TO_EFFECTS_TYPE persistant_expression_to_effects |
#define persistant_expression_to_effects_TYPE persistant_expression_to_effects |
#define persistant_expression_to_effects_undefined ((persistant_expression_to_effects)gen_chunk_undefined) |
#define persistant_expression_to_effects_undefined_p | ( | x | ) | ((x)==persistant_expression_to_effects_undefined) |
#define persistant_expression_to_effects_value_type effects |
#define PREFERENCE_NEWGEN_DOMAIN (preference_domain) |
#define preference_NEWGEN_DOMAIN (preference_domain) |
#define PSYSTEME_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL) |
#define Psysteme_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL) |
#define PSYSTEME_NEWGEN_EXTERNAL (_gen_effects_start+0) |
#define RECURSIVE_SELECTOR | ( | x | ) | ((recursive_selector)((x).p)) |
#define recursive_selector_basis_ | ( | x | ) | recursive_selector_basis(x) /**old hack compatible */ |
#define recursive_selector_CAST | ( | x | ) | RECURSIVE_SELECTOR(x) |
#define RECURSIVE_SELECTOR_CAST | ( | x | ) | RECURSIVE_SELECTOR(x) |
#define recursive_selector_coefficient_ | ( | x | ) | recursive_selector_coefficient(x) /**old hack compatible */ |
#define recursive_selector_domain (_gen_effects_start+18) |
#define RECURSIVE_SELECTOR_NEWGEN_DOMAIN (recursive_selector_domain) |
#define recursive_selector_NEWGEN_DOMAIN (recursive_selector_domain) |
#define RECURSIVE_SELECTOR_TYPE recursive_selector |
#define recursive_selector_TYPE recursive_selector |
#define recursive_selector_undefined ((recursive_selector)gen_chunk_undefined) |
#define recursive_selector_undefined_p | ( | x | ) | ((x)==recursive_selector_undefined) |
#define REFERENCE_NEWGEN_DOMAIN (reference_domain) |
#define reference_NEWGEN_DOMAIN (reference_domain) |
#define STATEMENT_CELL_RELATIONS | ( | x | ) | ((statement_cell_relations)((x).p)) |
#define statement_cell_relations_CAST | ( | x | ) | STATEMENT_CELL_RELATIONS(x) |
#define STATEMENT_CELL_RELATIONS_CAST | ( | x | ) | STATEMENT_CELL_RELATIONS(x) |
#define statement_cell_relations_domain (_gen_effects_start+19) |
#define STATEMENT_CELL_RELATIONS_FOREACH | ( | k, | |
v, | |||
f | |||
) | FUNCTION_FOREACH(statement_cell_relations,p,p,k,v,f) |
#define STATEMENT_CELL_RELATIONS_MAP | ( | k, | |
v, | |||
c, | |||
f | |||
) | FUNCTION_MAP(statement_cell_relations,p,p,k,v,c,f) |
#define STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN (statement_cell_relations_domain) |
#define statement_cell_relations_NEWGEN_DOMAIN (statement_cell_relations_domain) |
#define STATEMENT_CELL_RELATIONS_TYPE statement_cell_relations |
#define statement_cell_relations_TYPE statement_cell_relations |
#define statement_cell_relations_undefined ((statement_cell_relations)gen_chunk_undefined) |
#define statement_cell_relations_undefined_p | ( | x | ) | ((x)==statement_cell_relations_undefined) |
#define statement_cell_relations_value_type cell_relations |
#define STATEMENT_EFFECTS | ( | x | ) | ((statement_effects)((x).p)) |
#define statement_effects_CAST | ( | x | ) | STATEMENT_EFFECTS(x) |
#define STATEMENT_EFFECTS_CAST | ( | x | ) | STATEMENT_EFFECTS(x) |
#define statement_effects_domain (_gen_effects_start+20) |
#define STATEMENT_EFFECTS_FOREACH | ( | k, | |
v, | |||
f | |||
) | FUNCTION_FOREACH(statement_effects,p,p,k,v,f) |
#define STATEMENT_EFFECTS_MAP | ( | k, | |
v, | |||
c, | |||
f | |||
) | FUNCTION_MAP(statement_effects,p,p,k,v,c,f) |
#define STATEMENT_EFFECTS_NEWGEN_DOMAIN (statement_effects_domain) |
#define statement_effects_NEWGEN_DOMAIN (statement_effects_domain) |
#define STATEMENT_EFFECTS_TYPE statement_effects |
#define statement_effects_TYPE statement_effects |
#define statement_effects_undefined ((statement_effects)gen_chunk_undefined) |
#define statement_effects_undefined_p | ( | x | ) | ((x)==statement_effects_undefined) |
#define STATEMENT_NEWGEN_DOMAIN (statement_domain) |
#define statement_NEWGEN_DOMAIN (statement_domain) |
typedef struct _newgen_struct_action_* action |
typedef struct _newgen_struct_action_kind_* action_kind |
typedef struct _newgen_struct_approximation_* approximation |
typedef struct _newgen_struct_cell_* cell |
typedef struct _newgen_struct_cell_interpretation_* cell_interpretation |
typedef struct _newgen_struct_cell_relation_* cell_relation |
typedef struct _newgen_struct_cell_relations_* cell_relations |
typedef struct _newgen_struct_descriptor_* descriptor |
typedef struct _newgen_struct_effect_* effect |
typedef struct _newgen_struct_effects_* effects |
typedef struct _newgen_struct_effects_classes_* effects_classes |
typedef struct _newgen_struct_entity_* entity |
typedef struct _newgen_struct_entity_effects_* entity_effects |
typedef struct _newgen_struct_expression_* expression |
typedef struct _newgen_struct_gap_* gap |
typedef struct _newgen_struct_interpreted_cell_* interpreted_cell |
typedef struct _newgen_struct_path_selector_* path_selector |
typedef struct _newgen_struct_path_selectors_* path_selectors |
typedef struct _newgen_struct_preference_* preference |
typedef struct _newgen_struct_recursive_selector_* recursive_selector |
typedef struct _newgen_struct_reference_* reference |
typedef struct _newgen_struct_statement_* statement |
typedef struct _newgen_struct_statement_cell_relations_* statement_cell_relations |
typedef struct _newgen_struct_statement_effects_* statement_effects |
enum action_kind_utype |
enum action_utype |
enum approximation_utype |
enum cell_utype |
enum descriptor_utype |
enum path_selector_utype |
Definition at line 96 of file effects.c.
References action_defined_p(), check_action(), and message_assert.
Definition at line 86 of file effects.c.
References check_action(), and gen_consistent_p().
Definition at line 90 of file effects.c.
References gen_defined_p().
Referenced by action_assign_contents().
void action_kind_assign_contents | ( | action_kind | r, |
action_kind | v | ||
) |
Definition at line 37 of file effects.c.
References action_kind_defined_p(), check_action_kind(), and message_assert.
bool action_kind_consistent_p | ( | action_kind | p | ) |
Definition at line 27 of file effects.c.
References check_action_kind(), and gen_consistent_p().
bool action_kind_defined_p | ( | action_kind | p | ) |
Definition at line 31 of file effects.c.
References gen_defined_p().
Referenced by action_kind_assign_contents().
void action_kind_non_recursive_free | ( | action_kind | p | ) |
string action_kind_tag_as_string | ( | enum | action_kind_utype | ) |
Definition at line 54 of file effects.c.
References is_action_kind_environment, is_action_kind_store, is_action_kind_type_declaration, and string_undefined.
void action_non_recursive_free | ( | action | p | ) |
string action_tag_as_string | ( | enum | action_utype | ) |
Definition at line 113 of file effects.c.
References is_action_read, is_action_write, and string_undefined.
effects apply_entity_effects | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 613 of file effects.c.
References entity_effects_hash_table, f(), HASH_GET, and intptr_t.
effects apply_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 851 of file effects.c.
References f(), HASH_GET, intptr_t, and persistant_expression_to_effects_hash_table.
cell_relations apply_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 950 of file effects.c.
References f(), HASH_GET, intptr_t, and statement_cell_relations_hash_table.
effects apply_statement_effects | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1007 of file effects.c.
References f(), HASH_GET, intptr_t, and statement_effects_hash_table.
Referenced by compile_body(), step_translate_and_map_step_regions(), and stmt_to_fx().
void approximation_assign_contents | ( | approximation | r, |
approximation | v | ||
) |
Definition at line 151 of file effects.c.
References approximation_defined_p(), check_approximation(), and message_assert.
bool approximation_consistent_p | ( | approximation | p | ) |
Definition at line 141 of file effects.c.
References check_approximation(), and gen_consistent_p().
bool approximation_defined_p | ( | approximation | p | ) |
Definition at line 145 of file effects.c.
References gen_defined_p().
Referenced by approximation_assign_contents().
void approximation_non_recursive_free | ( | approximation | p | ) |
string approximation_tag_as_string | ( | enum | approximation_utype | ) |
Definition at line 168 of file effects.c.
References is_approximation_exact, is_approximation_may, is_approximation_must, and string_undefined.
bool bound_entity_effects_p | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 625 of file effects.c.
References entity_effects_hash_table, f(), HASH_BOUND_P, and intptr_t.
bool bound_persistant_expression_to_effects_p | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 863 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and persistant_expression_to_effects_hash_table.
bool bound_statement_cell_relations_p | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 962 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and statement_cell_relations_hash_table.
bool bound_statement_effects_p | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1019 of file effects.c.
References f(), HASH_BOUND_P, intptr_t, and statement_effects_hash_table.
Definition at line 265 of file effects.c.
References cell_defined_p(), check_cell(), and message_assert.
Definition at line 255 of file effects.c.
References check_cell(), and gen_consistent_p().
Referenced by create_scalar_stub_sink_cell().
Definition at line 259 of file effects.c.
References gen_defined_p().
Referenced by cell_assign_contents().
void cell_interpretation_assign_contents | ( | cell_interpretation | r, |
cell_interpretation | v | ||
) |
Definition at line 210 of file effects.c.
References cell_interpretation_defined_p(), check_cell_interpretation(), and message_assert.
bool cell_interpretation_consistent_p | ( | cell_interpretation | p | ) |
Definition at line 200 of file effects.c.
References check_cell_interpretation(), and gen_consistent_p().
bool cell_interpretation_defined_p | ( | cell_interpretation | p | ) |
Definition at line 204 of file effects.c.
References gen_defined_p().
Referenced by cell_interpretation_assign_contents().
void cell_interpretation_non_recursive_free | ( | cell_interpretation | p | ) |
string cell_interpretation_tag_as_string | ( | enum | cell_interpretation_utype | ) |
Definition at line 227 of file effects.c.
References is_cell_interpretation_address_of, is_cell_interpretation_value_of, and string_undefined.
void cell_non_recursive_free | ( | cell | p | ) |
void cell_relation_assign_contents | ( | cell_relation | r, |
cell_relation | v | ||
) |
Definition at line 324 of file effects.c.
References cell_relation_defined_p(), check_cell_relation(), and message_assert.
bool cell_relation_consistent_p | ( | cell_relation | p | ) |
Definition at line 314 of file effects.c.
References check_cell_relation(), and gen_consistent_p().
bool cell_relation_defined_p | ( | cell_relation | p | ) |
Definition at line 318 of file effects.c.
References gen_defined_p().
Referenced by cell_relation_assign_contents().
void cell_relation_non_recursive_free | ( | cell_relation | p | ) |
void cell_relations_assign_contents | ( | cell_relations | r, |
cell_relations | v | ||
) |
Definition at line 366 of file effects.c.
References cell_relations_defined_p(), check_cell_relations(), and message_assert.
bool cell_relations_consistent_p | ( | cell_relations | p | ) |
Definition at line 356 of file effects.c.
References check_cell_relations(), and gen_consistent_p().
bool cell_relations_defined_p | ( | cell_relations | p | ) |
Definition at line 360 of file effects.c.
References gen_defined_p().
Referenced by cell_relations_assign_contents().
void cell_relations_non_recursive_free | ( | cell_relations | p | ) |
string cell_tag_as_string | ( | enum | cell_utype | ) |
Definition at line 282 of file effects.c.
References is_cell_gap, is_cell_preference, is_cell_reference, and string_undefined.
Definition at line 83 of file effects.c.
References action_domain, and gen_check().
Referenced by action_assign_contents(), and action_consistent_p().
action_kind check_action_kind | ( | action_kind | p | ) |
Definition at line 24 of file effects.c.
References action_kind_domain, and gen_check().
Referenced by action_kind_assign_contents(), and action_kind_consistent_p().
approximation check_approximation | ( | approximation | p | ) |
Definition at line 138 of file effects.c.
References approximation_domain, and gen_check().
Referenced by approximation_assign_contents(), and approximation_consistent_p().
Definition at line 252 of file effects.c.
References cell_domain, and gen_check().
Referenced by cell_assign_contents(), and cell_consistent_p().
cell_interpretation check_cell_interpretation | ( | cell_interpretation | p | ) |
Definition at line 197 of file effects.c.
References cell_interpretation_domain, and gen_check().
Referenced by cell_interpretation_assign_contents(), and cell_interpretation_consistent_p().
cell_relation check_cell_relation | ( | cell_relation | p | ) |
Definition at line 311 of file effects.c.
References cell_relation_domain, and gen_check().
Referenced by cell_relation_assign_contents(), and cell_relation_consistent_p().
cell_relations check_cell_relations | ( | cell_relations | p | ) |
Definition at line 353 of file effects.c.
References cell_relations_domain, and gen_check().
Referenced by cell_relations_assign_contents(), and cell_relations_consistent_p().
descriptor check_descriptor | ( | descriptor | p | ) |
Definition at line 395 of file effects.c.
References descriptor_domain, and gen_check().
Referenced by descriptor_assign_contents(), and descriptor_consistent_p().
Definition at line 454 of file effects.c.
References effect_domain, and gen_check().
Referenced by effect_assign_contents(), and effect_consistent_p().
Definition at line 538 of file effects.c.
References effects_domain, and gen_check().
Referenced by effects_assign_contents(), and effects_consistent_p().
effects_classes check_effects_classes | ( | effects_classes | p | ) |
Definition at line 496 of file effects.c.
References effects_classes_domain, and gen_check().
Referenced by effects_classes_assign_contents(), and effects_classes_consistent_p().
entity_effects check_entity_effects | ( | entity_effects | p | ) |
Definition at line 580 of file effects.c.
References entity_effects_domain, and gen_check().
Referenced by entity_effects_assign_contents(), and entity_effects_consistent_p().
Definition at line 637 of file effects.c.
References gap_domain, and gen_check().
Referenced by gap_assign_contents(), and gap_consistent_p().
interpreted_cell check_interpreted_cell | ( | interpreted_cell | p | ) |
Definition at line 679 of file effects.c.
References gen_check(), and interpreted_cell_domain.
Referenced by interpreted_cell_assign_contents(), and interpreted_cell_consistent_p().
path_selector check_path_selector | ( | path_selector | p | ) |
Definition at line 721 of file effects.c.
References gen_check(), and path_selector_domain.
Referenced by path_selector_assign_contents(), and path_selector_consistent_p().
path_selectors check_path_selectors | ( | path_selectors | p | ) |
Definition at line 776 of file effects.c.
References gen_check(), and path_selectors_domain.
Referenced by path_selectors_assign_contents(), and path_selectors_consistent_p().
persistant_expression_to_effects check_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
Definition at line 818 of file effects.c.
References gen_check(), and persistant_expression_to_effects_domain.
Referenced by persistant_expression_to_effects_assign_contents(), and persistant_expression_to_effects_consistent_p().
recursive_selector check_recursive_selector | ( | recursive_selector | p | ) |
Definition at line 875 of file effects.c.
References gen_check(), and recursive_selector_domain.
Referenced by recursive_selector_assign_contents(), and recursive_selector_consistent_p().
statement_cell_relations check_statement_cell_relations | ( | statement_cell_relations | p | ) |
Definition at line 917 of file effects.c.
References gen_check(), and statement_cell_relations_domain.
Referenced by statement_cell_relations_assign_contents(), and statement_cell_relations_consistent_p().
statement_effects check_statement_effects | ( | statement_effects | p | ) |
Definition at line 974 of file effects.c.
References gen_check(), and statement_effects_domain.
Referenced by statement_effects_assign_contents(), and statement_effects_consistent_p().
ACTION.
Definition at line 77 of file effects.c.
References gen_copy_tree().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_effect_to_constant_path_effects_with_pointer_values(), convex_effect_to_constant_path_effects_with_points_to(), do_isolate_statement_preconditions_satisified_p(), effect_may_union(), effect_must_union(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), effects_to_dma(), filter_live_out_regions_statement(), generic_effect_find_aliases_with_simple_pointer_values(), region_entities_intersection(), region_intersection(), region_sup_difference(), region_translation(), region_union(), and simple_effect_to_constant_path_effects_with_pointer_values().
action_kind copy_action_kind | ( | action_kind | p | ) |
ACTION_KIND.
Definition at line 18 of file effects.c.
References gen_copy_tree().
approximation copy_approximation | ( | approximation | p | ) |
APPROXIMATION.
Definition at line 132 of file effects.c.
References gen_copy_tree().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), compute_points_to_gen_set(), dereferencing_subscript_to_points_to(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), k_limit_points_to(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), and remove_points_to_cell().
CELL.
Definition at line 246 of file effects.c.
References gen_copy_tree().
Referenced by any_source_to_sinks(), anywhere_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), extended_source_to_sinks(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), generic_points_to_cell_to_useful_pointer_cells(), generic_points_to_set_to_stub_cell_list(), generic_points_to_source_to_sinks(), generic_stub_source_to_sinks(), global_source_to_sinks(), internal_pointer_assignment_to_points_to(), kill_pointer_value(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), pointer_source_to_sinks(), points_to_binding(), points_to_binding_arguments(), points_to_cell_translation(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_sink_to_sources(), points_to_source_name_to_sinks(), points_to_source_name_to_source_cell(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_cell_to_pointer_cells(), recursive_filter_formal_context_according_to_actual_context(), reference_to_points_to_translations(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), sink_to_sources(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_subscripts(), type_compatible_super_cell(), type_compatible_with_points_to_cell_p(), upgrade_approximations_in_points_to_set(), user_call_to_points_to_fast_interprocedural(), user_call_to_points_to_sinks(), and variable_to_sinks().
cell_interpretation copy_cell_interpretation | ( | cell_interpretation | p | ) |
CELL_INTERPRETATION.
Definition at line 191 of file effects.c.
References gen_copy_tree().
cell_relation copy_cell_relation | ( | cell_relation | p | ) |
CELL_RELATION.
Definition at line 305 of file effects.c.
References gen_copy_tree().
Referenced by free_to_post_pv(), kill_pointer_value(), pointer_values_remove_var(), simple_pv_may_union(), and simple_pv_must_union().
cell_relations copy_cell_relations | ( | cell_relations | p | ) |
CELL_RELATIONS.
Definition at line 347 of file effects.c.
References gen_copy_tree().
descriptor copy_descriptor | ( | descriptor | p | ) |
DESCRIPTOR.
Definition at line 389 of file effects.c.
References gen_copy_tree().
Referenced by list_assignment_to_points_to().
EFFECT.
Definition at line 448 of file effects.c.
References gen_copy_tree().
Referenced by add_values_for_simple_effects_of_statement(), assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_points_to(), duplicate_regions_referenced_entity(), effect_to_constant_path_effects_with_points_to(), effects_to_dma(), multiple_pointer_assignment_to_post_pv(), region_intersection(), region_sup_difference(), region_union(), regions_may_convex_hull(), regions_must_convex_hull(), single_pointer_assignment_to_post_pv(), summarize_and_map_step_regions(), and update_operator_to_post_pv().
EFFECTS.
Definition at line 532 of file effects.c.
References gen_copy_tree().
Referenced by do_simdizer_auto_tile_generate_all_tests().
effects_classes copy_effects_classes | ( | effects_classes | p | ) |
EFFECTS_CLASSES.
Definition at line 490 of file effects.c.
References gen_copy_tree().
entity_effects copy_entity_effects | ( | entity_effects | p | ) |
ENTITY_EFFECTS.
Definition at line 574 of file effects.c.
References gen_copy_tree().
GAP.
Definition at line 631 of file effects.c.
References gen_copy_tree().
interpreted_cell copy_interpreted_cell | ( | interpreted_cell | p | ) |
INTERPRETED_CELL.
Definition at line 673 of file effects.c.
References gen_copy_tree().
path_selector copy_path_selector | ( | path_selector | p | ) |
PATH_SELECTOR.
Definition at line 715 of file effects.c.
References gen_copy_tree().
path_selectors copy_path_selectors | ( | path_selectors | p | ) |
PATH_SELECTORS.
Definition at line 770 of file effects.c.
References gen_copy_tree().
persistant_expression_to_effects copy_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
PERSISTANT_EXPRESSION_TO_EFFECTS.
Definition at line 812 of file effects.c.
References gen_copy_tree().
recursive_selector copy_recursive_selector | ( | recursive_selector | p | ) |
RECURSIVE_SELECTOR.
Definition at line 869 of file effects.c.
References gen_copy_tree().
statement_cell_relations copy_statement_cell_relations | ( | statement_cell_relations | p | ) |
STATEMENT_CELL_RELATIONS.
Definition at line 911 of file effects.c.
References gen_copy_tree().
statement_effects copy_statement_effects | ( | statement_effects | p | ) |
STATEMENT_EFFECTS.
Definition at line 968 of file effects.c.
References gen_copy_tree().
effects delete_entity_effects | ( | entity_effects | f, |
entity | k | ||
) |
Definition at line 622 of file effects.c.
References entity_effects_hash_table, f(), HASH_DELETE, and intptr_t.
effects delete_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k | ||
) |
Definition at line 860 of file effects.c.
References f(), HASH_DELETE, intptr_t, and persistant_expression_to_effects_hash_table.
cell_relations delete_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k | ||
) |
Definition at line 959 of file effects.c.
References f(), HASH_DELETE, intptr_t, and statement_cell_relations_hash_table.
effects delete_statement_effects | ( | statement_effects | f, |
statement | k | ||
) |
Definition at line 1016 of file effects.c.
References f(), HASH_DELETE, intptr_t, and statement_effects_hash_table.
void descriptor_assign_contents | ( | descriptor | r, |
descriptor | v | ||
) |
Definition at line 408 of file effects.c.
References check_descriptor(), descriptor_defined_p(), and message_assert.
bool descriptor_consistent_p | ( | descriptor | p | ) |
Definition at line 398 of file effects.c.
References check_descriptor(), and gen_consistent_p().
bool descriptor_defined_p | ( | descriptor | p | ) |
Definition at line 402 of file effects.c.
References gen_defined_p().
Referenced by descriptor_assign_contents().
void descriptor_non_recursive_free | ( | descriptor | p | ) |
string descriptor_tag_as_string | ( | enum | descriptor_utype | ) |
Definition at line 425 of file effects.c.
References is_descriptor_convex, is_descriptor_convexunion, is_descriptor_none, and string_undefined.
Definition at line 467 of file effects.c.
References check_effect(), effect_defined_p(), and message_assert.
Definition at line 457 of file effects.c.
References check_effect(), and gen_consistent_p().
Referenced by effect_interference(), effect_list_consistent_p(), region_consistent_p(), regions_must_convex_hull(), store_independent_effect_p(), and union_compatible_effects_p().
Definition at line 461 of file effects.c.
References gen_defined_p().
Referenced by effect_assign_contents().
void effect_non_recursive_free | ( | effect | p | ) |
Definition at line 551 of file effects.c.
References check_effects(), effects_defined_p(), and message_assert.
void effects_classes_assign_contents | ( | effects_classes | r, |
effects_classes | v | ||
) |
Definition at line 509 of file effects.c.
References check_effects_classes(), effects_classes_defined_p(), and message_assert.
bool effects_classes_consistent_p | ( | effects_classes | p | ) |
Definition at line 499 of file effects.c.
References check_effects_classes(), and gen_consistent_p().
bool effects_classes_defined_p | ( | effects_classes | p | ) |
Definition at line 503 of file effects.c.
References gen_defined_p().
Referenced by effects_classes_assign_contents().
void effects_classes_non_recursive_free | ( | effects_classes | p | ) |
Definition at line 541 of file effects.c.
References check_effects(), and gen_consistent_p().
Referenced by functionnal_on(), step_recv_regions_list_load(), step_recv_regions_list_store(), step_send_regions_list_load(), and step_send_regions_list_store().
Definition at line 545 of file effects.c.
References gen_defined_p().
Referenced by effects_assign_contents().
void effects_non_recursive_free | ( | effects | p | ) |
void entity_effects_assign_contents | ( | entity_effects | r, |
entity_effects | v | ||
) |
Definition at line 593 of file effects.c.
References check_entity_effects(), entity_effects_defined_p(), and message_assert.
bool entity_effects_consistent_p | ( | entity_effects | p | ) |
Definition at line 583 of file effects.c.
References check_entity_effects(), and gen_consistent_p().
bool entity_effects_defined_p | ( | entity_effects | p | ) |
Definition at line 587 of file effects.c.
References gen_defined_p().
Referenced by entity_effects_assign_contents().
void entity_effects_non_recursive_free | ( | entity_effects | p | ) |
void extend_entity_effects | ( | entity_effects | f, |
entity | k, | ||
effects | v | ||
) |
Definition at line 619 of file effects.c.
References entity_effects_hash_table, f(), HASH_EXTEND, and intptr_t.
void extend_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k, | ||
effects | v | ||
) |
Definition at line 857 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and persistant_expression_to_effects_hash_table.
void extend_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k, | ||
cell_relations | v | ||
) |
Definition at line 956 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and statement_cell_relations_hash_table.
void extend_statement_effects | ( | statement_effects | f, |
statement | k, | ||
effects | v | ||
) |
Definition at line 1013 of file effects.c.
References f(), HASH_EXTEND, intptr_t, and statement_effects_hash_table.
void free_action | ( | action | p | ) |
Definition at line 80 of file effects.c.
References gen_free().
Referenced by create_step_regions(), and real_regions_forward_translation().
void free_action_kind | ( | action_kind | p | ) |
Definition at line 21 of file effects.c.
References gen_free().
void free_approximation | ( | approximation | p | ) |
Definition at line 135 of file effects.c.
References gen_free().
Referenced by cells_to_read_or_write_effects(), compute_points_to_gen_set(), compute_send_regions(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), global_source_to_sinks(), new_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_translation_of_formal_parameters(), and recursive_filter_formal_context_according_to_actual_context().
void free_cell | ( | cell | p | ) |
Definition at line 249 of file effects.c.
References gen_free().
Referenced by any_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), dereferencing_subscript_to_points_to(), effect_may_union(), effect_must_union(), extended_source_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), list_assignment_to_points_to(), pointer_values_remove_var(), points_to_translation_of_struct_formal_parameter(), proper_to_summary_simple_effect(), recursive_cell_to_pointer_cells(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), source_to_sinks(), struct_variable_to_pointer_locations(), struct_variable_to_pointer_subscripts(), and type_compatible_with_points_to_cell_p().
void free_cell_interpretation | ( | cell_interpretation | p | ) |
Definition at line 194 of file effects.c.
References gen_free().
Referenced by single_pointer_assignment_to_post_pv().
void free_cell_relation | ( | cell_relation | p | ) |
Definition at line 308 of file effects.c.
References gen_free().
Referenced by cell_relations_generic_binary_op(), kill_pointer_value(), make_simple_pv_from_simple_effects(), and pointer_values_remove_var().
void free_cell_relations | ( | cell_relations | p | ) |
Definition at line 350 of file effects.c.
References gen_free().
void free_descriptor | ( | descriptor | p | ) |
Definition at line 392 of file effects.c.
References gen_free().
Referenced by convex_in_effect_loop_range_fix().
void free_effect | ( | effect | p | ) |
Definition at line 451 of file effects.c.
References gen_free().
Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_pointer_values(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), forloop_to_post_pv(), generic_eval_cell_with_points_to(), loop_initialization_to_transformer(), loop_to_post_pv(), region_exact_projection_along_parameters(), region_exact_projection_along_variable(), region_exact_projection_along_variables(), region_non_exact_projection_along_parameters(), region_non_exact_projection_along_variables(), simple_effect_to_constant_path_effects_with_pointer_values(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and whileloop_to_post_pv().
void free_effects | ( | effects | p | ) |
Definition at line 535 of file effects.c.
References gen_free().
Referenced by quick_privatize_statement_pair().
void free_effects_classes | ( | effects_classes | p | ) |
Definition at line 493 of file effects.c.
References gen_free().
void free_entity_effects | ( | entity_effects | p | ) |
Definition at line 577 of file effects.c.
References gen_free().
void free_gap | ( | gap | p | ) |
Definition at line 634 of file effects.c.
References gen_free().
void free_interpreted_cell | ( | interpreted_cell | p | ) |
Definition at line 676 of file effects.c.
References gen_free().
void free_path_selector | ( | path_selector | p | ) |
Definition at line 718 of file effects.c.
References gen_free().
void free_path_selectors | ( | path_selectors | p | ) |
Definition at line 773 of file effects.c.
References gen_free().
void free_persistant_expression_to_effects | ( | persistant_expression_to_effects | p | ) |
Definition at line 815 of file effects.c.
References gen_free().
void free_recursive_selector | ( | recursive_selector | p | ) |
Definition at line 872 of file effects.c.
References gen_free().
void free_statement_cell_relations | ( | statement_cell_relations | p | ) |
Definition at line 914 of file effects.c.
References gen_free().
void free_statement_effects | ( | statement_effects | p | ) |
Definition at line 971 of file effects.c.
References gen_free().
Referenced by step_compile_analysed_module().
Definition at line 650 of file effects.c.
References check_gap(), gap_defined_p(), and message_assert.
Definition at line 640 of file effects.c.
References check_gap(), and gen_consistent_p().
Definition at line 644 of file effects.c.
References gen_defined_p().
Referenced by gap_assign_contents().
void gap_non_recursive_free | ( | gap | p | ) |
Definition at line 93 of file effects.c.
References ACTION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_action_kind_cons | ( | action_kind | p, |
list | l | ||
) |
Definition at line 34 of file effects.c.
References ACTION_KIND_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_approximation_cons | ( | approximation | p, |
list | l | ||
) |
Definition at line 148 of file effects.c.
References APPROXIMATION_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 262 of file effects.c.
References CELL_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_interpretation_cons | ( | cell_interpretation | p, |
list | l | ||
) |
Definition at line 207 of file effects.c.
References CELL_INTERPRETATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_relation_cons | ( | cell_relation | p, |
list | l | ||
) |
Definition at line 321 of file effects.c.
References CELL_RELATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_cell_relations_cons | ( | cell_relations | p, |
list | l | ||
) |
Definition at line 363 of file effects.c.
References CELL_RELATIONS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_descriptor_cons | ( | descriptor | p, |
list | l | ||
) |
Definition at line 405 of file effects.c.
References DESCRIPTOR_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 464 of file effects.c.
References EFFECT_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_effects_classes_cons | ( | effects_classes | p, |
list | l | ||
) |
Definition at line 506 of file effects.c.
References EFFECTS_CLASSES_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 548 of file effects.c.
References EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_entity_effects_cons | ( | entity_effects | p, |
list | l | ||
) |
Definition at line 590 of file effects.c.
References ENTITY_EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 647 of file effects.c.
References GAP_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_interpreted_cell_cons | ( | interpreted_cell | p, |
list | l | ||
) |
Definition at line 689 of file effects.c.
References gen_typed_cons(), and INTERPRETED_CELL_NEWGEN_DOMAIN.
list gen_path_selector_cons | ( | path_selector | p, |
list | l | ||
) |
Definition at line 731 of file effects.c.
References gen_typed_cons(), and PATH_SELECTOR_NEWGEN_DOMAIN.
list gen_path_selectors_cons | ( | path_selectors | p, |
list | l | ||
) |
Definition at line 786 of file effects.c.
References gen_typed_cons(), and PATH_SELECTORS_NEWGEN_DOMAIN.
list gen_persistant_expression_to_effects_cons | ( | persistant_expression_to_effects | p, |
list | l | ||
) |
Definition at line 828 of file effects.c.
References gen_typed_cons(), and PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN.
list gen_recursive_selector_cons | ( | recursive_selector | p, |
list | l | ||
) |
Definition at line 885 of file effects.c.
References gen_typed_cons(), and RECURSIVE_SELECTOR_NEWGEN_DOMAIN.
list gen_statement_cell_relations_cons | ( | statement_cell_relations | p, |
list | l | ||
) |
Definition at line 927 of file effects.c.
References gen_typed_cons(), and STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN.
list gen_statement_effects_cons | ( | statement_effects | p, |
list | l | ||
) |
Definition at line 984 of file effects.c.
References gen_typed_cons(), and STATEMENT_EFFECTS_NEWGEN_DOMAIN.
void interpreted_cell_assign_contents | ( | interpreted_cell | r, |
interpreted_cell | v | ||
) |
Definition at line 692 of file effects.c.
References check_interpreted_cell(), interpreted_cell_defined_p(), and message_assert.
bool interpreted_cell_consistent_p | ( | interpreted_cell | p | ) |
Definition at line 682 of file effects.c.
References check_interpreted_cell(), and gen_consistent_p().
bool interpreted_cell_defined_p | ( | interpreted_cell | p | ) |
Definition at line 686 of file effects.c.
References gen_defined_p().
Referenced by interpreted_cell_assign_contents().
void interpreted_cell_non_recursive_free | ( | interpreted_cell | p | ) |
action make_action | ( | enum | action_utype, |
void * | val | ||
) |
Definition at line 120 of file effects.c.
References action_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by InitCompDesc(), make_action_read(), and make_action_write().
action_kind make_action_kind | ( | enum | action_kind_utype, |
void * | val | ||
) |
Definition at line 62 of file effects.c.
References action_kind_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_action_kind_environment(), make_action_kind_store(), and make_action_kind_type_declaration().
action_kind make_action_kind_environment | ( | void | ) |
Definition at line 68 of file effects.c.
References is_action_kind_environment, make_action_kind(), and UU.
action_kind make_action_kind_store | ( | void | ) |
Definition at line 65 of file effects.c.
References is_action_kind_store, make_action_kind(), and UU.
Referenced by make_action_read_memory(), and make_action_write_memory().
action_kind make_action_kind_type_declaration | ( | void | ) |
Definition at line 71 of file effects.c.
References is_action_kind_type_declaration, make_action_kind(), and UU.
action make_action_read | ( | action_kind | _field_ | ) |
Definition at line 123 of file effects.c.
References intptr_t, is_action_read, and make_action().
Referenced by make_action_read_memory().
action make_action_write | ( | action_kind | _field_ | ) |
Definition at line 126 of file effects.c.
References intptr_t, is_action_write, and make_action().
Referenced by make_action_write_memory().
approximation make_approximation | ( | enum | approximation_utype, |
void * | val | ||
) |
Definition at line 176 of file effects.c.
References approximation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by effect_may_union(), effect_must_union(), generic_transform_sink_cells_from_matching_list(), make_address_of_pointer_value(), make_approximation_exact(), make_approximation_may(), make_approximation_must(), make_value_of_pointer_value(), region_union(), and summary_to_proper_reference().
approximation make_approximation_exact | ( | void | ) |
Definition at line 185 of file effects.c.
References is_approximation_exact, make_approximation(), and UU.
Referenced by array_must_fully_written_by_regions_p(), call_to_post_pv(), compute_points_to_binded_set(), compute_send_regions(), convex_cell_reference_preceding_p(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), do_isolate_statement_preconditions_satisified_p(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), free_to_post_pv(), gen_may_constant_paths(), gen_must_constant_paths(), generic_effect_find_aliases_with_simple_pointer_values(), global_source_to_sinks(), heap_intrinsic_to_post_pv(), kill_may_set(), loop_initialization_to_transformer(), malloc_to_points_to_sinks(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), null_equal_condition_to_points_to(), opgen_null_location(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), simple_reference_to_convex_reference_conversion(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), and user_call_to_points_to_fast_interprocedural().
approximation make_approximation_may | ( | void | ) |
Definition at line 179 of file effects.c.
References is_approximation_may, make_approximation(), and UU.
Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), cells_to_read_or_write_effects(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), do_isolate_statement_preconditions_satisified_p(), exact_to_may_points_to_set(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), free_to_post_pv(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_eval_cell_with_points_to(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_points_to_arcs(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().
approximation make_approximation_must | ( | void | ) |
Definition at line 182 of file effects.c.
References is_approximation_must, make_approximation(), and UU.
cell make_cell | ( | enum | cell_utype, |
void * | val | ||
) |
Definition at line 290 of file effects.c.
References cell_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by convex_cell_reference_preceding_p(), generic_transform_sink_cells_from_matching_list(), loop_initialization_to_transformer(), make_cell_gap(), make_cell_preference(), make_cell_reference(), and make_simple_pv_from_simple_effects().
Definition at line 299 of file effects.c.
References intptr_t, is_cell_gap, and make_cell().
cell_interpretation make_cell_interpretation | ( | enum | cell_interpretation_utype, |
void * | val | ||
) |
Definition at line 234 of file effects.c.
References cell_interpretation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_cell_interpretation_address_of(), and make_cell_interpretation_value_of().
cell_interpretation make_cell_interpretation_address_of | ( | void | ) |
Definition at line 240 of file effects.c.
References is_cell_interpretation_address_of, make_cell_interpretation(), and UU.
Referenced by binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), external_call_to_post_pv(), forloop_to_post_pv(), heap_intrinsic_to_post_pv(), loop_to_post_pv(), make_address_of_pointer_value(), multiple_pointer_assignment_to_post_pv(), safe_intrinsic_to_post_pv(), single_pointer_assignment_to_post_pv(), update_operator_to_post_pv(), and whileloop_to_post_pv().
cell_interpretation make_cell_interpretation_value_of | ( | void | ) |
Definition at line 237 of file effects.c.
References is_cell_interpretation_value_of, make_cell_interpretation(), and UU.
Referenced by assignment_to_post_pv(), call_to_post_pv(), expression_to_post_pv(), free_to_post_pv(), make_address_of_pointer_value(), and make_value_of_pointer_value().
cell make_cell_preference | ( | preference | _field_ | ) |
Definition at line 296 of file effects.c.
References intptr_t, is_cell_preference, and make_cell().
Definition at line 293 of file effects.c.
References intptr_t, is_cell_reference, and make_cell().
Referenced by anywhere_effect(), anywhere_source_to_sinks(), application_to_points_to_sinks(), array_formal_parameter_to_stub_points_to(), array_to_constant_paths(), assignment_to_points_to(), binary_intrinsic_call_to_points_to_sinks(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_points_to_sinks(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_kill_set(), create_pointer_to_array_stub_points_to(), create_scalar_stub_sink_cell(), create_stub_points_to(), derived_formal_parameter_to_stub_points_to(), effect_may_union(), effect_must_union(), entity_to_cell(), entity_to_sinks(), flow_sensitive_malloc_to_points_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), heap_effect(), heap_intrinsic_to_post_pv(), init_points_to_analysis(), make_anywhere_anywhere_pvs(), make_anywhere_cell(), make_anywhere_points_to_cell(), make_nowhere_cell(), make_null_pointer_value_cell(), make_typed_nowhere_cell(), make_undefined_pointer_value_cell(), max_module(), module_initial_parameter_pv(), opkill_may_name(), opkill_must_name(), points_to_anywhere(), points_to_anywhere_typed(), points_to_cell_to_upper_bound_points_to_cells(), points_to_cell_translation(), points_to_cells_minimal_upper_bound(), points_to_cells_parameters(), points_to_cells_pointer_arguments(), points_to_with_stripped_sink(), proper_to_summary_simple_effect(), reference_condition_to_points_to(), reference_dereferencing_to_points_to(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), remove_arcs_from_pt_map(), simple_cell_to_convex_cell_conversion(), simple_pv_translate(), simple_reference_to_convex_reference_conversion(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_locations(), typedef_formal_parameter_to_stub_points_to(), user_call_to_points_to_sinks(), and variable_to_pointer_locations().
cell_relation make_cell_relation | ( | interpreted_cell | a1, |
interpreted_cell | a2, | ||
approximation | a3, | ||
descriptor | a4 | ||
) |
Definition at line 341 of file effects.c.
References cell_relation_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().
cell_relations make_cell_relations | ( | list | a | ) |
Definition at line 383 of file effects.c.
References cell_relations_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by db_put_in_simple_pv(), db_put_initial_simple_pv(), db_put_out_simple_pv(), db_put_program_simple_pv(), sequence_to_post_pv(), and statement_to_post_pv().
descriptor make_descriptor | ( | enum | descriptor_utype, |
void * | val | ||
) |
Definition at line 433 of file effects.c.
References descriptor_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), make_descriptor_convex(), make_descriptor_convexunion(), make_descriptor_none(), simple_cell_to_simple_cell_conversion(), and simple_reference_to_simple_reference_conversion().
descriptor make_descriptor_convex | ( | Psysteme | _field_ | ) |
Definition at line 439 of file effects.c.
References intptr_t, is_descriptor_convex, and make_descriptor().
Referenced by filter_live_out_regions_statement(), and simple_reference_to_convex_reference_conversion().
descriptor make_descriptor_convexunion | ( | list | _field_ | ) |
Definition at line 436 of file effects.c.
References intptr_t, is_descriptor_convexunion, and make_descriptor().
descriptor make_descriptor_none | ( | void | ) |
Definition at line 442 of file effects.c.
References is_descriptor_none, make_descriptor(), and UU.
Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), heap_intrinsic_to_post_pv(), k_limit_points_to(), kill_may_set(), kill_pointer_value(), loop_initialization_to_transformer(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), make_simple_pv_from_simple_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), opgen_null_location(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().
effect make_effect | ( | cell | a1, |
action | a2, | ||
approximation | a3, | ||
descriptor | a4 | ||
) |
Definition at line 484 of file effects.c.
References effect_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by anywhere_effect(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_post_pv(), convex_cell_reference_preceding_p(), expression_to_post_pv(), filter_live_out_regions_statement(), free_to_post_pv(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), heap_effect(), heap_intrinsic_to_post_pv(), loop_initialization_to_transformer(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and use_default_sink_cell().
Definition at line 568 of file effects.c.
References effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by add_alias_lists_callee(), add_parameter_aliases_for_this_call_site(), add_unmatched_alias_pairs(), compare_matched_alias_pairs(), compare_unmatched_alias_pairs(), list_to_effects(), quick_privatize_statement_pair(), step_recv_regions_list_store(), step_send_regions_list_store(), and unite_lists_containing_same_exact_region().
effects_classes make_effects_classes | ( | list | a | ) |
Definition at line 526 of file effects.c.
References effects_classes_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by alias_classes(), alias_lists(), in_alias_pairs(), and out_alias_pairs().
entity_effects make_entity_effects | ( | void | ) |
Definition at line 610 of file effects.c.
References entity_effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.
gap make_gap | ( | entity | a1, |
path_selectors | a2 | ||
) |
Definition at line 667 of file effects.c.
References gap_domain, gen_alloc(), and GEN_CHECK_ALLOC.
interpreted_cell make_interpreted_cell | ( | cell | a1, |
cell_interpretation | a2 | ||
) |
Definition at line 709 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and interpreted_cell_domain.
Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().
path_selector make_path_selector | ( | enum | path_selector_utype, |
void * | val | ||
) |
Definition at line 758 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and path_selector_domain.
Referenced by make_path_selector_expression(), and make_path_selector_recursive_selector().
path_selector make_path_selector_expression | ( | expression | _field_ | ) |
Definition at line 761 of file effects.c.
References intptr_t, is_path_selector_expression, and make_path_selector().
path_selector make_path_selector_recursive_selector | ( | recursive_selector | _field_ | ) |
Definition at line 764 of file effects.c.
References intptr_t, is_path_selector_recursive_selector, and make_path_selector().
path_selectors make_path_selectors | ( | list | a | ) |
Definition at line 806 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and path_selectors_domain.
persistant_expression_to_effects make_persistant_expression_to_effects | ( | void | ) |
Definition at line 848 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and persistant_expression_to_effects_domain.
recursive_selector make_recursive_selector | ( | list | a1, |
expression | a2 | ||
) |
Definition at line 905 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and recursive_selector_domain.
statement_cell_relations make_statement_cell_relations | ( | void | ) |
Definition at line 947 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and statement_cell_relations_domain.
statement_effects make_statement_effects | ( | void | ) |
Definition at line 1004 of file effects.c.
References gen_alloc(), GEN_CHECK_ALLOC, and statement_effects_domain.
void path_selector_assign_contents | ( | path_selector | r, |
path_selector | v | ||
) |
Definition at line 734 of file effects.c.
References check_path_selector(), message_assert, and path_selector_defined_p().
bool path_selector_consistent_p | ( | path_selector | p | ) |
Definition at line 724 of file effects.c.
References check_path_selector(), and gen_consistent_p().
bool path_selector_defined_p | ( | path_selector | p | ) |
Definition at line 728 of file effects.c.
References gen_defined_p().
Referenced by path_selector_assign_contents().
void path_selector_non_recursive_free | ( | path_selector | p | ) |
string path_selector_tag_as_string | ( | enum | path_selector_utype | ) |
Definition at line 751 of file effects.c.
References is_path_selector_expression, is_path_selector_recursive_selector, and string_undefined.
void path_selectors_assign_contents | ( | path_selectors | r, |
path_selectors | v | ||
) |
Definition at line 789 of file effects.c.
References check_path_selectors(), message_assert, and path_selectors_defined_p().
bool path_selectors_consistent_p | ( | path_selectors | p | ) |
Definition at line 779 of file effects.c.
References check_path_selectors(), and gen_consistent_p().
bool path_selectors_defined_p | ( | path_selectors | p | ) |
Definition at line 783 of file effects.c.
References gen_defined_p().
Referenced by path_selectors_assign_contents().
void path_selectors_non_recursive_free | ( | path_selectors | p | ) |
void persistant_expression_to_effects_assign_contents | ( | persistant_expression_to_effects | r, |
persistant_expression_to_effects | v | ||
) |
Definition at line 831 of file effects.c.
References check_persistant_expression_to_effects(), message_assert, and persistant_expression_to_effects_defined_p().
bool persistant_expression_to_effects_consistent_p | ( | persistant_expression_to_effects | p | ) |
Definition at line 821 of file effects.c.
References check_persistant_expression_to_effects(), and gen_consistent_p().
bool persistant_expression_to_effects_defined_p | ( | persistant_expression_to_effects | p | ) |
Definition at line 825 of file effects.c.
References gen_defined_p().
Referenced by persistant_expression_to_effects_assign_contents().
void persistant_expression_to_effects_non_recursive_free | ( | persistant_expression_to_effects | p | ) |
action read_action | ( | FILE * | f | ) |
Definition at line 110 of file effects.c.
References f(), and gen_read().
action_kind read_action_kind | ( | FILE * | f | ) |
Definition at line 51 of file effects.c.
References f(), and gen_read().
approximation read_approximation | ( | FILE * | f | ) |
Definition at line 165 of file effects.c.
References f(), and gen_read().
cell read_cell | ( | FILE * | f | ) |
cell_interpretation read_cell_interpretation | ( | FILE * | f | ) |
Definition at line 224 of file effects.c.
References f(), and gen_read().
cell_relation read_cell_relation | ( | FILE * | f | ) |
Definition at line 338 of file effects.c.
References f(), and gen_read().
cell_relations read_cell_relations | ( | FILE * | f | ) |
Definition at line 380 of file effects.c.
References f(), and gen_read().
descriptor read_descriptor | ( | FILE * | f | ) |
Definition at line 422 of file effects.c.
References f(), and gen_read().
effect read_effect | ( | FILE * | f | ) |
effects read_effects | ( | FILE * | f | ) |
effects_classes read_effects_classes | ( | FILE * | f | ) |
Definition at line 523 of file effects.c.
References f(), and gen_read().
entity_effects read_entity_effects | ( | FILE * | f | ) |
Definition at line 607 of file effects.c.
References f(), and gen_read().
gap read_gap | ( | FILE * | f | ) |
interpreted_cell read_interpreted_cell | ( | FILE * | f | ) |
Definition at line 706 of file effects.c.
References f(), and gen_read().
path_selector read_path_selector | ( | FILE * | f | ) |
Definition at line 748 of file effects.c.
References f(), and gen_read().
path_selectors read_path_selectors | ( | FILE * | f | ) |
Definition at line 803 of file effects.c.
References f(), and gen_read().
persistant_expression_to_effects read_persistant_expression_to_effects | ( | FILE * | f | ) |
Definition at line 845 of file effects.c.
References f(), and gen_read().
recursive_selector read_recursive_selector | ( | FILE * | f | ) |
Definition at line 902 of file effects.c.
References f(), and gen_read().
statement_cell_relations read_statement_cell_relations | ( | FILE * | f | ) |
Definition at line 944 of file effects.c.
References f(), and gen_read().
statement_effects read_statement_effects | ( | FILE * | f | ) |
Definition at line 1001 of file effects.c.
References f(), and gen_read().
void recursive_selector_assign_contents | ( | recursive_selector | r, |
recursive_selector | v | ||
) |
Definition at line 888 of file effects.c.
References check_recursive_selector(), message_assert, and recursive_selector_defined_p().
bool recursive_selector_consistent_p | ( | recursive_selector | p | ) |
Definition at line 878 of file effects.c.
References check_recursive_selector(), and gen_consistent_p().
bool recursive_selector_defined_p | ( | recursive_selector | p | ) |
Definition at line 882 of file effects.c.
References gen_defined_p().
Referenced by recursive_selector_assign_contents().
void recursive_selector_non_recursive_free | ( | recursive_selector | p | ) |
void statement_cell_relations_assign_contents | ( | statement_cell_relations | r, |
statement_cell_relations | v | ||
) |
Definition at line 930 of file effects.c.
References check_statement_cell_relations(), message_assert, and statement_cell_relations_defined_p().
bool statement_cell_relations_consistent_p | ( | statement_cell_relations | p | ) |
Definition at line 920 of file effects.c.
References check_statement_cell_relations(), and gen_consistent_p().
bool statement_cell_relations_defined_p | ( | statement_cell_relations | p | ) |
Definition at line 924 of file effects.c.
References gen_defined_p().
Referenced by statement_cell_relations_assign_contents().
void statement_cell_relations_non_recursive_free | ( | statement_cell_relations | p | ) |
void statement_effects_assign_contents | ( | statement_effects | r, |
statement_effects | v | ||
) |
Definition at line 987 of file effects.c.
References check_statement_effects(), message_assert, and statement_effects_defined_p().
bool statement_effects_consistent_p | ( | statement_effects | p | ) |
Definition at line 977 of file effects.c.
References check_statement_effects(), and gen_consistent_p().
bool statement_effects_defined_p | ( | statement_effects | p | ) |
Definition at line 981 of file effects.c.
References gen_defined_p().
Referenced by statement_effects_assign_contents().
void statement_effects_non_recursive_free | ( | statement_effects | p | ) |
void update_entity_effects | ( | entity_effects | f, |
entity | k, | ||
effects | v | ||
) |
Definition at line 616 of file effects.c.
References entity_effects_hash_table, f(), HASH_UPDATE, and intptr_t.
void update_persistant_expression_to_effects | ( | persistant_expression_to_effects | f, |
expression | k, | ||
effects | v | ||
) |
Definition at line 854 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and persistant_expression_to_effects_hash_table.
void update_statement_cell_relations | ( | statement_cell_relations | f, |
statement | k, | ||
cell_relations | v | ||
) |
Definition at line 953 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and statement_cell_relations_hash_table.
void update_statement_effects | ( | statement_effects | f, |
statement | k, | ||
effects | v | ||
) |
Definition at line 1010 of file effects.c.
References f(), HASH_UPDATE, intptr_t, and statement_effects_hash_table.
void write_action | ( | FILE * | f, |
action | p | ||
) |
Definition at line 107 of file effects.c.
References f(), and gen_write().
void write_action_kind | ( | FILE * | f, |
action_kind | p | ||
) |
void write_approximation | ( | FILE * | f, |
approximation | p | ||
) |
void write_cell | ( | FILE * | f, |
cell | p | ||
) |
void write_cell_interpretation | ( | FILE * | f, |
cell_interpretation | p | ||
) |
void write_cell_relation | ( | FILE * | f, |
cell_relation | p | ||
) |
void write_cell_relations | ( | FILE * | f, |
cell_relations | p | ||
) |
void write_descriptor | ( | FILE * | f, |
descriptor | p | ||
) |
void write_effect | ( | FILE * | f, |
effect | p | ||
) |
void write_effects | ( | FILE * | f, |
effects | p | ||
) |
Definition at line 562 of file effects.c.
References f(), and gen_write().
Referenced by potential_out_effects_p().
void write_effects_classes | ( | FILE * | f, |
effects_classes | p | ||
) |
void write_entity_effects | ( | FILE * | f, |
entity_effects | p | ||
) |
void write_gap | ( | FILE * | f, |
gap | p | ||
) |
void write_interpreted_cell | ( | FILE * | f, |
interpreted_cell | p | ||
) |
void write_path_selector | ( | FILE * | f, |
path_selector | p | ||
) |
void write_path_selectors | ( | FILE * | f, |
path_selectors | p | ||
) |
void write_persistant_expression_to_effects | ( | FILE * | f, |
persistant_expression_to_effects | p | ||
) |
void write_recursive_selector | ( | FILE * | f, |
recursive_selector | p | ||
) |
void write_statement_cell_relations | ( | FILE * | f, |
statement_cell_relations | p | ||
) |
void write_statement_effects | ( | FILE * | f, |
statement_effects | p | ||
) |