PIPS
|
Go to the source code of this file.
Typedefs | |
typedef points_to_graph | pt_map |
#define add_arc_to_pt_map | ( | a, | |
s | |||
) | (set_add_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a), (s)) |
Definition at line 86 of file alias-classes-local.h.
#define add_arc_to_simple_pt_map | ( | a, | |
s | |||
) | set_add_element((set) s, (set) s, (void *) a) |
Definition at line 87 of file alias-classes-local.h.
#define assign_pt_map | ( | x, | |
y | |||
) | ((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x)) |
Definition at line 64 of file alias-classes-local.h.
#define clear_pt_map | ( | pt | ) | set_clear(points_to_graph_set(pt)) |
Definition at line 65 of file alias-classes-local.h.
#define consistent_pt_map_p | ( | s | ) | consistent_points_to_graph_p(s) |
Definition at line 82 of file alias-classes-local.h.
#define difference_of_pt_maps | ( | pt1, | |
pt2, | |||
pt3 | |||
) |
Definition at line 75 of file alias-classes-local.h.
#define empty_pt_map_p | ( | s | ) | set_empty_p(points_to_graph_set(s)) |
Definition at line 80 of file alias-classes-local.h.
#define free_pt_map | ( | pt | ) | free_points_to_graph(pt) |
Definition at line 67 of file alias-classes-local.h.
#define free_pt_maps free_points_to_graph_sets |
Definition at line 70 of file alias-classes-local.h.
#define new_pt_map | ( | ) | make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank)) |
Definition at line 62 of file alias-classes-local.h.
#define new_simple_pt_map | ( | ) | set_generic_make(set_private, points_to_equal_p, points_to_rank) |
Definition at line 63 of file alias-classes-local.h.
#define print_pt_map | ( | pt | ) | print_points_to_set("", points_to_graph_set(pt)); |
Definition at line 68 of file alias-classes-local.h.
#define pt_map_undefined points_to_graph_undefined |
Definition at line 60 of file alias-classes-local.h.
#define pt_map_undefined_p | ( | pt | ) | ((pt)==points_to_graph_undefined) |
Definition at line 61 of file alias-classes-local.h.
#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), (s)) |
Definition at line 90 of file alias-classes-local.h.
#define remove_arc_from_simple_pt_map | ( | a, | |
s | |||
) | set_del_element((set) s, (set) s, (void *) a) |
Definition at line 91 of file alias-classes-local.h.
#define SEQUENTIAL_POINTS_TO_SETS_SUFFIX ".pt" |
Definition at line 26 of file alias-classes-local.h.
#define source_in_pt_map_p | ( | cell, | |
set | |||
) | source_in_set_p(cell,points_to_graph_set(set)) |
Definition at line 84 of file alias-classes-local.h.
#define union_of_pt_maps | ( | pt1, | |
pt2, | |||
pt3 | |||
) |
Definition at line 72 of file alias-classes-local.h.
#define USER_POINTS_TO_SETS_SUFFIX ".upt" |
Definition at line 27 of file alias-classes-local.h.
typedef points_to_graph pt_map |
Definition at line 59 of file alias-classes-local.h.