PIPS
Data Structures | Macros | Typedefs | Functions
alias_private.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  _newgen_struct_alias_associations_
 
struct  _newgen_struct_alias_association_
 
struct  _newgen_struct_call_site_
 
struct  _newgen_struct_dynamic_check_
 

Macros

#define _gen_alias_private_start   170
 
#define _newgen_entity_domain_defined_
 
#define ENTITY_NEWGEN_DOMAIN   (entity_domain)
 
#define entity_NEWGEN_DOMAIN   (entity_domain)
 
#define _newgen_expression_domain_defined_
 newgen_entity_domain_defined More...
 
#define EXPRESSION_NEWGEN_DOMAIN   (expression_domain)
 
#define expression_NEWGEN_DOMAIN   (expression_domain)
 
#define alias_associations_domain   (_gen_alias_private_start+0)
 newgen_expression_domain_defined More...
 
#define _newgen_alias_associations_domain_defined_
 
#define ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN   (alias_associations_domain)
 
#define alias_associations_NEWGEN_DOMAIN   (alias_associations_domain)
 
#define alias_association_domain   (_gen_alias_private_start+1)
 newgen_alias_associations_domain_defined More...
 
#define _newgen_alias_association_domain_defined_
 
#define ALIAS_ASSOCIATION_NEWGEN_DOMAIN   (alias_association_domain)
 
#define alias_association_NEWGEN_DOMAIN   (alias_association_domain)
 
#define call_site_domain   (_gen_alias_private_start+2)
 newgen_alias_association_domain_defined More...
 
#define _newgen_call_site_domain_defined_
 
#define CALL_SITE_NEWGEN_DOMAIN   (call_site_domain)
 
#define call_site_NEWGEN_DOMAIN   (call_site_domain)
 
#define dynamic_check_domain   (_gen_alias_private_start+3)
 newgen_call_site_domain_defined More...
 
#define _newgen_dynamic_check_domain_defined_
 
#define DYNAMIC_CHECK_NEWGEN_DOMAIN   (dynamic_check_domain)
 
#define dynamic_check_NEWGEN_DOMAIN   (dynamic_check_domain)
 
#define ALIAS_ASSOCIATIONS(x)   ((alias_associations)((x).p))
 newgen_dynamic_check_domain_defined More...
 
#define alias_associations_CAST(x)   ALIAS_ASSOCIATIONS(x)
 
#define ALIAS_ASSOCIATIONS_CAST(x)   ALIAS_ASSOCIATIONS(x)
 
#define ALIAS_ASSOCIATIONS_(x)   ((x).e)
 
#define ALIAS_ASSOCIATIONS_TYPE   alias_associations
 
#define alias_associations_TYPE   alias_associations
 
#define alias_associations_undefined   ((alias_associations)gen_chunk_undefined)
 
#define alias_associations_undefined_p(x)   ((x)==alias_associations_undefined)
 
#define gen_ALIAS_ASSOCIATIONS_cons   gen_alias_associations_cons
 
#define alias_associations_domain_number(x)   ((x)->_type_)
 
#define alias_associations_list(x)   ((x)->_alias_associations_holder_)
 
#define ALIAS_ASSOCIATION(x)   ((alias_association)((x).p))
 ALIAS_ASSOCIATION. More...
 
#define alias_association_CAST(x)   ALIAS_ASSOCIATION(x)
 
#define ALIAS_ASSOCIATION_CAST(x)   ALIAS_ASSOCIATION(x)
 
#define ALIAS_ASSOCIATION_(x)   ((x).e)
 
#define ALIAS_ASSOCIATION_TYPE   alias_association
 
#define alias_association_TYPE   alias_association
 
#define alias_association_undefined   ((alias_association)gen_chunk_undefined)
 
#define alias_association_undefined_p(x)   ((x)==alias_association_undefined)
 
#define gen_ALIAS_ASSOCIATION_cons   gen_alias_association_cons
 
#define alias_association_domain_number(x)   ((x)->_type_)
 
#define alias_association_variable_(x)   alias_association_variable(x) /**old hack compatible */
 
#define alias_association_variable(x)   ((x)->_alias_association_variable_)
 
#define alias_association_section_(x)   alias_association_section(x) /**old hack compatible */
 
#define alias_association_section(x)   ((x)->_alias_association_section_)
 
#define alias_association_offset_(x)   alias_association_offset(x) /**old hack compatible */
 
#define alias_association_offset(x)   ((x)->_alias_association_offset_)
 
#define alias_association_lower_offset_(x)   alias_association_lower_offset(x) /**old hack compatible */
 
#define alias_association_lower_offset(x)   ((x)->_alias_association_lower_offset_)
 
#define alias_association_upper_offset_(x)   alias_association_upper_offset(x) /**old hack compatible */
 
#define alias_association_upper_offset(x)   ((x)->_alias_association_upper_offset_)
 
#define alias_association_call_chain_(x)   alias_association_call_chain(x) /**old hack compatible */
 
#define alias_association_call_chain(x)   ((x)->_alias_association_call_chain_)
 
#define CALL_SITE(x)   ((call_site)((x).p))
 CALL_SITE. More...
 
#define call_site_CAST(x)   CALL_SITE(x)
 
#define CALL_SITE_CAST(x)   CALL_SITE(x)
 
#define CALL_SITE_(x)   ((x).e)
 
#define CALL_SITE_TYPE   call_site
 
#define call_site_TYPE   call_site
 
#define call_site_undefined   ((call_site)gen_chunk_undefined)
 
