PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_bound_pair_ |
struct | _newgen_struct_comp_desc_ |
struct | _newgen_struct_comp_desc_set_ |
struct | _newgen_struct_comp_sec_ |
struct | _newgen_struct_context_info_ |
struct | _newgen_struct_dad_struct_ |
struct | _newgen_struct_ref_temp_ |
struct | _newgen_struct_rtype_ |
struct | _newgen_struct_simple_section_ |
Typedefs | |
typedef struct _newgen_struct_reference_ * | reference |
typedef struct _newgen_struct_action_ * | action |
typedef struct _newgen_struct_bound_pair_ * | bound_pair |
typedef struct _newgen_struct_comp_desc_ * | comp_desc |
typedef struct _newgen_struct_comp_desc_set_ * | comp_desc_set |
typedef struct _newgen_struct_comp_sec_ * | comp_sec |
typedef struct _newgen_struct_context_info_ * | context_info |
typedef struct _newgen_struct_dad_struct_ * | dad_struct |
typedef struct _newgen_struct_ref_temp_ * | ref_temp |
typedef struct _newgen_struct_rtype_ * | rtype |
typedef struct _newgen_struct_simple_section_ * | simple_section |
Enumerations | |
enum | rtype_utype { is_rtype_nonlinear , is_rtype_linvariant , is_rtype_lininvariant } |
#define _newgen_action_domain_defined_ |
#define _newgen_Pvecteur_domain_defined_ |
#define ACTION_NEWGEN_DOMAIN (action_domain) |
#define action_NEWGEN_DOMAIN (action_domain) |
#define BOUND_PAIR | ( | x | ) | ((bound_pair)((x).p)) |
#define bound_pair_CAST | ( | x | ) | BOUND_PAIR(x) |
#define BOUND_PAIR_CAST | ( | x | ) | BOUND_PAIR(x) |
#define bound_pair_domain (_gen_compsec_start+1) |
#define bound_pair_index_ | ( | x | ) | bound_pair_index(x) /**old hack compatible */ |
#define bound_pair_lb_ | ( | x | ) | bound_pair_lb(x) /**old hack compatible */ |
#define BOUND_PAIR_NEWGEN_DOMAIN (bound_pair_domain) |
#define bound_pair_NEWGEN_DOMAIN (bound_pair_domain) |
#define BOUND_PAIR_TYPE bound_pair |
#define bound_pair_TYPE bound_pair |
#define bound_pair_ub_ | ( | x | ) | bound_pair_ub(x) /**old hack compatible */ |
#define bound_pair_undefined ((bound_pair)gen_chunk_undefined) |
#define bound_pair_undefined_p | ( | x | ) | ((x)==bound_pair_undefined) |
#define comp_desc_action_ | ( | x | ) | comp_desc_action(x) /**old hack compatible */ |
#define comp_desc_domain (_gen_compsec_start+2) |
#define COMP_DESC_NEWGEN_DOMAIN (comp_desc_domain) |
#define comp_desc_NEWGEN_DOMAIN (comp_desc_domain) |
#define comp_desc_reference_ | ( | x | ) | comp_desc_reference(x) /**old hack compatible */ |
#define comp_desc_section_ | ( | x | ) | comp_desc_section(x) /**old hack compatible */ |
#define COMP_DESC_SET | ( | x | ) | ((comp_desc_set)((x).p)) |
#define comp_desc_set_CAST | ( | x | ) | COMP_DESC_SET(x) |
#define COMP_DESC_SET_CAST | ( | x | ) | COMP_DESC_SET(x) |
#define comp_desc_set_domain (_gen_compsec_start+3) |
#define COMP_DESC_SET_NEWGEN_DOMAIN (comp_desc_set_domain) |
#define comp_desc_set_NEWGEN_DOMAIN (comp_desc_set_domain) |
#define COMP_DESC_SET_TYPE comp_desc_set |
#define comp_desc_set_TYPE comp_desc_set |
#define comp_desc_set_undefined ((comp_desc_set)gen_chunk_undefined) |
#define comp_desc_set_undefined_p | ( | x | ) | ((x)==comp_desc_set_undefined) |
#define comp_desc_undefined ((comp_desc)gen_chunk_undefined) |
#define comp_desc_undefined_p | ( | x | ) | ((x)==comp_desc_undefined) |
#define comp_sec_complements_ | ( | x | ) | comp_sec_complements(x) /**old hack compatible */ |
#define comp_sec_domain (_gen_compsec_start+4) |
#define comp_sec_hull_ | ( | x | ) | comp_sec_hull(x) /**old hack compatible */ |
#define COMP_SEC_NEWGEN_DOMAIN (comp_sec_domain) |
#define comp_sec_NEWGEN_DOMAIN (comp_sec_domain) |
#define comp_sec_undefined ((comp_sec)gen_chunk_undefined) |
#define comp_sec_undefined_p | ( | x | ) | ((x)==comp_sec_undefined) |
#define compsec_spec "\--NEWGEN-START 154\n\import reference from \"ri.newgen\";\n\import action from \"ri.newgen\";\n\external Pvecteur;\n\bound_pair = index:int x lb:Pvecteur x ub:Pvecteur;\n\comp_desc = persistant reference:reference x action:action x section:comp_sec;\n\comp_desc_set = comp_descs:comp_desc*;\n\comp_sec = hull:simple_section x complements:simple_section*;\n\context_info = line:int x rank:int x nest:int;\n\dad_struct = rtemps:ref_temp* x shape:bound_pair*;\n\ref_temp = index:int x rtype:rtype;\n\rtype = nonlinear:unit + linvariant:unit + lininvariant:unit;\n\simple_section = context:context_info x dad:dad_struct;\n\" |
#define CONTEXT_INFO | ( | x | ) | ((context_info)((x).p)) |
#define context_info_CAST | ( | x | ) | CONTEXT_INFO(x) |
#define CONTEXT_INFO_CAST | ( | x | ) | CONTEXT_INFO(x) |
#define context_info_domain (_gen_compsec_start+5) |
#define context_info_line_ | ( | x | ) | context_info_line(x) /**old hack compatible */ |
#define context_info_nest_ | ( | x | ) | context_info_nest(x) /**old hack compatible */ |
#define CONTEXT_INFO_NEWGEN_DOMAIN (context_info_domain) |
#define context_info_NEWGEN_DOMAIN (context_info_domain) |
#define context_info_rank_ | ( | x | ) | context_info_rank(x) /**old hack compatible */ |
#define CONTEXT_INFO_TYPE context_info |
#define context_info_TYPE context_info |
#define context_info_undefined ((context_info)gen_chunk_undefined) |
#define context_info_undefined_p | ( | x | ) | ((x)==context_info_undefined) |
#define DAD_STRUCT | ( | x | ) | ((dad_struct)((x).p)) |
#define dad_struct_CAST | ( | x | ) | DAD_STRUCT(x) |
#define DAD_STRUCT_CAST | ( | x | ) | DAD_STRUCT(x) |
#define dad_struct_domain (_gen_compsec_start+6) |
#define DAD_STRUCT_NEWGEN_DOMAIN (dad_struct_domain) |
#define dad_struct_NEWGEN_DOMAIN (dad_struct_domain) |
#define dad_struct_rtemps_ | ( | x | ) | dad_struct_rtemps(x) /**old hack compatible */ |
#define dad_struct_shape_ | ( | x | ) | dad_struct_shape(x) /**old hack compatible */ |
#define DAD_STRUCT_TYPE dad_struct |
#define dad_struct_TYPE dad_struct |
#define dad_struct_undefined ((dad_struct)gen_chunk_undefined) |
#define dad_struct_undefined_p | ( | x | ) | ((x)==dad_struct_undefined) |
#define gen_BOUND_PAIR_cons gen_bound_pair_cons |
#define gen_COMP_DESC_cons gen_comp_desc_cons |
#define gen_COMP_DESC_SET_cons gen_comp_desc_set_cons |
#define gen_COMP_SEC_cons gen_comp_sec_cons |
#define gen_CONTEXT_INFO_cons gen_context_info_cons |
#define gen_DAD_STRUCT_cons gen_dad_struct_cons |
#define gen_REF_TEMP_cons gen_ref_temp_cons |
#define gen_RTYPE_cons gen_rtype_cons |
#define gen_SIMPLE_SECTION_cons gen_simple_section_cons |
#define PVECTEUR_NEWGEN_DOMAIN (PVECTEUR_NEWGEN_EXTERNAL) |
#define Pvecteur_NEWGEN_DOMAIN (PVECTEUR_NEWGEN_EXTERNAL) |
#define PVECTEUR_NEWGEN_EXTERNAL (_gen_compsec_start+0) |
#define ref_temp_domain (_gen_compsec_start+7) |
#define ref_temp_index_ | ( | x | ) | ref_temp_index(x) /**old hack compatible */ |
#define REF_TEMP_NEWGEN_DOMAIN (ref_temp_domain) |
#define ref_temp_NEWGEN_DOMAIN (ref_temp_domain) |
#define ref_temp_rtype_ | ( | x | ) | ref_temp_rtype(x) /**old hack compatible */ |
#define ref_temp_undefined ((ref_temp)gen_chunk_undefined) |
#define ref_temp_undefined_p | ( | x | ) | ((x)==ref_temp_undefined) |
#define REFERENCE_NEWGEN_DOMAIN (reference_domain) |
#define reference_NEWGEN_DOMAIN (reference_domain) |
#define rtype_domain (_gen_compsec_start+8) |
#define rtype_lininvariant_ | ( | x | ) | rtype_lininvariant(x) /**old hack compatible */ |
#define rtype_lininvariant_p | ( | x | ) | (rtype_tag(x)==is_rtype_lininvariant) |
#define rtype_linvariant_ | ( | x | ) | rtype_linvariant(x) /**old hack compatible */ |
#define rtype_linvariant_p | ( | x | ) | (rtype_tag(x)==is_rtype_linvariant) |
#define RTYPE_NEWGEN_DOMAIN (rtype_domain) |
#define rtype_NEWGEN_DOMAIN (rtype_domain) |
#define rtype_nonlinear_ | ( | x | ) | rtype_nonlinear(x) /**old hack compatible */ |
#define rtype_nonlinear_p | ( | x | ) | (rtype_tag(x)==is_rtype_nonlinear) |
#define rtype_undefined ((rtype)gen_chunk_undefined) |
#define rtype_undefined_p | ( | x | ) | ((x)==rtype_undefined) |
#define SIMPLE_SECTION | ( | x | ) | ((simple_section)((x).p)) |
#define simple_section_CAST | ( | x | ) | SIMPLE_SECTION(x) |
#define SIMPLE_SECTION_CAST | ( | x | ) | SIMPLE_SECTION(x) |
#define simple_section_context_ | ( | x | ) | simple_section_context(x) /**old hack compatible */ |
#define simple_section_dad_ | ( | x | ) | simple_section_dad(x) /**old hack compatible */ |
#define simple_section_domain (_gen_compsec_start+9) |
#define SIMPLE_SECTION_NEWGEN_DOMAIN (simple_section_domain) |
#define simple_section_NEWGEN_DOMAIN (simple_section_domain) |
#define SIMPLE_SECTION_TYPE simple_section |
#define simple_section_TYPE simple_section |
#define simple_section_undefined ((simple_section)gen_chunk_undefined) |
#define simple_section_undefined_p | ( | x | ) | ((x)==simple_section_undefined) |
typedef struct _newgen_struct_action_* action |
typedef struct _newgen_struct_bound_pair_* bound_pair |
typedef struct _newgen_struct_comp_desc_* comp_desc |
typedef struct _newgen_struct_comp_desc_set_* comp_desc_set |
typedef struct _newgen_struct_comp_sec_* comp_sec |
typedef struct _newgen_struct_context_info_* context_info |
typedef struct _newgen_struct_dad_struct_* dad_struct |
typedef struct _newgen_struct_ref_temp_* ref_temp |
typedef struct _newgen_struct_reference_* reference |
typedef struct _newgen_struct_rtype_* rtype |
typedef struct _newgen_struct_simple_section_* simple_section |
enum rtype_utype |
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, |
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 | ) |
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 | ||
) |