#include "points_to_private.h"
#include "effects.h"

Include dependency graph for points-to-local.h:

Macros
#define	SEQUENTIAL_POINTS_TO_SETS_SUFFIX ".pt"

#define	USER_POINTS_TO_SETS_SUFFIX ".upt"

#define	pt_map_undefined points_to_graph_undefined

#define	pt_map_undefined_p(pt) ((pt)==points_to_graph_undefined)

#define	new_pt_map() make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank))

#define	new_simple_pt_map() set_generic_make(set_private, points_to_equal_p, points_to_rank)

#define	assign_pt_map(x, y) ((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x))

#define	clear_pt_map(pt) set_clear(points_to_graph_set(pt))

#define	free_pt_map(pt) free_points_to_graph(pt)

#define	print_pt_map(pt) print_points_to_set("", points_to_graph_set(pt));

#define	free_pt_maps free_points_to_graph_sets

#define	union_of_pt_maps(pt1, pt2, pt3)

#define	difference_of_pt_maps(pt1, pt2, pt3)

#define	empty_pt_map_p(s) set_empty_p(points_to_graph_set(s))

#define	consistent_pt_map_p(s) consistent_points_to_graph_p(s)

#define	source_in_pt_map_p(cell, set) source_in_set_p(cell,points_to_graph_set(set))

#define	remove_arc_from_pt_map(a, s) (set_del_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a))

#define	remove_arc_from_pt_map_(a, s) (remove_arc_from_pt_map(a, s), (s))

Typedefs
typedef points_to_graph	pt_map

Macro Definition Documentation

◆ assign_pt_map

#define assign_pt_map	(	x,
		y
	)	((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x))

Definition at line 69 of file points-to-local.h.

◆ clear_pt_map

#define clear_pt_map ( pt ) set_clear(points_to_graph_set(pt))

Definition at line 70 of file points-to-local.h.

◆ consistent_pt_map_p

#define consistent_pt_map_p ( s ) consistent_points_to_graph_p(s)

Definition at line 87 of file points-to-local.h.

◆ difference_of_pt_maps

#define difference_of_pt_maps	(	pt1,
		pt2,
		pt3
	)

Value:

  set_difference(points_to_graph_set(pt1), \
                 points_to_graph_set(pt2), \
                 points_to_graph_set(pt3))

Definition at line 80 of file points-to-local.h.

◆ empty_pt_map_p

#define empty_pt_map_p ( s ) set_empty_p(points_to_graph_set(s))

Definition at line 85 of file points-to-local.h.

◆ free_pt_map

#define free_pt_map ( pt ) free_points_to_graph(pt)

Definition at line 72 of file points-to-local.h.

◆ free_pt_maps

#define free_pt_maps free_points_to_graph_sets

Definition at line 75 of file points-to-local.h.

◆ new_pt_map

#define new_pt_map ( ) make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank))

Definition at line 67 of file points-to-local.h.

◆ new_simple_pt_map

#define new_simple_pt_map ( ) set_generic_make(set_private, points_to_equal_p, points_to_rank)

Definition at line 68 of file points-to-local.h.

◆ print_pt_map

#define print_pt_map ( pt ) print_points_to_set("", points_to_graph_set(pt));

Definition at line 73 of file points-to-local.h.

◆ pt_map_undefined

#define pt_map_undefined points_to_graph_undefined

Definition at line 65 of file points-to-local.h.

◆ pt_map_undefined_p

#define pt_map_undefined_p ( pt ) ((pt)==points_to_graph_undefined)

Definition at line 66 of file points-to-local.h.

◆ remove_arc_from_pt_map

#define remove_arc_from_pt_map	(	a,
		s
	)	(set_del_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a))

Definition at line 97 of file points-to-local.h.

◆ remove_arc_from_pt_map_

#define remove_arc_from_pt_map_	(	a,
		s
	)	(remove_arc_from_pt_map(a, s), (s))

Definition at line 98 of file points-to-local.h.

◆ SEQUENTIAL_POINTS_TO_SETS_SUFFIX

#define SEQUENTIAL_POINTS_TO_SETS_SUFFIX ".pt"

Definition at line 26 of file points-to-local.h.

◆ source_in_pt_map_p

#define source_in_pt_map_p	(	cell,
		set
	)	source_in_set_p(cell,points_to_graph_set(set))

Definition at line 89 of file points-to-local.h.

◆ union_of_pt_maps

#define union_of_pt_maps	(	pt1,
		pt2,
		pt3
	)

Value:

                                                  set_union(points_to_graph_set(pt1), \
                                                  points_to_graph_set(pt2), \
                                                  points_to_graph_set(pt3))

Definition at line 77 of file points-to-local.h.

◆ USER_POINTS_TO_SETS_SUFFIX

#define USER_POINTS_TO_SETS_SUFFIX ".upt"

Definition at line 27 of file points-to-local.h.

Typedef Documentation

◆ pt_map

typedef points_to_graph pt_map

Definition at line 64 of file points-to-local.h.

Macros

Typedefs