#define call_site_undefined_p(x)   ((x)==call_site_undefined)
 
#define gen_CALL_SITE_cons   gen_call_site_cons
 
#define call_site_domain_number(x)   ((x)->_type_)
 
#define call_site_function_(x)   call_site_function(x) /**old hack compatible */
 
#define call_site_function(x)   ((x)->_call_site_function_)
 
#define call_site_ordering_(x)   call_site_ordering(x) /**old hack compatible */
 
#define call_site_ordering(x)   ((x)->_call_site_ordering_)
 
#define DYNAMIC_CHECK(x)   ((dynamic_check)((x).p))
 DYNAMIC_CHECK. More...
 
#define dynamic_check_CAST(x)   DYNAMIC_CHECK(x)
 
#define DYNAMIC_CHECK_CAST(x)   DYNAMIC_CHECK(x)
 
#define DYNAMIC_CHECK_(x)   ((x).e)
 
#define DYNAMIC_CHECK_TYPE   dynamic_check
 
#define dynamic_check_TYPE   dynamic_check
 
#define dynamic_check_undefined   ((dynamic_check)gen_chunk_undefined)
 
#define dynamic_check_undefined_p(x)   ((x)==dynamic_check_undefined)
 
#define gen_DYNAMIC_CHECK_cons   gen_dynamic_check_cons
 
#define dynamic_check_domain_number(x)   ((x)->_type_)
 
#define dynamic_check_first_(x)   dynamic_check_first(x) /**old hack compatible */
 
#define dynamic_check_first(x)   ((x)->_dynamic_check_first_)
 
#define dynamic_check_second_(x)   dynamic_check_second(x) /**old hack compatible */
 
#define dynamic_check_second(x)   ((x)->_dynamic_check_second_)
 
#define dynamic_check_checked_(x)   dynamic_check_checked(x) /**old hack compatible */
 
#define dynamic_check_checked(x)   ((x)->_dynamic_check_checked_.b)
 
#define alias_private_spec   "\--NEWGEN-START 170\n\import entity from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\alias_associations = list:alias_association*;\n\alias_association = variable:entity x section:entity x offset:expression x lower_offset:int x upper_offset:int x call_chain:call_site*;\n\call_site = function:entity x ordering:int;\n\dynamic_check = first:entity x second:entity x checked:bool;\n\"
 

Typedefs

typedef struct _newgen_struct_entity_ * entity
 
typedef struct _newgen_struct_expression_ * expression
 
typedef struct _newgen_struct_alias_associations_ * alias_associations
 
typedef struct _newgen_struct_alias_association_ * alias_association
 
typedef struct _newgen_struct_call_site_ * call_site
 
typedef struct _newgen_struct_dynamic_check_ * dynamic_check
 

Functions

alias_associations copy_alias_associations (alias_associations)
 ALIAS_ASSOCIATIONS. More...
 
void free_alias_associations (alias_associations)
 
alias_associations check_alias_associations (alias_associations)
 
bool alias_associations_consistent_p (alias_associations)
 
bool alias_associations_defined_p (alias_associations)
 
list gen_alias_associations_cons (alias_associations, list)
 
void alias_associations_assign_contents (alias_associations, alias_associations)
 
void alias_associations_non_recursive_free (alias_associations)
 
void write_alias_associations (FILE *, alias_associations)
 
alias_associations read_alias_associations (FILE *)
 
alias_associations make_alias_associations (list)
 
alias_association copy_alias_association (alias_association)
 ALIAS_ASSOCIATION. More...
 
void free_alias_association (alias_association)
 
alias_association check_alias_association (alias_association)
 
bool alias_association_consistent_p (alias_association)
 
bool alias_association_defined_p (alias_association)
 
list gen_alias_association_cons (alias_association, list)
 
void alias_association_assign_contents (alias_association, alias_association)
 
void alias_association_non_recursive_free (alias_association)
 
void write_alias_association (FILE *, alias_association)
 
alias_association read_alias_association (FILE *)
 
alias_association make_alias_association (entity, entity, expression, intptr_t, intptr_t, list)
 
call_site copy_call_site (call_site)
 CALL_SITE. More...
 
void free_call_site (call_site)
 
call_site check_call_site (call_site)
 
bool call_site_consistent_p (call_site)
 
bool call_site_defined_p (call_site)
 
list gen_call_site_cons (call_site, list)
 
void call_site_assign_contents (call_site, call_site)
 
void call_site_non_recursive_free (call_site)
 
void write_call_site (FILE *, call_site)
 
call_site read_call_site (FILE *)
 
call_site make_call_site (entity, intptr_t)
 
dynamic_check copy_dynamic_check (dynamic_check)
 DYNAMIC_CHECK. More...
 
void free_dynamic_check (dynamic_check)
 
dynamic_check check_dynamic_check (dynamic_check)
 
bool dynamic_check_consistent_p (dynamic_check)
 
bool dynamic_check_defined_p (dynamic_check)
 
list gen_dynamic_check_cons (dynamic_check, list)
 
void dynamic_check_assign_contents (dynamic_check, dynamic_check)
 
void dynamic_check_non_recursive_free (dynamic_check)
 
void write_dynamic_check (FILE *, dynamic_check)
 
dynamic_check read_dynamic_check (FILE *)
 
dynamic_check make_dynamic_check (entity, entity, bool)
 

Macro Definition Documentation

◆ _gen_alias_private_start

#define _gen_alias_private_start   170

Definition at line 3 of file alias_private.h.

◆ _newgen_alias_association_domain_defined_

