6 #ifndef alias_classes_header_included
7 #define alias_classes_header_included
34 #define SEQUENTIAL_POINTS_TO_SETS_SUFFIX ".pt"
35 #define USER_POINTS_TO_SETS_SUFFIX ".upt"
43 #define pt_map_undefined set_undefined
44 #define pt_map_undefined_p(pt) ((pt)==set_undefined)
45 #define new_pt_map() set_generic_make(set_private, points_to_equal_p, points_to_rank)
46 #define assign_pt_map(x,y) set_assign(x, y)
47 #define clear_pt_map(pt) set_clear(pt)
48 #define free_pt_map(pt) set_free(pt)
49 #define print_pt_map(pt) print_points_to_set("",pt);
51 #define free_pt_maps sets_free
52 #define union_of_pt_maps(pt1, pt2, pt3) set_union(pt1, pt2, pt3)
53 #define difference_of_pt_maps(pt1, pt2, pt3) set_difference(pt1, pt2, pt3)
55 #define empty_pt_map_p(s) set_empty_p(s)
56 #define consistent_pt_map_p(s) consistent_points_to_set(s)
58 #define source_in_pt_map_p(cell,set) source_in_set_p(cell,set)
59 #define add_arc_to_pt_map(a, s) set_add_element((set) s, (set) s, (void *) a)
62 #define remove_arc_from_pt_map(a, s) set_del_element((set) s, (set) s, (void *) a)
68 #define pt_map_undefined points_to_graph_undefined
69 #define pt_map_undefined_p(pt) ((pt)==points_to_graph_undefined)
70 #define new_pt_map() make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank))
71 #define new_simple_pt_map() set_generic_make(set_private, points_to_equal_p, points_to_rank)
72 #define assign_pt_map(x,y) ((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x))
73 #define clear_pt_map(pt) set_clear(points_to_graph_set(pt))
75 #define free_pt_map(pt) free_points_to_graph(pt)
76 #define print_pt_map(pt) print_points_to_set("", points_to_graph_set(pt));
78 #define free_pt_maps free_points_to_graph_sets
80 #define union_of_pt_maps(pt1, pt2, pt3) set_union(points_to_graph_set(pt1), \
81 points_to_graph_set(pt2), \
82 points_to_graph_set(pt3))
83 #define difference_of_pt_maps(pt1, pt2, pt3) \
84 set_difference(points_to_graph_set(pt1), \
85 points_to_graph_set(pt2), \
86 points_to_graph_set(pt3))
88 #define empty_pt_map_p(s) set_empty_p(points_to_graph_set(s))
90 #define consistent_pt_map_p(s) consistent_points_to_graph_p(s)
92 #define source_in_pt_map_p(cell,set) source_in_set_p(cell,points_to_graph_set(set))
94 #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))
95 #define add_arc_to_simple_pt_map(a, s) set_add_element((set) s, (set) s, (void *) a)
98 #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))
99 #define remove_arc_from_simple_pt_map(a, s) set_del_element((set) s, (set) s, (void *) a)
bool alias_classes(const char *)
alias_classes.c
bool in_alias_pairs(const string)
cproto-generated files
bool print_in_alias_pairs(const char *)
prettyprint.c
bool alias_lists(const string)
alias_lists.c
bool print_alias_lists(const char *)
bool print_alias_classes(const char *)
bool out_alias_pairs(const char *)
top-level creation of pairs of aliases of OUT regions of the module modifies global vars callee,...
bool print_out_alias_pairs(const char *)
FI: I do not understand why the type is duplicated at the set level.