compsec.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "compsec.h"

Include dependency graph for compsec.c:

Go to the source code of this file.

Typedefs
typedef void *	Pvecteur

Functions
bound_pair	copy_bound_pair (bound_pair p)
	BOUND_PAIR. More...
void	free_bound_pair (bound_pair p)
bound_pair	check_bound_pair (bound_pair p)
bool	bound_pair_consistent_p (bound_pair p)
bool	bound_pair_defined_p (bound_pair p)
list	gen_bound_pair_cons (bound_pair p, list l)
void	bound_pair_assign_contents (bound_pair r, bound_pair v)
void	bound_pair_non_recursive_free (bound_pair p)
void	write_bound_pair (FILE *f, bound_pair p)
bound_pair	read_bound_pair (FILE *f)
bound_pair	make_bound_pair (intptr_t a1, Pvecteur a2, Pvecteur a3)
comp_desc	copy_comp_desc (comp_desc p)
	COMP_DESC. More...
void	free_comp_desc (comp_desc p)
comp_desc	check_comp_desc (comp_desc p)
bool	comp_desc_consistent_p (comp_desc p)
bool	comp_desc_defined_p (comp_desc p)
list	gen_comp_desc_cons (comp_desc p, list l)
void	comp_desc_assign_contents (comp_desc r, comp_desc v)
void	comp_desc_non_recursive_free (comp_desc p)
void	write_comp_desc (FILE *f, comp_desc p)
comp_desc	read_comp_desc (FILE *f)
comp_desc	make_comp_desc (reference a1, action a2, comp_sec a3)
comp_desc_set	copy_comp_desc_set (comp_desc_set p)
	COMP_DESC_SET. More...
void	free_comp_desc_set (comp_desc_set p)
comp_desc_set	check_comp_desc_set (comp_desc_set p)
bool	comp_desc_set_consistent_p (comp_desc_set p)
bool	comp_desc_set_defined_p (comp_desc_set p)
list	gen_comp_desc_set_cons (comp_desc_set p, list l)
void	comp_desc_set_assign_contents (comp_desc_set r, comp_desc_set v)
void	comp_desc_set_non_recursive_free (comp_desc_set p)
void	write_comp_desc_set (FILE *f, comp_desc_set p)
comp_desc_set	read_comp_desc_set (FILE *f)
comp_desc_set	make_comp_desc_set (list a)
comp_sec	copy_comp_sec (comp_sec p)
	COMP_SEC. More...
void	free_comp_sec (comp_sec p)
comp_sec	check_comp_sec (comp_sec p)
bool	comp_sec_consistent_p (comp_sec p)
bool	comp_sec_defined_p (comp_sec p)
list	gen_comp_sec_cons (comp_sec p, list l)
void	comp_sec_assign_contents (comp_sec r, comp_sec v)
void	comp_sec_non_recursive_free (comp_sec p)
void	write_comp_sec (FILE *f, comp_sec p)
comp_sec	read_comp_sec (FILE *f)
comp_sec	make_comp_sec (simple_section a1, list a2)
context_info	copy_context_info (context_info p)
	CONTEXT_INFO. More...
void	free_context_info (context_info p)
context_info	check_context_info (context_info p)
bool	context_info_consistent_p (context_info p)
bool	context_info_defined_p (context_info p)
list	gen_context_info_cons (context_info p, list l)
void	context_info_assign_contents (context_info r, context_info v)
void	context_info_non_recursive_free (context_info p)
void	write_context_info (FILE *f, context_info p)
context_info	read_context_info (FILE *f)
context_info	make_context_info (intptr_t a1, intptr_t a2, intptr_t a3)
dad_struct	copy_dad_struct (dad_struct p)
	DAD_STRUCT. More...