#define _newgen_alias_association_domain_defined_

Definition at line 34 of file alias_private.h.

◆ _newgen_alias_associations_domain_defined_

#define _newgen_alias_associations_domain_defined_

Definition at line 26 of file alias_private.h.

◆ _newgen_call_site_domain_defined_

#define _newgen_call_site_domain_defined_

Definition at line 42 of file alias_private.h.

◆ _newgen_dynamic_check_domain_defined_

#define _newgen_dynamic_check_domain_defined_

Definition at line 50 of file alias_private.h.

◆ _newgen_entity_domain_defined_

#define _newgen_entity_domain_defined_

Definition at line 11 of file alias_private.h.

◆ _newgen_expression_domain_defined_

#define _newgen_expression_domain_defined_

newgen_entity_domain_defined

Definition at line 18 of file alias_private.h.

◆ ALIAS_ASSOCIATION

#define ALIAS_ASSOCIATION (   x)    ((alias_association)((x).p))

ALIAS_ASSOCIATION.

Definition at line 90 of file alias_private.h.

◆ ALIAS_ASSOCIATION_

#define ALIAS_ASSOCIATION_ (   x)    ((x).e)

Definition at line 93 of file alias_private.h.

◆ alias_association_call_chain

#define alias_association_call_chain (   x)    ((x)->_alias_association_call_chain_)

Definition at line 134 of file alias_private.h.

◆ alias_association_call_chain_

#define alias_association_call_chain_ (   x)    alias_association_call_chain(x) /**old hack compatible */

Definition at line 133 of file alias_private.h.

◆ alias_association_CAST

#define alias_association_CAST (   x)    ALIAS_ASSOCIATION(x)

Definition at line 91 of file alias_private.h.

◆ ALIAS_ASSOCIATION_CAST

#define ALIAS_ASSOCIATION_CAST (   x)    ALIAS_ASSOCIATION(x)

Definition at line 92 of file alias_private.h.

◆ alias_association_domain

#define alias_association_domain   (_gen_alias_private_start+1)

newgen_alias_associations_domain_defined

Definition at line 32 of file alias_private.h.

◆ alias_association_domain_number

#define alias_association_domain_number (   x)    ((x)->_type_)

Definition at line 122 of file alias_private.h.

◆ alias_association_lower_offset

#define alias_association_lower_offset (   x)    ((x)->_alias_association_lower_offset_)

Definition at line 130 of file alias_private.h.

◆ alias_association_lower_offset_

#define alias_association_lower_offset_ (   x)    alias_association_lower_offset(x) /**old hack compatible */

Definition at line 129 of file alias_private.h.

◆ ALIAS_ASSOCIATION_NEWGEN_DOMAIN

#define ALIAS_ASSOCIATION_NEWGEN_DOMAIN   (alias_association_domain)

Definition at line 35 of file alias_private.h.

◆ alias_association_NEWGEN_DOMAIN

#define alias_association_NEWGEN_DOMAIN   (alias_association_domain)

Definition at line 36 of file alias_private.h.

◆ alias_association_offset

#define alias_association_offset (   x)    ((x)->_alias_association_offset_)

Definition at line 128 of file alias_private.h.

◆ alias_association_offset_

#define alias_association_offset_ (   x)    alias_association_offset(x) /**old hack compatible */

Definition at line 127 of file alias_private.h.

◆ alias_association_section

#define alias_association_section (   x)    ((x)->_alias_association_section_)

Definition at line 126 of file alias_private.h.

◆ alias_association_section_

#define alias_association_section_ (   x)    alias_association_section(x) /**old hack compatible */

Definition at line 125 of file alias_private.h.

◆ ALIAS_ASSOCIATION_TYPE

#define ALIAS_ASSOCIATION_TYPE   alias_association

Definition at line 94 of file alias_private.h.

◆ alias_association_TYPE

#define alias_association_TYPE   alias_association

Definition at line 95 of file alias_private.h.

◆ alias_association_undefined

#define alias_association_undefined   ((alias_association)gen_chunk_undefined)

Definition at line 96 of file alias_private.h.

◆ alias_association_undefined_p

#define alias_association_undefined_p (   x)    ((x)==alias_association_undefined)

Definition at line 97 of file alias_private.h.

◆ alias_association_upper_offset

#define alias_association_upper_offset (   x)    ((x)->_alias_association_upper_offset_)

Definition at line 132 of file alias_private.h.

◆ alias_association_upper_offset_

#define alias_association_upper_offset_ (   x)    alias_association_upper_offset(x) /**old hack compatible */

Definition at line 131 of file alias_private.h.

◆ alias_association_variable

#define alias_association_variable (   x)    ((x)->_alias_association_variable_)

Definition at line 124 of file alias_private.h.

◆ alias_association_variable_

#define alias_association_variable_ (   x)    alias_association_variable(x) /**old hack compatible */

Definition at line 123 of file alias_private.h.

◆ ALIAS_ASSOCIATIONS

#define ALIAS_ASSOCIATIONS (   x)    ((alias_associations)((x).p))

newgen_dynamic_check_domain_defined

ALIAS_ASSOCIATIONS

Definition at line 58 of file alias_private.h.

◆ ALIAS_ASSOCIATIONS_

#define ALIAS_ASSOCIATIONS_ (   x)    ((x).e)

Definition at line 61 of file alias_private.h.

◆ alias_associations_CAST

#define alias_associations_CAST (   x)    ALIAS_ASSOCIATIONS(x)

Definition at line 59 of file alias_private.h.

