PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "points_to_private.h"
Go to the source code of this file.
points_to_list apply_statement_points_to | ( | statement_points_to | f, |
statement | k | ||
) |
Definition at line 181 of file points_to_private.c.
References f(), HASH_GET, intptr_t, and statement_points_to_hash_table.
bool bound_statement_points_to_p | ( | statement_points_to | f, |
statement | k | ||
) |
Definition at line 193 of file points_to_private.c.
References f(), HASH_BOUND_P, intptr_t, and statement_points_to_hash_table.
Definition at line 106 of file points_to_private.c.
References gen_check(), and points_to_domain.
points_to_graph check_points_to_graph | ( | points_to_graph | p | ) |
Definition at line 22 of file points_to_private.c.
References gen_check(), and points_to_graph_domain.
points_to_list check_points_to_list | ( | points_to_list | p | ) |
Definition at line 64 of file points_to_private.c.
References gen_check(), and points_to_list_domain.
statement_points_to check_statement_points_to | ( | statement_points_to | p | ) |
Definition at line 148 of file points_to_private.c.
References gen_check(), and statement_points_to_domain.
POINTS_TO.
Definition at line 100 of file points_to_private.c.
References gen_copy_tree().
points_to_graph copy_points_to_graph | ( | points_to_graph | p | ) |
POINTS_TO_GRAPH.
Definition at line 16 of file points_to_private.c.
References gen_copy_tree().
points_to_list copy_points_to_list | ( | points_to_list | p | ) |
POINTS_TO_LIST.
Definition at line 58 of file points_to_private.c.
References gen_copy_tree().
statement_points_to copy_statement_points_to | ( | statement_points_to | p | ) |
STATEMENT_POINTS_TO.
Definition at line 142 of file points_to_private.c.
References gen_copy_tree().
points_to_list delete_statement_points_to | ( | statement_points_to | f, |
statement | k | ||
) |
Definition at line 190 of file points_to_private.c.
References f(), HASH_DELETE, intptr_t, and statement_points_to_hash_table.
void extend_statement_points_to | ( | statement_points_to | f, |
statement | k, | ||
points_to_list | v | ||
) |
Definition at line 187 of file points_to_private.c.
References f(), HASH_EXTEND, intptr_t, and statement_points_to_hash_table.
void free_points_to | ( | points_to | p | ) |
Definition at line 103 of file points_to_private.c.
References gen_free().
void free_points_to_graph | ( | points_to_graph | p | ) |
Definition at line 19 of file points_to_private.c.
References gen_free().
void free_points_to_list | ( | points_to_list | p | ) |
Definition at line 61 of file points_to_private.c.
References gen_free().
void free_statement_points_to | ( | statement_points_to | p | ) |
Definition at line 145 of file points_to_private.c.
References gen_free().
Definition at line 116 of file points_to_private.c.
References gen_typed_cons(), and POINTS_TO_NEWGEN_DOMAIN.
list gen_points_to_graph_cons | ( | points_to_graph | p, |
list | l | ||
) |
Definition at line 32 of file points_to_private.c.
References gen_typed_cons(), and POINTS_TO_GRAPH_NEWGEN_DOMAIN.
list gen_points_to_list_cons | ( | points_to_list | p, |
list | l | ||
) |
Definition at line 74 of file points_to_private.c.
References gen_typed_cons(), and POINTS_TO_LIST_NEWGEN_DOMAIN.
list gen_statement_points_to_cons | ( | statement_points_to | p, |
list | l | ||
) |
Definition at line 158 of file points_to_private.c.
References gen_typed_cons(), and STATEMENT_POINTS_TO_NEWGEN_DOMAIN.
points_to make_points_to | ( | cell | a1, |
cell | a2, | ||
approximation | a3, | ||
descriptor | a4 | ||
) |
Definition at line 136 of file points_to_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and points_to_domain.
points_to_graph make_points_to_graph | ( | bool | a1, |
set | a2 | ||
) |
Definition at line 52 of file points_to_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and points_to_graph_domain.
points_to_list make_points_to_list | ( | bool | a1, |
list | a2 | ||
) |
Definition at line 94 of file points_to_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and points_to_list_domain.
statement_points_to make_statement_points_to | ( | void | ) |
Definition at line 178 of file points_to_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and statement_points_to_domain.
Definition at line 119 of file points_to_private.c.
References check_points_to(), message_assert, and points_to_defined_p().
Definition at line 109 of file points_to_private.c.
References check_points_to(), and gen_consistent_p().
Definition at line 113 of file points_to_private.c.
References gen_defined_p().
void points_to_graph_assign_contents | ( | points_to_graph | r, |
points_to_graph | v | ||
) |
Definition at line 35 of file points_to_private.c.
References check_points_to_graph(), message_assert, and points_to_graph_defined_p().
bool points_to_graph_consistent_p | ( | points_to_graph | p | ) |
Definition at line 25 of file points_to_private.c.
References check_points_to_graph(), and gen_consistent_p().
bool points_to_graph_defined_p | ( | points_to_graph | p | ) |
Definition at line 29 of file points_to_private.c.
References gen_defined_p().
void points_to_graph_non_recursive_free | ( | points_to_graph | p | ) |
Definition at line 42 of file points_to_private.c.
References free().
void points_to_list_assign_contents | ( | points_to_list | r, |
points_to_list | v | ||
) |
Definition at line 77 of file points_to_private.c.
References check_points_to_list(), message_assert, and points_to_list_defined_p().
bool points_to_list_consistent_p | ( | points_to_list | p | ) |
Definition at line 67 of file points_to_private.c.
References check_points_to_list(), and gen_consistent_p().
bool points_to_list_defined_p | ( | points_to_list | p | ) |
Definition at line 71 of file points_to_private.c.
References gen_defined_p().
void points_to_list_non_recursive_free | ( | points_to_list | p | ) |
Definition at line 84 of file points_to_private.c.
References free().
void points_to_non_recursive_free | ( | points_to | p | ) |
Definition at line 126 of file points_to_private.c.
References free().
points_to read_points_to | ( | FILE * | f | ) |
Definition at line 133 of file points_to_private.c.
References f(), and gen_read().
points_to_graph read_points_to_graph | ( | FILE * | f | ) |
Definition at line 49 of file points_to_private.c.
References f(), and gen_read().
points_to_list read_points_to_list | ( | FILE * | f | ) |
Definition at line 91 of file points_to_private.c.
References f(), and gen_read().
statement_points_to read_statement_points_to | ( | FILE * | f | ) |
Definition at line 175 of file points_to_private.c.
References f(), and gen_read().
void statement_points_to_assign_contents | ( | statement_points_to | r, |
statement_points_to | v | ||
) |
Definition at line 161 of file points_to_private.c.
References check_statement_points_to(), message_assert, and statement_points_to_defined_p().
bool statement_points_to_consistent_p | ( | statement_points_to | p | ) |
Definition at line 151 of file points_to_private.c.
References check_statement_points_to(), and gen_consistent_p().
bool statement_points_to_defined_p | ( | statement_points_to | p | ) |
Definition at line 155 of file points_to_private.c.
References gen_defined_p().
void statement_points_to_non_recursive_free | ( | statement_points_to | p | ) |
Definition at line 168 of file points_to_private.c.
References free().
void update_statement_points_to | ( | statement_points_to | f, |
statement | k, | ||
points_to_list | v | ||
) |
Definition at line 184 of file points_to_private.c.
References f(), HASH_UPDATE, intptr_t, and statement_points_to_hash_table.
void write_points_to | ( | FILE * | f, |
points_to | p | ||
) |
Definition at line 130 of file points_to_private.c.
References f(), and gen_write().
void write_points_to_graph | ( | FILE * | f, |
points_to_graph | p | ||
) |
Definition at line 46 of file points_to_private.c.
References f(), and gen_write().
void write_points_to_list | ( | FILE * | f, |
points_to_list | p | ||
) |
Definition at line 88 of file points_to_private.c.
References f(), and gen_write().
void write_statement_points_to | ( | FILE * | f, |
statement_points_to | p | ||
) |
Definition at line 172 of file points_to_private.c.
References f(), and gen_write().