void	free_dad_struct (dad_struct p)
dad_struct	check_dad_struct (dad_struct p)
bool	dad_struct_consistent_p (dad_struct p)
bool	dad_struct_defined_p (dad_struct p)
list	gen_dad_struct_cons (dad_struct p, list l)
void	dad_struct_assign_contents (dad_struct r, dad_struct v)
void	dad_struct_non_recursive_free (dad_struct p)
void	write_dad_struct (FILE *f, dad_struct p)
dad_struct	read_dad_struct (FILE *f)
dad_struct	make_dad_struct (list a1, list a2)
ref_temp	copy_ref_temp (ref_temp p)
	REF_TEMP. More...
void	free_ref_temp (ref_temp p)
ref_temp	check_ref_temp (ref_temp p)
bool	ref_temp_consistent_p (ref_temp p)
bool	ref_temp_defined_p (ref_temp p)
list	gen_ref_temp_cons (ref_temp p, list l)
void	ref_temp_assign_contents (ref_temp r, ref_temp v)
void	ref_temp_non_recursive_free (ref_temp p)
void	write_ref_temp (FILE *f, ref_temp p)
ref_temp	read_ref_temp (FILE *f)
ref_temp	make_ref_temp (intptr_t a1, rtype a2)
rtype	copy_rtype (rtype p)
	RTYPE. More...
void	free_rtype (rtype p)
rtype	check_rtype (rtype p)
bool	rtype_consistent_p (rtype p)
bool	rtype_defined_p (rtype p)
list	gen_rtype_cons (rtype p, list l)
void	rtype_assign_contents (rtype r, rtype v)
void	rtype_non_recursive_free (rtype p)
void	write_rtype (FILE *f, rtype p)
rtype	read_rtype (FILE *f)
string	rtype_tag_as_string (enum rtype_utype tag)
rtype	make_rtype (enum rtype_utype tag, void *val)
rtype	make_rtype_nonlinear (void)
rtype	make_rtype_linvariant (void)
rtype	make_rtype_lininvariant (void)
simple_section	copy_simple_section (simple_section p)
	SIMPLE_SECTION. More...
void	free_simple_section (simple_section p)
simple_section	check_simple_section (simple_section p)
bool	simple_section_consistent_p (simple_section p)
bool	simple_section_defined_p (simple_section p)
list	gen_simple_section_cons (simple_section p, list l)
void	simple_section_assign_contents (simple_section r, simple_section v)
void	simple_section_non_recursive_free (simple_section p)
void	write_simple_section (FILE *f, simple_section p)
simple_section	read_simple_section (FILE *f)
simple_section	make_simple_section (context_info a1, dad_struct a2)

Typedef Documentation

Pvecteur

typedef void* Pvecteur

Definition at line 7 of file compsec.c.

Function Documentation

bound_pair_assign_contents()

void bound_pair_assign_contents	(	bound_pair	r,
		bound_pair	v
	)

Definition at line 37 of file compsec.c.

                                                            {
  check_bound_pair(r);
  check_bound_pair(v);
  message_assert("defined references to domain bound_pair",
                 bound_pair_defined_p(r) && bound_pair_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_bound_pair_));
}

References bound_pair_defined_p(), check_bound_pair(), and message_assert.

Here is the call graph for this function:

bound_pair_consistent_p()

bool bound_pair_consistent_p

(

bound_pair

p

)