◆ ALIAS_ASSOCIATIONS_CAST

#define ALIAS_ASSOCIATIONS_CAST (   x)    ALIAS_ASSOCIATIONS(x)

Definition at line 60 of file alias_private.h.

◆ alias_associations_domain

#define alias_associations_domain   (_gen_alias_private_start+0)

newgen_expression_domain_defined

Definition at line 24 of file alias_private.h.

◆ alias_associations_domain_number

#define alias_associations_domain_number (   x)    ((x)->_type_)

Definition at line 85 of file alias_private.h.

◆ alias_associations_list

#define alias_associations_list (   x)    ((x)->_alias_associations_holder_)

Definition at line 86 of file alias_private.h.

◆ ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN

#define ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN   (alias_associations_domain)

Definition at line 27 of file alias_private.h.

◆ alias_associations_NEWGEN_DOMAIN

#define alias_associations_NEWGEN_DOMAIN   (alias_associations_domain)

Definition at line 28 of file alias_private.h.

◆ ALIAS_ASSOCIATIONS_TYPE

#define ALIAS_ASSOCIATIONS_TYPE   alias_associations

Definition at line 62 of file alias_private.h.

◆ alias_associations_TYPE

#define alias_associations_TYPE   alias_associations

Definition at line 63 of file alias_private.h.

◆ alias_associations_undefined

#define alias_associations_undefined   ((alias_associations)gen_chunk_undefined)

Definition at line 64 of file alias_private.h.

◆ alias_associations_undefined_p

#define alias_associations_undefined_p (   x)    ((x)==alias_associations_undefined)

Definition at line 65 of file alias_private.h.

◆ alias_private_spec

#define alias_private_spec   "\--NEWGEN-START 170\n\import entity from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\alias_associations = list:alias_association*;\n\alias_association = variable:entity x section:entity x offset:expression x lower_offset:int x upper_offset:int x call_chain:call_site*;\n\call_site = function:entity x ordering:int;\n\dynamic_check = first:entity x second:entity x checked:bool;\n\"

Definition at line 211 of file alias_private.h.

◆ CALL_SITE

#define CALL_SITE (   x)    ((call_site)((x).p))

CALL_SITE.

Definition at line 138 of file alias_private.h.

◆ CALL_SITE_

#define CALL_SITE_ (   x)    ((x).e)

Definition at line 141 of file alias_private.h.

◆ call_site_CAST

#define call_site_CAST (   x)    CALL_SITE(x)

Definition at line 139 of file alias_private.h.

◆ CALL_SITE_CAST

#define CALL_SITE_CAST (   x)    CALL_SITE(x)

Definition at line 140 of file alias_private.h.

◆ call_site_domain

#define call_site_domain   (_gen_alias_private_start+2)

newgen_alias_association_domain_defined

Definition at line 40 of file alias_private.h.

◆ call_site_domain_number

#define call_site_domain_number (   x)    ((x)->_type_)

Definition at line 166 of file alias_private.h.

◆ call_site_function

#define call_site_function (   x)    ((x)->_call_site_function_)

Definition at line 168 of file alias_private.h.

◆ call_site_function_

#define call_site_function_ (   x)    call_site_function(x) /**old hack compatible */

Definition at line 167 of file alias_private.h.

◆ CALL_SITE_NEWGEN_DOMAIN

#define CALL_SITE_NEWGEN_DOMAIN   (call_site_domain)

Definition at line 43 of file alias_private.h.

◆ call_site_NEWGEN_DOMAIN

#define call_site_NEWGEN_DOMAIN   (call_site_domain)

Definition at line 44 of file alias_private.h.

◆ call_site_ordering

#define call_site_ordering (   x)    ((x)->_call_site_ordering_)

Definition at line 170 of file alias_private.h.

◆ call_site_ordering_

#define call_site_ordering_ (   x)    call_site_ordering(x) /**old hack compatible */

Definition at line 169 of file alias_private.h.

◆ CALL_SITE_TYPE

#define CALL_SITE_TYPE   call_site

Definition at line 142 of file alias_private.h.

◆ call_site_TYPE

#define call_site_TYPE   call_site

Definition at line 143 of file alias_private.h.

◆ call_site_undefined

#define call_site_undefined   ((call_site)gen_chunk_undefined)

Definition at line 144 of file alias_private.h.

◆ call_site_undefined_p

#define call_site_undefined_p (   x)    ((x)==call_site_undefined)

Definition at line 145 of file alias_private.h.

◆ DYNAMIC_CHECK

#define DYNAMIC_CHECK (   x)    ((dynamic_check)((x).p))

DYNAMIC_CHECK.

Definition at line 174 of file alias_private.h.

◆ DYNAMIC_CHECK_

#define DYNAMIC_CHECK_ (   x)    ((x).e)

Definition at line 177 of file alias_private.h.

◆ dynamic_check_CAST

#define dynamic_check_CAST (   x)    DYNAMIC_CHECK(x)

Definition at line 175 of file alias_private.h.

◆ DYNAMIC_CHECK_CAST

#define DYNAMIC_CHECK_CAST (   x)    DYNAMIC_CHECK(x)

Definition at line 176 of file alias_private.h.

◆ dynamic_check_checked

#define dynamic_check_checked (   x)    ((x)->_dynamic_check_checked_.b)

Definition at line 209 of file alias_private.h.

◆ dynamic_check_checked_

#define dynamic_check_checked_ (   x)    dynamic_check_checked(x) /**old hack compatible */

Definition at line 208 of file alias_private.h.

