164 message_assert(
"defined references to domain statement_points_to",
void free_statement_points_to(statement_points_to p)
void write_statement_points_to(FILE *f, statement_points_to p)
list gen_points_to_graph_cons(points_to_graph p, list l)
points_to_list make_points_to_list(bool a1, list a2)
void update_statement_points_to(statement_points_to f, statement k, points_to_list v)
void statement_points_to_assign_contents(statement_points_to r, statement_points_to v)
bool points_to_defined_p(points_to p)
void extend_statement_points_to(statement_points_to f, statement k, points_to_list v)
statement_points_to read_statement_points_to(FILE *f)
points_to_list read_points_to_list(FILE *f)
points_to make_points_to(cell a1, cell a2, approximation a3, descriptor a4)
bool statement_points_to_defined_p(statement_points_to p)
points_to_list delete_statement_points_to(statement_points_to f, statement k)
bool points_to_graph_defined_p(points_to_graph p)
void free_points_to(points_to p)
void free_points_to_list(points_to_list p)
bool points_to_list_consistent_p(points_to_list p)
void points_to_graph_assign_contents(points_to_graph r, points_to_graph v)
void points_to_non_recursive_free(points_to p)
bool statement_points_to_consistent_p(statement_points_to p)
bool points_to_graph_consistent_p(points_to_graph p)
statement_points_to make_statement_points_to(void)
points_to read_points_to(FILE *f)
points_to copy_points_to(points_to p)
POINTS_TO.
list gen_points_to_cons(points_to p, list l)
void write_points_to_graph(FILE *f, points_to_graph p)
bool points_to_consistent_p(points_to p)
void points_to_list_assign_contents(points_to_list r, points_to_list v)
void free_points_to_graph(points_to_graph p)
points_to_graph copy_points_to_graph(points_to_graph p)
POINTS_TO_GRAPH.
points_to_list check_points_to_list(points_to_list p)
void write_points_to(FILE *f, points_to p)
void points_to_assign_contents(points_to r, points_to v)
list gen_statement_points_to_cons(statement_points_to p, list l)
void statement_points_to_non_recursive_free(statement_points_to p)
void points_to_list_non_recursive_free(points_to_list p)
statement_points_to copy_statement_points_to(statement_points_to p)
STATEMENT_POINTS_TO.
bool bound_statement_points_to_p(statement_points_to f, statement k)
points_to_list apply_statement_points_to(statement_points_to f, statement k)
points_to check_points_to(points_to p)
points_to_graph check_points_to_graph(points_to_graph p)
void write_points_to_list(FILE *f, points_to_list p)
void points_to_graph_non_recursive_free(points_to_graph p)
bool points_to_list_defined_p(points_to_list p)
points_to_graph make_points_to_graph(bool a1, set a2)
statement_points_to check_statement_points_to(statement_points_to p)
points_to_list copy_points_to_list(points_to_list p)
POINTS_TO_LIST.
list gen_points_to_list_cons(points_to_list p, list l)
points_to_graph read_points_to_graph(FILE *f)
void gen_free(gen_chunk *obj)
version without shared_pointers.
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
int gen_defined_p(gen_chunk *obj)
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
gen_chunk * gen_copy_tree(gen_chunk *obj)
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
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...
#define message_assert(msg, ex)
#define HASH_GET(start, image, h, k)
#define HASH_EXTEND(start, image, h, k, v)
#define HASH_DELETE(start, image, h, k)
#define HASH_UPDATE(start, image, h, k, v)
#define HASH_BOUND_P(start, image, h, k)
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
#define POINTS_TO_LIST_NEWGEN_DOMAIN
#define statement_points_to_hash_table(x)
#define STATEMENT_POINTS_TO_NEWGEN_DOMAIN
#define POINTS_TO_NEWGEN_DOMAIN
#define statement_points_to_domain
newgen_points_to_domain_defined
#define POINTS_TO_GRAPH_NEWGEN_DOMAIN
#define points_to_list_domain
#define points_to_graph_domain
FI: I do not understand why the type is duplicated at the set level.
The structure used to build lists in NewGen.
A gen_chunk is used to store every object.