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

Include dependency graph for points_to_private.c:

Functions
points_to_graph	copy_points_to_graph (points_to_graph p)
	POINTS_TO_GRAPH. More...

void	free_points_to_graph (points_to_graph p)

points_to_graph	check_points_to_graph (points_to_graph p)

bool	points_to_graph_consistent_p (points_to_graph p)

bool	points_to_graph_defined_p (points_to_graph p)

list	gen_points_to_graph_cons (points_to_graph p, list l)

void	points_to_graph_assign_contents (points_to_graph r, points_to_graph v)

void	points_to_graph_non_recursive_free (points_to_graph p)

void	write_points_to_graph (FILE *f, points_to_graph p)

points_to_graph	read_points_to_graph (FILE *f)

points_to_graph	make_points_to_graph (bool a1, set a2)

points_to_list	copy_points_to_list (points_to_list p)
	POINTS_TO_LIST. More...

void	free_points_to_list (points_to_list p)

points_to_list	check_points_to_list (points_to_list p)

bool	points_to_list_consistent_p (points_to_list p)

bool	points_to_list_defined_p (points_to_list p)

list	gen_points_to_list_cons (points_to_list p, list l)

void	points_to_list_assign_contents (points_to_list r, points_to_list v)

void	points_to_list_non_recursive_free (points_to_list p)

void	write_points_to_list (FILE *f, points_to_list p)

points_to_list	read_points_to_list (FILE *f)

points_to_list	make_points_to_list (bool a1, list a2)

points_to	copy_points_to (points_to p)
	POINTS_TO. More...

void	free_points_to (points_to p)

points_to	check_points_to (points_to p)

bool	points_to_consistent_p (points_to p)

bool	points_to_defined_p (points_to p)

list	gen_points_to_cons (points_to p, list l)

void	points_to_assign_contents (points_to r, points_to v)

void	points_to_non_recursive_free (points_to p)

void	write_points_to (FILE *f, points_to p)

points_to	read_points_to (FILE *f)

points_to	make_points_to (cell a1, cell a2, approximation a3, descriptor a4)

statement_points_to	copy_statement_points_to (statement_points_to p)
	STATEMENT_POINTS_TO. More...

void	free_statement_points_to (statement_points_to p)

statement_points_to	check_statement_points_to (statement_points_to p)

bool	statement_points_to_consistent_p (statement_points_to p)

bool	statement_points_to_defined_p (statement_points_to p)

list	gen_statement_points_to_cons (statement_points_to p, list l)

void	statement_points_to_assign_contents (statement_points_to r, statement_points_to v)

void	statement_points_to_non_recursive_free (statement_points_to p)

void	write_statement_points_to (FILE *f, statement_points_to p)

statement_points_to	read_statement_points_to (FILE *f)

statement_points_to	make_statement_points_to (void)

points_to_list	apply_statement_points_to (statement_points_to f, statement k)

void	update_statement_points_to (statement_points_to f, statement k, points_to_list v)

void	extend_statement_points_to (statement_points_to f, statement k, points_to_list v)

points_to_list	delete_statement_points_to (statement_points_to f, statement k)

bool	bound_statement_points_to_p (statement_points_to f, statement k)

Function Documentation

◆ apply_statement_points_to()

points_to_list apply_statement_points_to	(	statement_points_to	f,
		statement	k
	)

Definition at line 181 of file points_to_private.c.

                                                                              {
   return (points_to_list) (intptr_t)HASH_GET(p, p, statement_points_to_hash_table(f), k);
 }

References f(), HASH_GET, intptr_t, and statement_points_to_hash_table.

Here is the call graph for this function:

◆ bound_statement_points_to_p()

bool bound_statement_points_to_p	(	statement_points_to	f,
		statement	k
	)

Definition at line 193 of file points_to_private.c.

                                                                      {
   return (intptr_t)HASH_BOUND_P(p, p, statement_points_to_hash_table(f), k);
 }

References f(), HASH_BOUND_P, intptr_t, and statement_points_to_hash_table.

Here is the call graph for this function:

◆ check_points_to()

points_to check_points_to ( points_to p )

Definition at line 106 of file points_to_private.c.

                                        {
   return (points_to) gen_check((gen_chunk*) p, points_to_domain);
 }

References gen_check(), and points_to_domain.

Referenced by points_to_assign_contents(), and points_to_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_points_to_graph()

points_to_graph check_points_to_graph ( points_to_graph p )

Definition at line 22 of file points_to_private.c.

                                                          {
   return (points_to_graph) gen_check((gen_chunk*) p, points_to_graph_domain);
 }

References gen_check(), and points_to_graph_domain.

Referenced by points_to_graph_assign_contents(), and points_to_graph_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_points_to_list()