◆ dynamic_check_domain

#define dynamic_check_domain   (_gen_alias_private_start+3)

newgen_call_site_domain_defined

Definition at line 48 of file alias_private.h.

◆ dynamic_check_domain_number

#define dynamic_check_domain_number (   x)    ((x)->_type_)

Definition at line 203 of file alias_private.h.

◆ dynamic_check_first

#define dynamic_check_first (   x)    ((x)->_dynamic_check_first_)

Definition at line 205 of file alias_private.h.

◆ dynamic_check_first_

#define dynamic_check_first_ (   x)    dynamic_check_first(x) /**old hack compatible */

Definition at line 204 of file alias_private.h.

◆ DYNAMIC_CHECK_NEWGEN_DOMAIN

#define DYNAMIC_CHECK_NEWGEN_DOMAIN   (dynamic_check_domain)

Definition at line 51 of file alias_private.h.

◆ dynamic_check_NEWGEN_DOMAIN

#define dynamic_check_NEWGEN_DOMAIN   (dynamic_check_domain)

Definition at line 52 of file alias_private.h.

◆ dynamic_check_second

#define dynamic_check_second (   x)    ((x)->_dynamic_check_second_)

Definition at line 207 of file alias_private.h.

◆ dynamic_check_second_

#define dynamic_check_second_ (   x)    dynamic_check_second(x) /**old hack compatible */

Definition at line 206 of file alias_private.h.

◆ DYNAMIC_CHECK_TYPE

#define DYNAMIC_CHECK_TYPE   dynamic_check

Definition at line 178 of file alias_private.h.

◆ dynamic_check_TYPE

#define dynamic_check_TYPE   dynamic_check

Definition at line 179 of file alias_private.h.

◆ dynamic_check_undefined

#define dynamic_check_undefined   ((dynamic_check)gen_chunk_undefined)

Definition at line 180 of file alias_private.h.

◆ dynamic_check_undefined_p

#define dynamic_check_undefined_p (   x)    ((x)==dynamic_check_undefined)

Definition at line 181 of file alias_private.h.

◆ ENTITY_NEWGEN_DOMAIN

#define ENTITY_NEWGEN_DOMAIN   (entity_domain)

Definition at line 12 of file alias_private.h.

◆ entity_NEWGEN_DOMAIN

#define entity_NEWGEN_DOMAIN   (entity_domain)

Definition at line 13 of file alias_private.h.

◆ EXPRESSION_NEWGEN_DOMAIN

#define EXPRESSION_NEWGEN_DOMAIN   (expression_domain)

Definition at line 19 of file alias_private.h.

◆ expression_NEWGEN_DOMAIN

#define expression_NEWGEN_DOMAIN   (expression_domain)

Definition at line 20 of file alias_private.h.

◆ gen_ALIAS_ASSOCIATION_cons

#define gen_ALIAS_ASSOCIATION_cons   gen_alias_association_cons

Definition at line 104 of file alias_private.h.

◆ gen_ALIAS_ASSOCIATIONS_cons

#define gen_ALIAS_ASSOCIATIONS_cons   gen_alias_associations_cons

Definition at line 72 of file alias_private.h.

◆ gen_CALL_SITE_cons

#define gen_CALL_SITE_cons   gen_call_site_cons

Definition at line 152 of file alias_private.h.

◆ gen_DYNAMIC_CHECK_cons

#define gen_DYNAMIC_CHECK_cons   gen_dynamic_check_cons

Definition at line 188 of file alias_private.h.

Typedef Documentation

◆ alias_association

typedef struct _newgen_struct_alias_association_* alias_association

Definition at line 37 of file alias_private.h.

◆ alias_associations

typedef struct _newgen_struct_alias_associations_* alias_associations

Definition at line 29 of file alias_private.h.

◆ call_site

typedef struct _newgen_struct_call_site_* call_site

Definition at line 45 of file alias_private.h.

◆ dynamic_check

typedef struct _newgen_struct_dynamic_check_* dynamic_check

Definition at line 53 of file alias_private.h.

◆ entity

typedef struct _newgen_struct_entity_* entity

Definition at line 14 of file alias_private.h.

◆ expression

typedef struct _newgen_struct_expression_* expression

Definition at line 21 of file alias_private.h.

Function Documentation

◆ alias_association_assign_contents()

void alias_association_assign_contents ( alias_association  r,
alias_association  v 
)

Definition at line 77 of file alias_private.c.

77  {
78  check_alias_association(r);
79  check_alias_association(v);
80  message_assert("defined references to domain alias_association",
81  alias_association_defined_p(r) && alias_association_defined_p(v));
82  memcpy(r, v, sizeof(struct _newgen_struct_alias_association_));
83 }
check_alias_association
alias_association check_alias_association(alias_association p)
Definition: alias_private.c:64
alias_association_defined_p
bool alias_association_defined_p(alias_association p)
Definition: alias_private.c:71
message_assert
#define message_assert(msg, ex)
Definition: newgen_assert.h:47
_newgen_struct_alias_association_
Definition: alias_private.h:112

References alias_association_defined_p(), check_alias_association(), and message_assert.

+ Here is the call graph for this function:

◆ alias_association_consistent_p()

bool alias_association_consistent_p ( alias_association  p)

Definition at line 67 of file alias_private.c.

67  {
68  check_alias_association(p);
69  return gen_consistent_p((gen_chunk*) p);
70 }
gen_consistent_p
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
Definition: genClib.c:2398
gen_chunk
A gen_chunk is used to store every object.
Definition: genC.h:58

