2005-01-20 Michael Koch <konqueror@gmx.de>
[official-gcc.git] / gcc / tree-alias-type.h
blob5c81af764631c443929e6773561dc6925ec3d203
1 /* Tree based linear points-to analysis
2 Copyright (C) 2002, 2003 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 2 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; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22 #ifndef TREE_ALIAS_TYPE_H
23 #define TREE_ALIAS_TYPE_H
25 #include "varray.h"
27 union alias_var_def;
28 struct aterm_;
29 struct aterm_list_a;
31 enum alias_var_kind
33 ATERM_AVAR
36 struct alias_var_common GTY (())
38 enum alias_var_kind kind;
39 unsigned int varnum;
40 tree decl;
43 struct alias_var_aterm GTY (())
45 struct alias_var_common common;
46 struct aterm_ * GTY((skip (""))) term;
47 struct aterm_list_a *GTY ((skip (""))) ptset;
50 union alias_var_def GTY ((desc ("%0.common.kind")))
52 struct alias_var_common GTY ((tag ("-1"))) common;
53 struct alias_var_aterm GTY ((tag ("ATERM_AVAR"))) aterm;
56 typedef union alias_var_def *alias_var;
58 #define ALIAS_VAR_KIND(x) ((x)->common.kind)
59 #define ALIAS_VAR_VARNUM(x) ((x)->common.varnum)
60 #define ALIAS_VAR_DECL(x) ((x)->common.decl)
61 #define ALIAS_VAR_ATERM(x) ((x)->aterm.term)
62 #define ALIAS_VAR_PTSET(x) ((x)->aterm.ptset)
63 union alias_type_def;
64 typedef union alias_type_def *alias_type;
66 alias_var alias_var_new_with_aterm (tree, struct aterm_ *);
68 #endif /* TREE_ALIAS_TYPE_H */