0
|
1 /* Tree based points-to analysis
|
|
2 Copyright (C) 2002, 2003, 2007, 2008 Free Software Foundation, Inc.
|
|
3 Contributed by Daniel Berlin <dberlin@dberlin.org>
|
|
4
|
|
5 This file is part of GCC.
|
|
6
|
|
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.
|
|
11
|
|
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.
|
|
16
|
|
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/>. */
|
|
20
|
|
21 #ifndef TREE_SSA_STRUCTALIAS_H
|
|
22 #define TREE_SSA_STRUCTALIAS_H
|
|
23
|
|
24 struct constraint;
|
|
25 typedef struct constraint *constraint_t;
|
|
26
|
|
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);
|
|
30
|
|
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);
|
|
45
|
|
46 #endif /* TREE_SSA_STRUCTALIAS_H */
|