References check_alias_association(), and gen_consistent_p().

Referenced by formal_variable_add_aliases(), ram_variable_add_aliases(), and same_or_equivalence_argument_add_aliases().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ alias_association_defined_p()

bool alias_association_defined_p ( alias_association  p)

Definition at line 71 of file alias_private.c.

71  {
72  return gen_defined_p((gen_chunk*) p);
73 }
gen_defined_p
int gen_defined_p(gen_chunk *obj)
Definition: genClib.c:2438

References gen_defined_p().

Referenced by alias_association_assign_contents().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ alias_association_non_recursive_free()

void alias_association_non_recursive_free ( alias_association  p)

Definition at line 84 of file alias_private.c.

84  {
85  // should clear up contents...
86  free(p);
87 }
free
void free(void *)

References free().

+ Here is the call graph for this function:

◆ alias_associations_assign_contents()

void alias_associations_assign_contents ( alias_associations  r,
alias_associations  v 
)

Definition at line 35 of file alias_private.c.

35  {
36  check_alias_associations(r);
37  check_alias_associations(v);
38  message_assert("defined references to domain alias_associations",
39  alias_associations_defined_p(r) && alias_associations_defined_p(v));
40  memcpy(r, v, sizeof(struct _newgen_struct_alias_associations_));
41 }
check_alias_associations
alias_associations check_alias_associations(alias_associations p)
Definition: alias_private.c:22
alias_associations_defined_p
bool alias_associations_defined_p(alias_associations p)
Definition: alias_private.c:29
_newgen_struct_alias_associations_
Definition: alias_private.h:80

References alias_associations_defined_p(), check_alias_associations(), and message_assert.

+ Here is the call graph for this function:

◆ alias_associations_consistent_p()

bool alias_associations_consistent_p ( alias_associations  p)

Definition at line 25 of file alias_private.c.

25  {
26  check_alias_associations(p);
27  return gen_consistent_p((gen_chunk*) p);
28 }

References check_alias_associations(), and gen_consistent_p().

+ Here is the call graph for this function:

◆ alias_associations_defined_p()

bool alias_associations_defined_p ( alias_associations  p)

Definition at line 29 of file alias_private.c.

29  {
30  return gen_defined_p((gen_chunk*) p);
31 }

References gen_defined_p().

Referenced by alias_associations_assign_contents().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ alias_associations_non_recursive_free()

void alias_associations_non_recursive_free ( alias_associations  p)

Definition at line 42 of file alias_private.c.

42  {
43  // should clear up contents...
44  free(p);
45 }

References free().

+ Here is the call graph for this function:

◆ call_site_assign_contents()

void call_site_assign_contents ( call_site  r,
call_site  v 
)

Definition at line 119 of file alias_private.c.

119  {
120  check_call_site(r);
121  check_call_site(v);
122  message_assert("defined references to domain call_site",
123  call_site_defined_p(r) && call_site_defined_p(v));
124  memcpy(r, v, sizeof(struct _newgen_struct_call_site_));
125 }
check_call_site
call_site check_call_site(call_site p)
Definition: alias_private.c:106
call_site_defined_p
bool call_site_defined_p(call_site p)
Definition: alias_private.c:113
_newgen_struct_call_site_
Definition: alias_private.h:160

References call_site_defined_p(), check_call_site(), and message_assert.

+ Here is the call graph for this function:

◆ call_site_consistent_p()

bool call_site_consistent_p ( call_site  p)

Definition at line 109 of file alias_private.c.

109  {
110  check_call_site(p);
111  return gen_consistent_p((gen_chunk*) p);
112 }

References check_call_site(), and gen_consistent_p().

Referenced by add_aliases_for_current_call_site().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ call_site_defined_p()

bool call_site_defined_p ( call_site  p)

Definition at line 113 of file alias_private.c.

113  {
114  return gen_defined_p((gen_chunk*) p);
115 }

References gen_defined_p().

Referenced by call_site_assign_contents().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ call_site_non_recursive_free()

void call_site_non_recursive_free ( call_site  p)

Definition at line 126 of file alias_private.c.

126  {
127  // should clear up contents...
128  free(p);
129 }

References free().

+ Here is the call graph for this function:

◆ check_alias_association()

alias_association check_alias_association ( alias_association  p)

Definition at line 64 of file alias_private.c.

64  {
65  return (alias_association) gen_check((gen_chunk*) p, alias_association_domain);
66 }
alias_association_domain
#define alias_association_domain
newgen_alias_associations_domain_defined
Definition: alias_private.h:32
gen_check
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
Definition: genClib.c:2356

References alias_association_domain, and gen_check().

Referenced by alias_association_assign_contents(), and alias_association_consistent_p().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ check_alias_associations()

alias_associations check_alias_associations ( alias_associations  p)

Definition at line 22 of file alias_private.c.

22  {
23  return (alias_associations) gen_check((gen_chunk*) p, alias_associations_domain);
24 }
alias_associations_domain
#define alias_associations_domain
newgen_expression_domain_defined
Definition: alias_private.h:24

References alias_associations_domain, and gen_check().

Referenced by alias_associations_assign_contents(), and alias_associations_consistent_p().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ check_call_site()

call_site check_call_site ( call_site  p)

Definition at line 106 of file alias_private.c.

106  {
107  return (call_site) gen_check((gen_chunk*) p, call_site_domain);
108 }
call_site_domain
#define call_site_domain
newgen_alias_association_domain_defined
Definition: alias_private.h:40

References call_site_domain, and gen_check().

