PIPS
|
Go to the source code of this file.
Typedefs | |
typedef void * | Pvecteur |
void bound_pair_assign_contents | ( | bound_pair | r, |
bound_pair | v | ||
) |
Definition at line 37 of file compsec.c.
References bound_pair_defined_p(), check_bound_pair(), and message_assert.
bool bound_pair_consistent_p | ( | bound_pair | p | ) |
Definition at line 27 of file compsec.c.
References check_bound_pair(), and gen_consistent_p().
bool bound_pair_defined_p | ( | bound_pair | p | ) |
Definition at line 31 of file compsec.c.
References gen_defined_p().
Referenced by bound_pair_assign_contents().
void bound_pair_non_recursive_free | ( | bound_pair | p | ) |
bound_pair check_bound_pair | ( | bound_pair | p | ) |
Definition at line 24 of file compsec.c.
References bound_pair_domain, and gen_check().
Referenced by bound_pair_assign_contents(), and bound_pair_consistent_p().
Definition at line 66 of file compsec.c.
References comp_desc_domain, and gen_check().
Referenced by comp_desc_assign_contents(), and comp_desc_consistent_p().
comp_desc_set check_comp_desc_set | ( | comp_desc_set | p | ) |
Definition at line 108 of file compsec.c.
References comp_desc_set_domain, and gen_check().
Referenced by comp_desc_set_assign_contents(), and comp_desc_set_consistent_p().
Definition at line 150 of file compsec.c.
References comp_sec_domain, and gen_check().
Referenced by comp_sec_assign_contents(), and comp_sec_consistent_p().
context_info check_context_info | ( | context_info | p | ) |
Definition at line 192 of file compsec.c.
References context_info_domain, and gen_check().
Referenced by context_info_assign_contents(), and context_info_consistent_p().
dad_struct check_dad_struct | ( | dad_struct | p | ) |
Definition at line 234 of file compsec.c.
References dad_struct_domain, and gen_check().
Referenced by dad_struct_assign_contents(), and dad_struct_consistent_p().
Definition at line 276 of file compsec.c.
References gen_check(), and ref_temp_domain.
Referenced by ref_temp_assign_contents(), and ref_temp_consistent_p().
Definition at line 318 of file compsec.c.
References gen_check(), and rtype_domain.
Referenced by rtype_assign_contents(), and rtype_consistent_p().
simple_section check_simple_section | ( | simple_section | p | ) |
Definition at line 377 of file compsec.c.
References gen_check(), and simple_section_domain.
Referenced by simple_section_assign_contents(), and simple_section_consistent_p().
Definition at line 79 of file compsec.c.
References check_comp_desc(), comp_desc_defined_p(), and message_assert.
Definition at line 69 of file compsec.c.
References check_comp_desc(), and gen_consistent_p().
Definition at line 73 of file compsec.c.
References gen_defined_p().
Referenced by comp_desc_assign_contents().
void comp_desc_non_recursive_free | ( | comp_desc | p | ) |
void comp_desc_set_assign_contents | ( | comp_desc_set | r, |
comp_desc_set | v | ||
) |
Definition at line 121 of file compsec.c.
References check_comp_desc_set(), comp_desc_set_defined_p(), and message_assert.
bool comp_desc_set_consistent_p | ( | comp_desc_set | p | ) |
Definition at line 111 of file compsec.c.
References check_comp_desc_set(), and gen_consistent_p().
bool comp_desc_set_defined_p | ( | comp_desc_set | p | ) |
Definition at line 115 of file compsec.c.
References gen_defined_p().
Referenced by comp_desc_set_assign_contents().
void comp_desc_set_non_recursive_free | ( | comp_desc_set | p | ) |
Definition at line 163 of file compsec.c.
References check_comp_sec(), comp_sec_defined_p(), and message_assert.
Definition at line 153 of file compsec.c.
References check_comp_sec(), and gen_consistent_p().
Definition at line 157 of file compsec.c.
References gen_defined_p().
Referenced by comp_sec_assign_contents().
void comp_sec_non_recursive_free | ( | comp_sec | p | ) |
void context_info_assign_contents | ( | context_info | r, |
context_info | v | ||
) |
Definition at line 205 of file compsec.c.
References check_context_info(), context_info_defined_p(), and message_assert.
bool context_info_consistent_p | ( | context_info | p | ) |
Definition at line 195 of file compsec.c.
References check_context_info(), and gen_consistent_p().
bool context_info_defined_p | ( | context_info | p | ) |
Definition at line 199 of file compsec.c.
References gen_defined_p().
Referenced by context_info_assign_contents().
void context_info_non_recursive_free | ( | context_info | p | ) |
bound_pair copy_bound_pair | ( | bound_pair | p | ) |
BOUND_PAIR.
Definition at line 18 of file compsec.c.
References gen_copy_tree().
COMP_DESC.
Definition at line 60 of file compsec.c.
References gen_copy_tree().
Referenced by comp_region_dup().
comp_desc_set copy_comp_desc_set | ( | comp_desc_set | p | ) |
COMP_DESC_SET.
Definition at line 102 of file compsec.c.
References gen_copy_tree().
COMP_SEC.
Definition at line 144 of file compsec.c.
References gen_copy_tree().
context_info copy_context_info | ( | context_info | p | ) |
CONTEXT_INFO.
Definition at line 186 of file compsec.c.
References gen_copy_tree().
dad_struct copy_dad_struct | ( | dad_struct | p | ) |
DAD_STRUCT.
Definition at line 228 of file compsec.c.
References gen_copy_tree().
REF_TEMP.
Definition at line 270 of file compsec.c.
References gen_copy_tree().
RTYPE.
Definition at line 312 of file compsec.c.
References gen_copy_tree().
simple_section copy_simple_section | ( | simple_section | p | ) |
SIMPLE_SECTION.
Definition at line 371 of file compsec.c.
References gen_copy_tree().
void dad_struct_assign_contents | ( | dad_struct | r, |
dad_struct | v | ||
) |
Definition at line 247 of file compsec.c.
References check_dad_struct(), dad_struct_defined_p(), and message_assert.
bool dad_struct_consistent_p | ( | dad_struct | p | ) |
Definition at line 237 of file compsec.c.
References check_dad_struct(), and gen_consistent_p().
bool dad_struct_defined_p | ( | dad_struct | p | ) |
Definition at line 241 of file compsec.c.
References gen_defined_p().
Referenced by dad_struct_assign_contents().
void dad_struct_non_recursive_free | ( | dad_struct | p | ) |
void free_bound_pair | ( | bound_pair | p | ) |
Definition at line 21 of file compsec.c.
References gen_free().
void free_comp_desc | ( | comp_desc | p | ) |
Definition at line 63 of file compsec.c.
References gen_free().
void free_comp_desc_set | ( | comp_desc_set | p | ) |
Definition at line 105 of file compsec.c.
References gen_free().
void free_comp_sec | ( | comp_sec | p | ) |
Definition at line 147 of file compsec.c.
References gen_free().
void free_context_info | ( | context_info | p | ) |
Definition at line 189 of file compsec.c.
References gen_free().
void free_dad_struct | ( | dad_struct | p | ) |
Definition at line 231 of file compsec.c.
References gen_free().
void free_ref_temp | ( | ref_temp | p | ) |
Definition at line 273 of file compsec.c.
References gen_free().
void free_rtype | ( | rtype | p | ) |
Definition at line 315 of file compsec.c.
References gen_free().
void free_simple_section | ( | simple_section | p | ) |
Definition at line 374 of file compsec.c.
References gen_free().
list gen_bound_pair_cons | ( | bound_pair | p, |
list | l | ||
) |
Definition at line 34 of file compsec.c.
References BOUND_PAIR_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 76 of file compsec.c.
References COMP_DESC_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_comp_desc_set_cons | ( | comp_desc_set | p, |
list | l | ||
) |
Definition at line 118 of file compsec.c.
References COMP_DESC_SET_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 160 of file compsec.c.
References COMP_SEC_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_context_info_cons | ( | context_info | p, |
list | l | ||
) |
Definition at line 202 of file compsec.c.
References CONTEXT_INFO_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dad_struct_cons | ( | dad_struct | p, |
list | l | ||
) |
Definition at line 244 of file compsec.c.
References DAD_STRUCT_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 286 of file compsec.c.
References gen_typed_cons(), and REF_TEMP_NEWGEN_DOMAIN.
Definition at line 328 of file compsec.c.
References gen_typed_cons(), and RTYPE_NEWGEN_DOMAIN.
list gen_simple_section_cons | ( | simple_section | p, |
list | l | ||
) |
Definition at line 387 of file compsec.c.
References gen_typed_cons(), and SIMPLE_SECTION_NEWGEN_DOMAIN.
bound_pair make_bound_pair | ( | intptr_t | a1, |
Pvecteur | a2, | ||
Pvecteur | a3 | ||
) |
Definition at line 54 of file compsec.c.
References bound_pair_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by AllocateDadStruct().
Definition at line 96 of file compsec.c.
References comp_desc_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by InitCompDesc().
comp_desc_set make_comp_desc_set | ( | list | a | ) |
Definition at line 138 of file compsec.c.
References comp_desc_set_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by list_to_comp_secs(), and summary_complementary_sections().
comp_sec make_comp_sec | ( | simple_section | a1, |
list | a2 | ||
) |
Definition at line 180 of file compsec.c.
References comp_sec_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by InitCompDesc().
context_info make_context_info | ( | intptr_t | a1, |
intptr_t | a2, | ||
intptr_t | a3 | ||
) |
Definition at line 222 of file compsec.c.
References context_info_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by AllocateSimpleSection().
dad_struct make_dad_struct | ( | list | a1, |
list | a2 | ||
) |
Definition at line 264 of file compsec.c.
References dad_struct_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by AllocateDadStruct(), and SimpUnion().
Definition at line 306 of file compsec.c.
References gen_alloc(), GEN_CHECK_ALLOC, and ref_temp_domain.
Referenced by AllocateDadStruct().
rtype make_rtype | ( | enum rtype_utype | tag, |
void * | val | ||
) |
Definition at line 356 of file compsec.c.
References gen_alloc(), GEN_CHECK_ALLOC, and rtype_domain.
Referenced by AllocateDadStruct(), make_rtype_lininvariant(), make_rtype_linvariant(), and make_rtype_nonlinear().
rtype make_rtype_lininvariant | ( | void | ) |
Definition at line 365 of file compsec.c.
References is_rtype_lininvariant, make_rtype(), and UU.
rtype make_rtype_linvariant | ( | void | ) |
Definition at line 362 of file compsec.c.
References is_rtype_linvariant, make_rtype(), and UU.
rtype make_rtype_nonlinear | ( | void | ) |
Definition at line 359 of file compsec.c.
References is_rtype_nonlinear, make_rtype(), and UU.
simple_section make_simple_section | ( | context_info | a1, |
dad_struct | a2 | ||
) |
Definition at line 407 of file compsec.c.
References gen_alloc(), GEN_CHECK_ALLOC, and simple_section_domain.
Referenced by AllocateSimpleSection(), and SimpUnion().
bound_pair read_bound_pair | ( | FILE * | f | ) |
Definition at line 51 of file compsec.c.
References f(), and gen_read().
comp_desc read_comp_desc | ( | FILE * | f | ) |
comp_desc_set read_comp_desc_set | ( | FILE * | f | ) |
Definition at line 135 of file compsec.c.
References f(), and gen_read().
comp_sec read_comp_sec | ( | FILE * | f | ) |
context_info read_context_info | ( | FILE * | f | ) |
Definition at line 219 of file compsec.c.
References f(), and gen_read().
dad_struct read_dad_struct | ( | FILE * | f | ) |
Definition at line 261 of file compsec.c.
References f(), and gen_read().
ref_temp read_ref_temp | ( | FILE * | f | ) |
rtype read_rtype | ( | FILE * | f | ) |
simple_section read_simple_section | ( | FILE * | f | ) |
Definition at line 404 of file compsec.c.
References f(), and gen_read().
Definition at line 289 of file compsec.c.
References check_ref_temp(), message_assert, and ref_temp_defined_p().
Definition at line 279 of file compsec.c.
References check_ref_temp(), and gen_consistent_p().
Definition at line 283 of file compsec.c.
References gen_defined_p().
Referenced by ref_temp_assign_contents().
void ref_temp_non_recursive_free | ( | ref_temp | p | ) |
Definition at line 331 of file compsec.c.
References check_rtype(), message_assert, and rtype_defined_p().
Definition at line 321 of file compsec.c.
References check_rtype(), and gen_consistent_p().
Definition at line 325 of file compsec.c.
References gen_defined_p().
Referenced by rtype_assign_contents().
void rtype_non_recursive_free | ( | rtype | p | ) |
string rtype_tag_as_string | ( | enum rtype_utype | tag | ) |
Definition at line 348 of file compsec.c.
References is_rtype_lininvariant, is_rtype_linvariant, is_rtype_nonlinear, and string_undefined.
void simple_section_assign_contents | ( | simple_section | r, |
simple_section | v | ||
) |
Definition at line 390 of file compsec.c.
References check_simple_section(), message_assert, and simple_section_defined_p().
bool simple_section_consistent_p | ( | simple_section | p | ) |
Definition at line 380 of file compsec.c.
References check_simple_section(), and gen_consistent_p().
bool simple_section_defined_p | ( | simple_section | p | ) |
Definition at line 384 of file compsec.c.
References gen_defined_p().
Referenced by simple_section_assign_contents().
void simple_section_non_recursive_free | ( | simple_section | p | ) |
void write_bound_pair | ( | FILE * | f, |
bound_pair | p | ||
) |
Definition at line 48 of file compsec.c.
References f(), and gen_write().
void write_comp_desc | ( | FILE * | f, |
comp_desc | p | ||
) |
void write_comp_desc_set | ( | FILE * | f, |
comp_desc_set | p | ||
) |
void write_comp_sec | ( | FILE * | f, |
comp_sec | p | ||
) |
void write_context_info | ( | FILE * | f, |
context_info | p | ||
) |
void write_dad_struct | ( | FILE * | f, |
dad_struct | p | ||
) |
void write_ref_temp | ( | FILE * | f, |
ref_temp | p | ||
) |
void write_rtype | ( | FILE * | f, |
rtype | p | ||
) |
void write_simple_section | ( | FILE * | f, |
simple_section | p | ||
) |