points_to_list check_points_to_list ( points_to_list p )

Definition at line 64 of file points_to_private.c.

                                                       {
   return (points_to_list) gen_check((gen_chunk*) p, points_to_list_domain);
 }

References gen_check(), and points_to_list_domain.

Referenced by points_to_list_assign_contents(), and points_to_list_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_statement_points_to()

statement_points_to check_statement_points_to ( statement_points_to p )

Definition at line 148 of file points_to_private.c.

                                                                      {
   return (statement_points_to) gen_check((gen_chunk*) p, statement_points_to_domain);
 }

References gen_check(), and statement_points_to_domain.

Referenced by statement_points_to_assign_contents(), and statement_points_to_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_points_to()

points_to copy_points_to ( points_to p )

POINTS_TO.

Definition at line 100 of file points_to_private.c.

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

References gen_copy_tree().

Referenced by add_arc_to_points_to_context(), compute_points_to_binded_set(), dereferencing_subscript_to_points_to(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), full_copy_pt_map(), full_copy_simple_pt_map(), generic_stub_source_to_sinks(), global_source_to_sinks(), merge_actual_and_formal_sinks(), new_filter_formal_context_according_to_actual_context(), null_to_sinks(), offset_cell(), points_to_source_to_arcs(), points_to_to_context_points_to(), recursive_filter_formal_context_according_to_actual_context(), update_points_to_context_with_arc(), and user_call_to_points_to_fast_interprocedural().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_points_to_graph()

points_to_graph copy_points_to_graph ( points_to_graph p )

POINTS_TO_GRAPH.

Definition at line 16 of file points_to_private.c.

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

References gen_copy_tree().

Referenced by intrinsic_call_to_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_points_to_list()

points_to_list copy_points_to_list ( points_to_list p )

POINTS_TO_LIST.

Definition at line 58 of file points_to_private.c.

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

References gen_copy_tree().

Referenced by initial_points_to(), and program_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_statement_points_to()

statement_points_to copy_statement_points_to ( statement_points_to p )

STATEMENT_POINTS_TO.

Definition at line 142 of file points_to_private.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ delete_statement_points_to()

points_to_list delete_statement_points_to	(	statement_points_to	f,
		statement	k
	)

Definition at line 190 of file points_to_private.c.

                                                                               {
   return (points_to_list)(intptr_t) HASH_DELETE(p, p, statement_points_to_hash_table(f), k);
 }

References f(), HASH_DELETE, intptr_t, and statement_points_to_hash_table.

Here is the call graph for this function:

◆ extend_statement_points_to()

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.

                                                                                       {
   HASH_EXTEND(p, p, statement_points_to_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_EXTEND, intptr_t, and statement_points_to_hash_table.

Here is the call graph for this function:

◆ free_points_to()

void free_points_to ( points_to p )

Definition at line 103 of file points_to_private.c.

                                  {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by reference_condition_to_points_to(), and remove_points_to_arcs().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_points_to_graph()

void free_points_to_graph ( points_to_graph p )

Definition at line 19 of file points_to_private.c.

                                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by free_points_to_graph_sets(), new_substitute_stubs_in_transformer(), and points_to_set_block_projection().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_points_to_list()

void free_points_to_list ( points_to_list p )

Definition at line 61 of file points_to_private.c.

                                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_statement_points_to()

void free_statement_points_to ( statement_points_to p )

Definition at line 145 of file points_to_private.c.

                                                      {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ gen_points_to_cons()

list gen_points_to_cons	(	points_to	p,
		list	l
	)

Definition at line 116 of file points_to_private.c.

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

References gen_typed_cons(), and POINTS_TO_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_points_to_graph_cons()

list gen_points_to_graph_cons	(	points_to_graph	p,
		list	l
	)

Definition at line 32 of file points_to_private.c.

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

References gen_typed_cons(), and POINTS_TO_GRAPH_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_points_to_list_cons()

list gen_points_to_list_cons	(	points_to_list	p,
		list	l
	)

Definition at line 74 of file points_to_private.c.

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

References gen_typed_cons(), and POINTS_TO_LIST_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_statement_points_to_cons()

list gen_statement_points_to_cons	(	statement_points_to	p,
		list	l
	)

Definition at line 158 of file points_to_private.c.

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

References gen_typed_cons(), and STATEMENT_POINTS_TO_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ make_points_to()

points_to make_points_to	(	cell	a1,
		cell	a2,
		approximation	a3,
		descriptor	a4
	)

Definition at line 136 of file points_to_private.c.

                                                                             {
   return (points_to) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, points_to_domain, a1, a2, a3, a4);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and points_to_domain.

Referenced by anywhere_source_to_sinks(), assignment_to_points_to(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), global_source_to_sinks(), k_limit_points_to(), kill_may_set(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), opgen_null_location(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_independent_store(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), source_to_sinks(), struct_assignment_to_points_to(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), and user_call_to_points_to_fast_interprocedural().

Here is the call graph for this function:

◆ make_points_to_graph()

points_to_graph make_points_to_graph	(	bool	a1,
		set	a2
	)

Definition at line 52 of file points_to_private.c.

                                                       {
   return (points_to_graph) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, points_to_graph_domain, a1, a2);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and points_to_graph_domain.

Referenced by compute_points_to_binded_set(), filter_formal_context_according_to_actual_context(), new_filter_formal_context_according_to_actual_context(), new_points_to_unstructured(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), new_substitute_stubs_in_transformer(), points_to_binding_arguments(), points_to_set_block_projection(), recursive_filter_formal_context_according_to_actual_context(), and translation_transitive_closure().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_points_to_list()

points_to_list make_points_to_list	(	bool	a1,
		list	a2
	)

Definition at line 94 of file points_to_private.c.

                                                      {
   return (points_to_list) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, points_to_list_domain, a1, a2);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and points_to_list_domain.

Referenced by fi_points_to_storage(), generic_points_to_analysis(), init_points_to_analysis(), initial_points_to(), points_to_storage(), and program_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_statement_points_to()

statement_points_to make_statement_points_to ( void )

Definition at line 178 of file points_to_private.c.

                                                    {
   return (statement_points_to) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, statement_points_to_domain);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and statement_points_to_domain.

Here is the call graph for this function:

◆ points_to_assign_contents()

void points_to_assign_contents	(	points_to	r,
		points_to	v
	)

Definition at line 119 of file points_to_private.c.

                                                          {
   check_points_to(r);
   check_points_to(v);
   message_assert("defined references to domain points_to",
                  points_to_defined_p(r) && points_to_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_points_to_));
 }

References check_points_to(), message_assert, and points_to_defined_p().

Here is the call graph for this function:

◆ points_to_consistent_p()

bool points_to_consistent_p ( points_to p )

Definition at line 109 of file points_to_private.c.

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

References check_points_to(), and gen_consistent_p().

Referenced by consistent_points_to_arc_p(), and word_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_defined_p()

bool points_to_defined_p ( points_to p )

Definition at line 113 of file points_to_private.c.

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

References gen_defined_p().

Referenced by points_to_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_graph_assign_contents()

void points_to_graph_assign_contents	(	points_to_graph	r,
		points_to_graph	v
	)

Definition at line 35 of file points_to_private.c.

                                                                            {
   check_points_to_graph(r);
   check_points_to_graph(v);
   message_assert("defined references to domain points_to_graph",
                  points_to_graph_defined_p(r) && points_to_graph_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_points_to_graph_));
 }

References check_points_to_graph(), message_assert, and points_to_graph_defined_p().

Here is the call graph for this function:

◆ points_to_graph_consistent_p()

bool points_to_graph_consistent_p ( points_to_graph p )

Definition at line 25 of file points_to_private.c.

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

References check_points_to_graph(), and gen_consistent_p().

Referenced by boolean_intrinsic_call_condition_to_points_to(), call_condition_to_points_to(), call_to_points_to(), condition_to_points_to(), expression_to_points_to(), intrinsic_call_condition_to_points_to(), intrinsic_call_to_points_to(), relational_intrinsic_call_condition_to_points_to(), and test_to_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_graph_defined_p()

bool points_to_graph_defined_p ( points_to_graph p )

Definition at line 29 of file points_to_private.c.

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

References gen_defined_p().

Referenced by points_to_graph_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_graph_non_recursive_free()

void points_to_graph_non_recursive_free ( points_to_graph p )

Definition at line 42 of file points_to_private.c.

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

References free().

Here is the call graph for this function:

◆ points_to_list_assign_contents()

void points_to_list_assign_contents	(	points_to_list	r,
		points_to_list	v
	)

Definition at line 77 of file points_to_private.c.

                                                                         {
   check_points_to_list(r);
   check_points_to_list(v);
   message_assert("defined references to domain points_to_list",
                  points_to_list_defined_p(r) && points_to_list_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_points_to_list_));
 }

References check_points_to_list(), message_assert, and points_to_list_defined_p().

Here is the call graph for this function:

◆ points_to_list_consistent_p()

bool points_to_list_consistent_p ( points_to_list p )

Definition at line 67 of file points_to_private.c.

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

References check_points_to_list(), and gen_consistent_p().

Referenced by fi_points_to_storage(), init_points_to_analysis(), and points_to_storage().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_list_defined_p()

bool points_to_list_defined_p ( points_to_list p )

Definition at line 71 of file points_to_private.c.

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

References gen_defined_p().

Referenced by points_to_list_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ points_to_list_non_recursive_free()

void points_to_list_non_recursive_free ( points_to_list p )

Definition at line 84 of file points_to_private.c.

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

References free().

Here is the call graph for this function:

◆ points_to_non_recursive_free()

void points_to_non_recursive_free ( points_to p )

Definition at line 126 of file points_to_private.c.

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

References free().

Here is the call graph for this function:

◆ read_points_to()

points_to read_points_to ( FILE * f )

Definition at line 133 of file points_to_private.c.

                                   {
   return (points_to) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_points_to_graph()

points_to_graph read_points_to_graph ( FILE * f )

Definition at line 49 of file points_to_private.c.

                                               {
   return (points_to_graph) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_points_to_list()

points_to_list read_points_to_list ( FILE * f )

Definition at line 91 of file points_to_private.c.

                                             {
   return (points_to_list) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_statement_points_to()

statement_points_to read_statement_points_to ( FILE * f )

Definition at line 175 of file points_to_private.c.

                                                       {
   return (statement_points_to) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ statement_points_to_assign_contents()

void statement_points_to_assign_contents	(	statement_points_to	r,
		statement_points_to	v
	)

Definition at line 161 of file points_to_private.c.

                                                                                        {
   check_statement_points_to(r);
   check_statement_points_to(v);
   message_assert("defined references to domain statement_points_to",
                  statement_points_to_defined_p(r) && statement_points_to_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_statement_points_to_));
 }

References check_statement_points_to(), message_assert, and statement_points_to_defined_p().

Here is the call graph for this function:

◆ statement_points_to_consistent_p()

bool statement_points_to_consistent_p ( statement_points_to p )

Definition at line 151 of file points_to_private.c.

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

References check_statement_points_to(), and gen_consistent_p().

Here is the call graph for this function:

◆ statement_points_to_defined_p()

bool statement_points_to_defined_p ( statement_points_to p )

Definition at line 155 of file points_to_private.c.

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

References gen_defined_p().

Referenced by statement_points_to_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ statement_points_to_non_recursive_free()

void statement_points_to_non_recursive_free ( statement_points_to p )

Definition at line 168 of file points_to_private.c.

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

References free().

Here is the call graph for this function:

◆ update_statement_points_to()

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.

                                                                                       {
   HASH_UPDATE(p, p, statement_points_to_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_UPDATE, intptr_t, and statement_points_to_hash_table.

Here is the call graph for this function:

◆ write_points_to()

void write_points_to	(	FILE *	f,
		points_to	p
	)

Definition at line 130 of file points_to_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_points_to_graph()

void write_points_to_graph	(	FILE *	f,
		points_to_graph	p
	)

Definition at line 46 of file points_to_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_points_to_list()

void write_points_to_list	(	FILE *	f,
		points_to_list	p
	)

Definition at line 88 of file points_to_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_statement_points_to()

void write_statement_points_to	(	FILE *	f,
		statement_points_to	p
	)

Definition at line 172 of file points_to_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

Functions

Function Documentation

◆ apply_statement_points_to()

◆ bound_statement_points_to_p()

◆ check_points_to()

◆ check_points_to_graph()

◆ check_points_to_list()

◆ check_statement_points_to()

◆ copy_points_to()

◆ copy_points_to_graph()

◆ copy_points_to_list()

◆ copy_statement_points_to()

◆ delete_statement_points_to()

◆ extend_statement_points_to()

◆ free_points_to()

◆ free_points_to_graph()

◆ free_points_to_list()

◆ free_statement_points_to()

◆ gen_points_to_cons()

◆ gen_points_to_graph_cons()

◆ gen_points_to_list_cons()

◆ gen_statement_points_to_cons()

◆ make_points_to()

◆ make_points_to_graph()

◆ make_points_to_list()

◆ make_statement_points_to()

◆ points_to_assign_contents()

◆ points_to_consistent_p()

◆ points_to_defined_p()

◆ points_to_graph_assign_contents()

◆ points_to_graph_consistent_p()

◆ points_to_graph_defined_p()

◆ points_to_graph_non_recursive_free()

◆ points_to_list_assign_contents()

◆ points_to_list_consistent_p()

◆ points_to_list_defined_p()

◆ points_to_list_non_recursive_free()

◆ points_to_non_recursive_free()

◆ read_points_to()

◆ read_points_to_graph()

◆ read_points_to_list()

◆ read_statement_points_to()

◆ statement_points_to_assign_contents()

◆ statement_points_to_consistent_p()

◆ statement_points_to_defined_p()

◆ statement_points_to_non_recursive_free()

◆ update_statement_points_to()

◆ write_points_to()

◆ write_points_to_graph()

◆ write_points_to_list()

◆ write_statement_points_to()