Referenced by call_site_assign_contents(), and call_site_consistent_p().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ check_dynamic_check()

dynamic_check check_dynamic_check ( dynamic_check  p)

Definition at line 148 of file alias_private.c.

148  {
149  return (dynamic_check) gen_check((gen_chunk*) p, dynamic_check_domain);
150 }
dynamic_check_domain
#define dynamic_check_domain
newgen_call_site_domain_defined
Definition: alias_private.h:48
_newgen_struct_dynamic_check_
Definition: alias_private.h:196

References dynamic_check_domain, and gen_check().

Referenced by dynamic_check_assign_contents(), and dynamic_check_consistent_p().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ copy_alias_association()

alias_association copy_alias_association ( alias_association  p)

ALIAS_ASSOCIATION.

Definition at line 58 of file alias_private.c.

58  {
59  return (alias_association) gen_copy_tree((gen_chunk*) p);
60 }
gen_copy_tree
gen_chunk * gen_copy_tree(gen_chunk *obj)
Definition: genClib.c:1429

References gen_copy_tree().

+ Here is the call graph for this function:

◆ copy_alias_associations()

alias_associations copy_alias_associations ( alias_associations  p)

ALIAS_ASSOCIATIONS.

Definition at line 16 of file alias_private.c.

16  {
17  return (alias_associations) gen_copy_tree((gen_chunk*) p);
18 }

References gen_copy_tree().

+ Here is the call graph for this function:

◆ copy_call_site()

call_site copy_call_site ( call_site  p)

CALL_SITE.

Definition at line 100 of file alias_private.c.

100  {
101  return (call_site) gen_copy_tree((gen_chunk*) p);
102 }

References gen_copy_tree().

+ Here is the call graph for this function:

◆ copy_dynamic_check()

dynamic_check copy_dynamic_check ( dynamic_check  p)

DYNAMIC_CHECK.

Definition at line 142 of file alias_private.c.

142  {
143  return (dynamic_check) gen_copy_tree((gen_chunk*) p);
144 }

References gen_copy_tree().

+ Here is the call graph for this function:

◆ dynamic_check_assign_contents()

void dynamic_check_assign_contents ( dynamic_check  r,
dynamic_check  v 
)

Definition at line 161 of file alias_private.c.

161  {
162  check_dynamic_check(r);
163  check_dynamic_check(v);
164  message_assert("defined references to domain dynamic_check",
165  dynamic_check_defined_p(r) && dynamic_check_defined_p(v));
166  memcpy(r, v, sizeof(struct _newgen_struct_dynamic_check_));
167 }
dynamic_check_defined_p
bool dynamic_check_defined_p(dynamic_check p)
Definition: alias_private.c:155
check_dynamic_check
dynamic_check check_dynamic_check(dynamic_check p)
Definition: alias_private.c:148

References check_dynamic_check(), dynamic_check_defined_p(), and message_assert.

+ Here is the call graph for this function:

◆ dynamic_check_consistent_p()

bool dynamic_check_consistent_p ( dynamic_check  p)

Definition at line 151 of file alias_private.c.

151  {
152  check_dynamic_check(p);
153  return gen_consistent_p((gen_chunk*) p);
154 }

References check_dynamic_check(), and gen_consistent_p().

+ Here is the call graph for this function:

◆ dynamic_check_defined_p()

bool dynamic_check_defined_p ( dynamic_check  p)

Definition at line 155 of file alias_private.c.

155  {
156  return gen_defined_p((gen_chunk*) p);
157 }

References gen_defined_p().

Referenced by dynamic_check_assign_contents().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ dynamic_check_non_recursive_free()

void dynamic_check_non_recursive_free ( dynamic_check  p)

Definition at line 168 of file alias_private.c.

168  {
169  // should clear up contents...
170  free(p);
171 }

References free().

+ Here is the call graph for this function:

◆ free_alias_association()

void free_alias_association ( alias_association  p)

Definition at line 61 of file alias_private.c.

61  {
62  gen_free((gen_chunk*) p);
63 }
gen_free
void gen_free(gen_chunk *obj)
version without shared_pointers.
Definition: genClib.c:992

References gen_free().

+ Here is the call graph for this function:

◆ free_alias_associations()

void free_alias_associations ( alias_associations  p)

Definition at line 19 of file alias_private.c.

19  {
20  gen_free((gen_chunk*) p);
21 }

References gen_free().

+ Here is the call graph for this function:

◆ free_call_site()

void free_call_site ( call_site  p)

Definition at line 103 of file alias_private.c.

103  {
104  gen_free((gen_chunk*) p);
105 }

References gen_free().

+ Here is the call graph for this function:

◆ free_dynamic_check()

void free_dynamic_check ( dynamic_check  p)

Definition at line 145 of file alias_private.c.

145  {
146  gen_free((gen_chunk*) p);
147 }

References gen_free().

+ Here is the call graph for this function:

◆ gen_alias_association_cons()

list gen_alias_association_cons ( alias_association  p,
list  l 
)

Definition at line 74 of file alias_private.c.

74  {
75  return gen_typed_cons(ALIAS_ASSOCIATION_NEWGEN_DOMAIN, p, l);
76 }
ALIAS_ASSOCIATION_NEWGEN_DOMAIN
#define ALIAS_ASSOCIATION_NEWGEN_DOMAIN
Definition: alias_private.h:35
gen_typed_cons
list gen_typed_cons(_int type, const void *item, const list next)
CONS a list with minimal type checking this cannot be done within the CONS macro because possible fun...
Definition: list.c:900