Definition at line 27 of file compsec.c.

                                           {
  check_bound_pair(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_bound_pair(), and gen_consistent_p().

Here is the call graph for this function:

bound_pair_defined_p()

bool bound_pair_defined_p

(

bound_pair

p

)

Definition at line 31 of file compsec.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by bound_pair_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

bound_pair_non_recursive_free()

void bound_pair_non_recursive_free

(

bound_pair

p

)

Definition at line 44 of file compsec.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

check_bound_pair()

bound_pair check_bound_pair

(

bound_pair

p

)

Definition at line 24 of file compsec.c.

                                          {
  return (bound_pair) gen_check((gen_chunk*) p, bound_pair_domain);
}

References bound_pair_domain, and gen_check().

Referenced by bound_pair_assign_contents(), and bound_pair_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_desc()

comp_desc check_comp_desc

(

comp_desc

p

)

Definition at line 66 of file compsec.c.

                                       {
  return (comp_desc) gen_check((gen_chunk*) p, comp_desc_domain);
}

References comp_desc_domain, and gen_check().

Referenced by comp_desc_assign_contents(), and comp_desc_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_desc_set()

comp_desc_set check_comp_desc_set

(

comp_desc_set

p

)

Definition at line 108 of file compsec.c.

                                                   {
  return (comp_desc_set) gen_check((gen_chunk*) p, comp_desc_set_domain);
}

References comp_desc_set_domain, and gen_check().

Referenced by comp_desc_set_assign_contents(), and comp_desc_set_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_sec()

comp_sec check_comp_sec

(

comp_sec

p

)

Definition at line 150 of file compsec.c.

                                    {
  return (comp_sec) gen_check((gen_chunk*) p, comp_sec_domain);
}

References comp_sec_domain, and gen_check().

Referenced by comp_sec_assign_contents(), and comp_sec_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_context_info()

context_info check_context_info

(

context_info

p

)

Definition at line 192 of file compsec.c.

                                                {
  return (context_info) gen_check((gen_chunk*) p, context_info_domain);
}

References context_info_domain, and gen_check().

Referenced by context_info_assign_contents(), and context_info_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_dad_struct()

dad_struct check_dad_struct

(

dad_struct

p

)

Definition at line 234 of file compsec.c.

                                          {
  return (dad_struct) gen_check((gen_chunk*) p, dad_struct_domain);
}

References dad_struct_domain, and gen_check().

Referenced by dad_struct_assign_contents(), and dad_struct_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_ref_temp()

ref_temp check_ref_temp

(

ref_temp

p

)

Definition at line 276 of file compsec.c.

                                    {
  return (ref_temp) gen_check((gen_chunk*) p, ref_temp_domain);
}

References gen_check(), and ref_temp_domain.

Referenced by ref_temp_assign_contents(), and ref_temp_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_rtype()

rtype check_rtype

(

rtype

p

)

Definition at line 318 of file compsec.c.

                           {
  return (rtype) gen_check((gen_chunk*) p, rtype_domain);
}

References gen_check(), and rtype_domain.

Referenced by rtype_assign_contents(), and rtype_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_simple_section()

simple_section check_simple_section

(

simple_section

p

)

Definition at line 377 of file compsec.c.

                                                      {
  return (simple_section) gen_check((gen_chunk*) p, simple_section_domain);
}

References gen_check(), and simple_section_domain.

Referenced by simple_section_assign_contents(), and simple_section_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_assign_contents()

void comp_desc_assign_contents	(	comp_desc	r,
		comp_desc	v
	)

Definition at line 79 of file compsec.c.

                                                         {
  check_comp_desc(r);
  check_comp_desc(v);
  message_assert("defined references to domain comp_desc",
                 comp_desc_defined_p(r) && comp_desc_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_desc_));
}

References check_comp_desc(), comp_desc_defined_p(), and message_assert.

Here is the call graph for this function:

comp_desc_consistent_p()

bool comp_desc_consistent_p

(

comp_desc

p

)

Definition at line 69 of file compsec.c.

                                         {
  check_comp_desc(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_desc(), and gen_consistent_p().

Here is the call graph for this function:

comp_desc_defined_p()

bool comp_desc_defined_p

(

comp_desc

p

)

Definition at line 73 of file compsec.c.

                                      {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_desc_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_non_recursive_free()

void comp_desc_non_recursive_free

(

comp_desc

p

)

Definition at line 86 of file compsec.c.

                                               {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

comp_desc_set_assign_contents()

void comp_desc_set_assign_contents	(	comp_desc_set	r,
		comp_desc_set	v
	)

Definition at line 121 of file compsec.c.

                                                                     {
  check_comp_desc_set(r);
  check_comp_desc_set(v);
  message_assert("defined references to domain comp_desc_set",
                 comp_desc_set_defined_p(r) && comp_desc_set_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_desc_set_));
}

References check_comp_desc_set(), comp_desc_set_defined_p(), and message_assert.

Here is the call graph for this function:

comp_desc_set_consistent_p()

bool comp_desc_set_consistent_p

(

comp_desc_set

p

)

Definition at line 111 of file compsec.c.

                                                 {
  check_comp_desc_set(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_desc_set(), and gen_consistent_p().

Here is the call graph for this function:

comp_desc_set_defined_p()

bool comp_desc_set_defined_p

(

comp_desc_set

p

)

Definition at line 115 of file compsec.c.

                                              {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_desc_set_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_set_non_recursive_free()

void comp_desc_set_non_recursive_free

(

comp_desc_set

p

)

Definition at line 128 of file compsec.c.

                                                       {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

comp_sec_assign_contents()

void comp_sec_assign_contents	(	comp_sec	r,
		comp_sec	v
	)

Definition at line 163 of file compsec.c.

                                                      {
  check_comp_sec(r);
  check_comp_sec(v);
  message_assert("defined references to domain comp_sec",
                 comp_sec_defined_p(r) && comp_sec_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_sec_));
}

References check_comp_sec(), comp_sec_defined_p(), and message_assert.

Here is the call graph for this function:

comp_sec_consistent_p()

bool comp_sec_consistent_p

(

comp_sec

p

)

Definition at line 153 of file compsec.c.

                                       {
  check_comp_sec(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_sec(), and gen_consistent_p().

Here is the call graph for this function:

comp_sec_defined_p()

bool comp_sec_defined_p

(

comp_sec

p

)

Definition at line 157 of file compsec.c.

                                    {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_sec_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_sec_non_recursive_free()

void comp_sec_non_recursive_free

(

comp_sec

p

)

Definition at line 170 of file compsec.c.

                                             {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

context_info_assign_contents()

void context_info_assign_contents	(	context_info	r,
		context_info	v
	)

Definition at line 205 of file compsec.c.

                                                                  {
  check_context_info(r);
  check_context_info(v);
  message_assert("defined references to domain context_info",
                 context_info_defined_p(r) && context_info_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_context_info_));
}

References check_context_info(), context_info_defined_p(), and message_assert.

Here is the call graph for this function:

context_info_consistent_p()

bool context_info_consistent_p

(

context_info

p

)

Definition at line 195 of file compsec.c.

                                               {
  check_context_info(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_context_info(), and gen_consistent_p().

Here is the call graph for this function:

context_info_defined_p()

bool context_info_defined_p

(

context_info

p

)

Definition at line 199 of file compsec.c.

                                            {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by context_info_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

context_info_non_recursive_free()

void context_info_non_recursive_free

(

context_info

p

)

Definition at line 212 of file compsec.c.

                                                     {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

copy_bound_pair()

bound_pair copy_bound_pair

(

bound_pair

p

)

BOUND_PAIR.

Definition at line 18 of file compsec.c.

                                         {
  return (bound_pair) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_comp_desc()

comp_desc copy_comp_desc

(

comp_desc

p

)

COMP_DESC.

Definition at line 60 of file compsec.c.

                                      {
  return (comp_desc) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Referenced by comp_region_dup().

Here is the call graph for this function:

Here is the caller graph for this function:

copy_comp_desc_set()

comp_desc_set copy_comp_desc_set

(

comp_desc_set

p

)

COMP_DESC_SET.

Definition at line 102 of file compsec.c.

                                                  {
  return (comp_desc_set) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_comp_sec()

comp_sec copy_comp_sec

(

comp_sec

p

)

COMP_SEC.

Definition at line 144 of file compsec.c.

                                   {
  return (comp_sec) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_context_info()

context_info copy_context_info

(

context_info

p

)

CONTEXT_INFO.

Definition at line 186 of file compsec.c.

                                               {
  return (context_info) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_dad_struct()

dad_struct copy_dad_struct

(

dad_struct

p

)

DAD_STRUCT.

Definition at line 228 of file compsec.c.

                                         {
  return (dad_struct) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_ref_temp()

ref_temp copy_ref_temp

(

ref_temp

p

)

REF_TEMP.

Definition at line 270 of file compsec.c.

                                   {
  return (ref_temp) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_rtype()

rtype copy_rtype

(

rtype

p

)

RTYPE.

Definition at line 312 of file compsec.c.

                          {
  return (rtype) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_simple_section()

simple_section copy_simple_section

(

simple_section

p

)

SIMPLE_SECTION.

Definition at line 371 of file compsec.c.

                                                     {
  return (simple_section) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

dad_struct_assign_contents()

void dad_struct_assign_contents	(	dad_struct	r,
		dad_struct	v
	)

Definition at line 247 of file compsec.c.

                                                            {
  check_dad_struct(r);
  check_dad_struct(v);
  message_assert("defined references to domain dad_struct",
                 dad_struct_defined_p(r) && dad_struct_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_dad_struct_));
}

References check_dad_struct(), dad_struct_defined_p(), and message_assert.

Here is the call graph for this function:

dad_struct_consistent_p()

bool dad_struct_consistent_p

(

dad_struct

p

)

Definition at line 237 of file compsec.c.

                                           {
  check_dad_struct(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_dad_struct(), and gen_consistent_p().

Here is the call graph for this function:

dad_struct_defined_p()

bool dad_struct_defined_p

(

dad_struct

p

)

Definition at line 241 of file compsec.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by dad_struct_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

dad_struct_non_recursive_free()

void dad_struct_non_recursive_free

(

dad_struct

p

)

Definition at line 254 of file compsec.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

free_bound_pair()

void free_bound_pair

(

bound_pair

p

)

Definition at line 21 of file compsec.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_desc()

void free_comp_desc

(

comp_desc

p

)

Definition at line 63 of file compsec.c.

                                 {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_desc_set()

void free_comp_desc_set

(

comp_desc_set

p

)

Definition at line 105 of file compsec.c.

                                         {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_sec()

void free_comp_sec

(

comp_sec

p

)

Definition at line 147 of file compsec.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_context_info()

void free_context_info

(

context_info

p

)

Definition at line 189 of file compsec.c.

                                       {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_dad_struct()

void free_dad_struct

(

dad_struct

p

)

Definition at line 231 of file compsec.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_ref_temp()

void free_ref_temp

(

ref_temp

p

)

Definition at line 273 of file compsec.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_rtype()

void free_rtype

(

rtype

p

)

Definition at line 315 of file compsec.c.

                         {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_simple_section()

void free_simple_section

(

simple_section

p

)

Definition at line 374 of file compsec.c.

                                           {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_bound_pair_cons()

list gen_bound_pair_cons	(	bound_pair	p,
		list	l
	)

Definition at line 34 of file compsec.c.

                                               {
  return gen_typed_cons(BOUND_PAIR_NEWGEN_DOMAIN, p, l);
}

References BOUND_PAIR_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_desc_cons()

list gen_comp_desc_cons	(	comp_desc	p,
		list	l
	)

Definition at line 76 of file compsec.c.

                                             {
  return gen_typed_cons(COMP_DESC_NEWGEN_DOMAIN, p, l);
}

References COMP_DESC_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_desc_set_cons()

list gen_comp_desc_set_cons	(	comp_desc_set	p,
		list	l
	)

Definition at line 118 of file compsec.c.

                                                     {
  return gen_typed_cons(COMP_DESC_SET_NEWGEN_DOMAIN, p, l);
}

References COMP_DESC_SET_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_sec_cons()

list gen_comp_sec_cons	(	comp_sec	p,
		list	l
	)

Definition at line 160 of file compsec.c.

                                           {
  return gen_typed_cons(COMP_SEC_NEWGEN_DOMAIN, p, l);
}

References COMP_SEC_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_context_info_cons()

list gen_context_info_cons	(	context_info	p,
		list	l
	)

Definition at line 202 of file compsec.c.

                                                   {
  return gen_typed_cons(CONTEXT_INFO_NEWGEN_DOMAIN, p, l);
}

References CONTEXT_INFO_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_dad_struct_cons()

list gen_dad_struct_cons	(	dad_struct	p,
		list	l
	)

Definition at line 244 of file compsec.c.

                                               {
  return gen_typed_cons(DAD_STRUCT_NEWGEN_DOMAIN, p, l);
}

References DAD_STRUCT_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_ref_temp_cons()

list gen_ref_temp_cons	(	ref_temp	p,
		list	l
	)

Definition at line 286 of file compsec.c.

                                           {
  return gen_typed_cons(REF_TEMP_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and REF_TEMP_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_rtype_cons()

list gen_rtype_cons	(	rtype	p,
		list	l
	)

Definition at line 328 of file compsec.c.

                                     {
  return gen_typed_cons(RTYPE_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and RTYPE_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_simple_section_cons()

list gen_simple_section_cons	(	simple_section	p,
		list	l
	)

Definition at line 387 of file compsec.c.

                                                       {
  return gen_typed_cons(SIMPLE_SECTION_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and SIMPLE_SECTION_NEWGEN_DOMAIN.

Here is the call graph for this function:

make_bound_pair()

bound_pair make_bound_pair	(	intptr_t	a1,
		Pvecteur	a2,
		Pvecteur	a3
	)

Definition at line 54 of file compsec.c.

                                                                  {
  return (bound_pair) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, bound_pair_domain, a1, a2, a3);
}

References bound_pair_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateDadStruct().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_desc()

comp_desc make_comp_desc	(	reference	a1,
		action	a2,
		comp_sec	a3
	)

Definition at line 96 of file compsec.c.

                                                               {
  return (comp_desc) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_domain, a1, a2, a3);
}

References comp_desc_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by InitCompDesc().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_desc_set()

comp_desc_set make_comp_desc_set

(

list

a

)

Definition at line 138 of file compsec.c.

                                         {
  return (comp_desc_set) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_set_domain, a);
}

References comp_desc_set_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by list_to_comp_secs(), and summary_complementary_sections().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_sec()

comp_sec make_comp_sec	(	simple_section	a1,
		list	a2
	)

Definition at line 180 of file compsec.c.

                                                   {
  return (comp_sec) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_sec_domain, a1, a2);
}

References comp_sec_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by InitCompDesc().

Here is the call graph for this function:

Here is the caller graph for this function:

make_context_info()

context_info make_context_info	(	intptr_t	a1,
		intptr_t	a2,
		intptr_t	a3
	)

Definition at line 222 of file compsec.c.

                                                                      {
  return (context_info) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, context_info_domain, a1, a2, a3);
}

References context_info_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateSimpleSection().

Here is the call graph for this function:

Here is the caller graph for this function:

make_dad_struct()

dad_struct make_dad_struct	(	list	a1,
		list	a2
	)

Definition at line 264 of file compsec.c.

                                             {
  return (dad_struct) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dad_struct_domain, a1, a2);
}

References dad_struct_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateDadStruct(), and SimpUnion().

Here is the call graph for this function:

Here is the caller graph for this function:

make_ref_temp()

ref_temp make_ref_temp	(	intptr_t	a1,
		rtype	a2
	)

Definition at line 306 of file compsec.c.

                                              {
  return (ref_temp) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, ref_temp_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and ref_temp_domain.

Referenced by AllocateDadStruct().

Here is the call graph for this function:

Here is the caller graph for this function:

make_rtype()

rtype make_rtype	(	enum rtype_utype	tag,
		void *	val
	)

Definition at line 356 of file compsec.c.

                                                   {
  return (rtype) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, rtype_domain, tag, val);
}

References gen_alloc(), GEN_CHECK_ALLOC, and rtype_domain.

Referenced by AllocateDadStruct(), make_rtype_lininvariant(), make_rtype_linvariant(), and make_rtype_nonlinear().

Here is the call graph for this function:

Here is the caller graph for this function:

make_rtype_lininvariant()

rtype make_rtype_lininvariant

(

void

)

Definition at line 365 of file compsec.c.

                                    {
  return make_rtype(is_rtype_lininvariant, UU);
}

References is_rtype_lininvariant, make_rtype(), and UU.

Here is the call graph for this function:

make_rtype_linvariant()

rtype make_rtype_linvariant

(

void

)

Definition at line 362 of file compsec.c.

                                  {
  return make_rtype(is_rtype_linvariant, UU);
}

References is_rtype_linvariant, make_rtype(), and UU.

Here is the call graph for this function:

make_rtype_nonlinear()

rtype make_rtype_nonlinear

(

void

)

Definition at line 359 of file compsec.c.

                                 {
  return make_rtype(is_rtype_nonlinear, UU);
}

References is_rtype_nonlinear, make_rtype(), and UU.

Here is the call graph for this function:

make_simple_section()

simple_section make_simple_section	(	context_info	a1,
		dad_struct	a2
	)

Definition at line 407 of file compsec.c.

                                                                   {
  return (simple_section) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, simple_section_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and simple_section_domain.

Referenced by AllocateSimpleSection(), and SimpUnion().

Here is the call graph for this function:

Here is the caller graph for this function:

read_bound_pair()

bound_pair read_bound_pair

(

FILE *

f

)

Definition at line 51 of file compsec.c.

                                    {
  return (bound_pair) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_desc()

comp_desc read_comp_desc

(

FILE *

f

)

Definition at line 93 of file compsec.c.

                                  {
  return (comp_desc) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_desc_set()

comp_desc_set read_comp_desc_set

(

FILE *

f

)

Definition at line 135 of file compsec.c.

                                          {
  return (comp_desc_set) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_sec()

comp_sec read_comp_sec

(

FILE *

f

)

Definition at line 177 of file compsec.c.

                                {
  return (comp_sec) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_context_info()

context_info read_context_info

(

FILE *

f

)

Definition at line 219 of file compsec.c.

                                        {
  return (context_info) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_dad_struct()

dad_struct read_dad_struct

(

FILE *

f

)

Definition at line 261 of file compsec.c.

                                    {
  return (dad_struct) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_ref_temp()

ref_temp read_ref_temp

(

FILE *

f

)

Definition at line 303 of file compsec.c.

                                {
  return (ref_temp) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_rtype()

rtype read_rtype

(

FILE *

f

)

Definition at line 345 of file compsec.c.

                          {
  return (rtype) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_simple_section()

simple_section read_simple_section

(

FILE *

f

)

Definition at line 404 of file compsec.c.

                                            {
  return (simple_section) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

ref_temp_assign_contents()

void ref_temp_assign_contents	(	ref_temp	r,
		ref_temp	v
	)

Definition at line 289 of file compsec.c.

                                                      {
  check_ref_temp(r);
  check_ref_temp(v);
  message_assert("defined references to domain ref_temp",
                 ref_temp_defined_p(r) && ref_temp_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ref_temp_));
}

References check_ref_temp(), message_assert, and ref_temp_defined_p().

Here is the call graph for this function:

ref_temp_consistent_p()

bool ref_temp_consistent_p

(

ref_temp

p

)

Definition at line 279 of file compsec.c.

                                       {
  check_ref_temp(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_ref_temp(), and gen_consistent_p().

Here is the call graph for this function:

ref_temp_defined_p()

bool ref_temp_defined_p

(

ref_temp

p

)

Definition at line 283 of file compsec.c.

                                    {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by ref_temp_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

ref_temp_non_recursive_free()

void ref_temp_non_recursive_free

(

ref_temp

p

)

Definition at line 296 of file compsec.c.

                                             {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

rtype_assign_contents()

void rtype_assign_contents	(	rtype	r,
		rtype	v
	)

Definition at line 331 of file compsec.c.

                                             {
  check_rtype(r);
  check_rtype(v);
  message_assert("defined references to domain rtype",
                 rtype_defined_p(r) && rtype_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_rtype_));
}

References check_rtype(), message_assert, and rtype_defined_p().

Here is the call graph for this function:

rtype_consistent_p()

bool rtype_consistent_p

(

rtype

p

)

Definition at line 321 of file compsec.c.

                                 {
  check_rtype(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_rtype(), and gen_consistent_p().

Here is the call graph for this function:

rtype_defined_p()

bool rtype_defined_p

(

rtype

p

)

Definition at line 325 of file compsec.c.

                              {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by rtype_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

rtype_non_recursive_free()

void rtype_non_recursive_free

(

rtype

p

)

Definition at line 338 of file compsec.c.

                                       {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

rtype_tag_as_string()

string rtype_tag_as_string

(

enum rtype_utype

tag

)

Definition at line 348 of file compsec.c.

                                                 {
  switch (tag) {
  case is_rtype_nonlinear: return "nonlinear";
  case is_rtype_linvariant: return "linvariant";
  case is_rtype_lininvariant: return "lininvariant";
  default: return string_undefined;
  }
}

References is_rtype_lininvariant, is_rtype_linvariant, is_rtype_nonlinear, and string_undefined.

simple_section_assign_contents()

void simple_section_assign_contents	(	simple_section	r,
		simple_section	v
	)

Definition at line 390 of file compsec.c.

                                                                        {
  check_simple_section(r);
  check_simple_section(v);
  message_assert("defined references to domain simple_section",
                 simple_section_defined_p(r) && simple_section_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_simple_section_));
}

References check_simple_section(), message_assert, and simple_section_defined_p().

Here is the call graph for this function:

simple_section_consistent_p()

bool simple_section_consistent_p

(

simple_section

p

)

Definition at line 380 of file compsec.c.

                                                   {
  check_simple_section(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_simple_section(), and gen_consistent_p().

Here is the call graph for this function:

simple_section_defined_p()

bool simple_section_defined_p

(

simple_section

p

)

Definition at line 384 of file compsec.c.

                                                {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by simple_section_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

simple_section_non_recursive_free()

void simple_section_non_recursive_free

(

simple_section

p

)

Definition at line 397 of file compsec.c.

                                                         {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

write_bound_pair()

void write_bound_pair	(	FILE *	f,
		bound_pair	p
	)

Definition at line 48 of file compsec.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_desc()

void write_comp_desc	(	FILE *	f,
		comp_desc	p
	)

Definition at line 90 of file compsec.c.

                                           {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_desc_set()

void write_comp_desc_set	(	FILE *	f,
		comp_desc_set	p
	)

Definition at line 132 of file compsec.c.

                                                   {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_sec()

void write_comp_sec	(	FILE *	f,
		comp_sec	p
	)

Definition at line 174 of file compsec.c.

                                         {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_context_info()

void write_context_info	(	FILE *	f,
		context_info	p
	)

Definition at line 216 of file compsec.c.

                                                 {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_dad_struct()

void write_dad_struct	(	FILE *	f,
		dad_struct	p
	)

Definition at line 258 of file compsec.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_ref_temp()

void write_ref_temp	(	FILE *	f,
		ref_temp	p
	)

Definition at line 300 of file compsec.c.

                                         {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_rtype()

void write_rtype	(	FILE *	f,
		rtype	p
	)

Definition at line 342 of file compsec.c.

                                   {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_simple_section()

void write_simple_section	(	FILE *	f,
		simple_section	p
	)

Definition at line 401 of file compsec.c.

                                                     {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function: