48 #include "constants.h"
cell make_cell_reference(reference _field_)
cell copy_cell(cell p)
CELL.
reference make_reference(entity a1, list a2)
reference cell_any_reference(cell)
API for reference.
void points_to_cell_add_unbounded_subscripts(cell)
void gen_full_free_list(list l)
#define NIL
The empty list (nil in Lisp)
#define CONS(_t_, _i_, _l_)
List element cell constructor (insert an element at the beginning of a list)
list gen_nconc(list cp1, list cp2)
physically concatenates CP1 and CP2 but do not duplicates the elements
#define FOREACH(_fe_CASTER, _fe_item, _fe_list)
Apply/map an instruction block on all the elements of a list.
list gen_full_copy_list(list l)
Copy a list structure with element copy.
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
list variable_to_pointer_locations(entity e)
When the declaration of "e" does not contain an initial value, find all allocated pointers in entity ...
list struct_variable_to_pointer_subscripts(cell c, entity f)
returns a list of cells to reach pointers depending on field f.
list struct_variable_to_pointer_locations(entity e, entity ee)
return list of cells for pointers declared directly or indirecltly in variable "e" of type struct def...
int variable_entity_dimension(entity v)
variable_entity_dimension(entity v): returns the dimension of variable v; scalar have dimension 0.
#define entity_variable_p(e)
An entity_variable_p(e) may hide a typedef and hence a functional type.
bool entity_array_p(entity e)
Is e a variable with an array type?
bool array_entity_p(entity e)
expression make_unbounded_expression()
expression entity_to_expression(entity e)
if v is a constant, returns a constant call.
bool array_of_pointers_type_p(type)
type entity_basic_concrete_type(entity)
retrieves or computes and then returns the basic concrete type of an entity
bool pointer_type_p(type)
Check for scalar pointers.
bool struct_type_p(type)
Returns true if t is of type derived and if the derived type is a struct.
bool array_of_struct_type_p(type)
#define EXPRESSION(x)
EXPRESSION.
#define reference_indices(x)
#define variable_basic(x)
The structure used to build lists in NewGen.