1 /* Tree based points-to analysis
2 Copyright (C) 2002, 2003, 2007 Free Software Foundation, Inc.
3 Contributed by Daniel Berlin <dberlin@dberlin.org>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #ifndef TREE_SSA_STRUCTALIAS_H
22 #define TREE_SSA_STRUCTALIAS_H
25 typedef struct constraint
*constraint_t
;
27 /* In tree-ssa-alias.c. */
28 enum escape_type
is_escape_site (gimple
);
29 void update_mem_sym_stats_from_stmt (tree
, gimple
, long, long);
31 /* In tree-ssa-structalias.c. */
32 extern void compute_points_to_sets (void);
33 extern void delete_points_to_sets (void);
34 extern void dump_constraint (FILE *, constraint_t
);
35 extern void dump_constraint_edge (FILE *, constraint_t
);
36 extern void dump_constraints (FILE *);
37 extern void dump_constraint_graph (FILE *);
38 extern void debug_constraint (constraint_t
);
39 extern void debug_constraints (void);
40 extern void debug_constraint_graph (void);
41 extern void dump_solution_for_var (FILE *, unsigned int);
42 extern void debug_solution_for_var (unsigned int);
43 extern void dump_sa_points_to_info (FILE *);
44 extern void debug_sa_points_to_info (void);
46 #endif /* TREE_SSA_STRUCTALIAS_H */