References ALIAS_ASSOCIATION_NEWGEN_DOMAIN, and gen_typed_cons().

+ Here is the call graph for this function:

◆ gen_alias_associations_cons()

list gen_alias_associations_cons ( alias_associations  p,
list  l 
)

Definition at line 32 of file alias_private.c.

32  {
33  return gen_typed_cons(ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN, p, l);
34 }
ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN
#define ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN
Definition: alias_private.h:27

References ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN, and gen_typed_cons().

+ Here is the call graph for this function:

◆ gen_call_site_cons()

list gen_call_site_cons ( call_site  p,
list  l 
)

Definition at line 116 of file alias_private.c.

116  {
117  return gen_typed_cons(CALL_SITE_NEWGEN_DOMAIN, p, l);
118 }
CALL_SITE_NEWGEN_DOMAIN
#define CALL_SITE_NEWGEN_DOMAIN
Definition: alias_private.h:43

References CALL_SITE_NEWGEN_DOMAIN, and gen_typed_cons().

+ Here is the call graph for this function:

◆ gen_dynamic_check_cons()

list gen_dynamic_check_cons ( dynamic_check  p,
list  l 
)

Definition at line 158 of file alias_private.c.

158  {
159  return gen_typed_cons(DYNAMIC_CHECK_NEWGEN_DOMAIN, p, l);
160 }
DYNAMIC_CHECK_NEWGEN_DOMAIN
#define DYNAMIC_CHECK_NEWGEN_DOMAIN
Definition: alias_private.h:51

References DYNAMIC_CHECK_NEWGEN_DOMAIN, and gen_typed_cons().

+ Here is the call graph for this function:

◆ make_alias_association()

alias_association make_alias_association ( entity  a1,
entity  a2,
expression  a3,
intptr_t  a4,
intptr_t  a5,
list  a6 
)

Definition at line 94 of file alias_private.c.

94  {
95  return (alias_association) gen_alloc(7*sizeof(gen_chunk), GEN_CHECK_ALLOC, alias_association_domain, a1, a2, a3, a4, a5, a6);
96 }
GEN_CHECK_ALLOC
#define GEN_CHECK_ALLOC
Definition: genC.h:307
gen_alloc
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
Definition: genClib.c:298

References alias_association_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by formal_variable_add_aliases(), ram_variable_add_aliases(), and same_or_equivalence_argument_add_aliases().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ make_alias_associations()

alias_associations make_alias_associations ( list  a)

Definition at line 52 of file alias_private.c.

52  {
53  return (alias_associations) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, alias_associations_domain, a);
54 }

References alias_associations_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by alias_propagation().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ make_call_site()

call_site make_call_site ( entity  a1,
intptr_t  a2 
)

Definition at line 136 of file alias_private.c.

136  {
137  return (call_site) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, call_site_domain, a1, a2);
138 }

References call_site_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by add_aliases_for_current_call_site().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ make_dynamic_check()

dynamic_check make_dynamic_check ( entity  a1,
entity  a2,
bool  a3 
)

Definition at line 178 of file alias_private.c.

178  {
179  return (dynamic_check) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, dynamic_check_domain, a1, a2, a3);
180 }

References dynamic_check_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by init_dynamic_check_list(), and initialize_dynamic_check_list().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ read_alias_association()

alias_association read_alias_association ( FILE *  f)

Definition at line 91 of file alias_private.c.

91  {
92  return (alias_association) gen_read(f);
93 }
gen_read
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
Definition: genClib.c:2323
f
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Definition: offsets.c:15

References f(), and gen_read().

+ Here is the call graph for this function:

◆ read_alias_associations()

alias_associations read_alias_associations ( FILE *  f)

Definition at line 49 of file alias_private.c.

49  {
50  return (alias_associations) gen_read(f);
51 }

References f(), and gen_read().

+ Here is the call graph for this function:

◆ read_call_site()

call_site read_call_site ( FILE *  f)

Definition at line 133 of file alias_private.c.

133  {
134  return (call_site) gen_read(f);
135 }

References f(), and gen_read().

+ Here is the call graph for this function:

◆ read_dynamic_check()

dynamic_check read_dynamic_check ( FILE *  f)

Definition at line 175 of file alias_private.c.

175  {
176  return (dynamic_check) gen_read(f);
177 }

References f(), and gen_read().

+ Here is the call graph for this function:

◆ write_alias_association()

void write_alias_association ( FILE *  f,
alias_association  p 
)

Definition at line 88 of file alias_private.c.

88  {
89  gen_write(f, (gen_chunk*) p);
90 }
gen_write
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
Definition: genClib.c:1745

References f(), and gen_write().

+ Here is the call graph for this function:

◆ write_alias_associations()

void write_alias_associations ( FILE *  f,
alias_associations  p 
)

Definition at line 46 of file alias_private.c.

46  {
47  gen_write(f, (gen_chunk*) p);
48 }

References f(), and gen_write().

+ Here is the call graph for this function:

◆ write_call_site()

void write_call_site ( FILE *  f,
call_site  p 
)

Definition at line 130 of file alias_private.c.

130  {
131  gen_write(f, (gen_chunk*) p);
132 }

References f(), and gen_write().

+ Here is the call graph for this function:

◆ write_dynamic_check()

void write_dynamic_check ( FILE *  f,
dynamic_check  p 
)

Definition at line 172 of file alias_private.c.

172  {
173  gen_write(f, (gen_chunk*) p);
174 }

References f(), and gen_write().

+ Here is the call graph for this function: