1 /* This file contains the definitions and documentation for the
2 additional tree codes used in the GNU C
++ compiler (see tree.def
3 for the standard codes
).
4 Copyright (C
) 1987, 1988, 1990, 1993, 1997, 1998 Free Software Foundation
, Inc.
5 Hacked by Michael
Tiemann (tiemann@cygnus.com
)
7 This file is part of GNU CC.
9 GNU CC is free software
; you can redistribute it and
/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation
; either version
2, or (at your option
)
14 GNU CC is distributed in the hope that it will be useful
,
15 but WITHOUT ANY WARRANTY
; without even the implied warranty of
16 MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with GNU CC
; see the file COPYING. If not
, write to
21 the Free Software Foundation
, 59 Temple Place
- Suite
330,
22 Boston
, MA
02111-1307, USA.
*/
25 /* Reference to the contents of an offset
26 (a value whose type is an OFFSET_TYPE
).
27 Operand
0 is the object within which the offset is taken.
28 Operand
1 is the offset. The language independent OFFSET_REF
29 just won
't work for us. */
30 DEFTREECODE (OFFSET_REF, "offset_ref", 'r
', 2)
32 /* A pointer-to-member constant. For a pointer-to-member constant
33 `X::Y' The PTRMEM_CST_CLASS is the RECORD_TYPE for `X
' and the
34 PTRMEM_CST_MEMBER is the _DECL for `Y'.
*/
35 DEFTREECODE (PTRMEM_CST
, "ptrmem_cst", 'c', 1)
37 /* For NEW_EXPR
, operand
0 is the placement list.
38 Operand
1 is the new
-declarator.
39 Operand
2 is the initializer.
*/
40 DEFTREECODE (NEW_EXPR
, "nw_expr", 'e', 3)
41 DEFTREECODE (VEC_NEW_EXPR
, "vec_nw_expr", 'e', 3)
43 /* For DELETE_EXPR
, operand
0 is the store to be destroyed.
44 Operand
1 is the value to pass to the destroying function
45 saying whether the store should be deallocated as well.
*/
46 DEFTREECODE (DELETE_EXPR
, "dl_expr", 'e', 2)
47 DEFTREECODE (VEC_DELETE_EXPR
, "vec_dl_expr", 'e', 2)
49 /* Value is reference to particular overloaded class method.
50 Operand
0 is the class
name (an IDENTIFIER_NODE
);
51 operand
1 is the
field (also an IDENTIFIER_NODE
).
52 The COMPLEXITY field holds the class
level (usually
0).
*/
53 DEFTREECODE (SCOPE_REF
, "scope_ref", 'r', 2)
55 /* When composing an object with a member
, this is the result.
56 Operand
0 is the object. Operand
1 is the
member (usually
57 a dereferenced pointer to member
).
*/
58 DEFTREECODE (MEMBER_REF
, "member_ref", 'r', 2)
60 /* Type conversion operator in C
++. TREE_TYPE is type that this
61 operator converts to. Operand is expression to be converted.
*/
62 DEFTREECODE (TYPE_EXPR
, "type_expr", 'e', 1)
64 /* For AGGR_INIT_EXPR
, operand
0 is function which performs initialization
,
65 operand
1 is argument list to initialization function
,
66 and operand
2 is the slot which was allocated for this expression.
*/
67 DEFTREECODE (AGGR_INIT_EXPR
, "aggr_init_expr", 'e', 3)
69 /* A throw expression. operand
0 is the expression
, if there was one
,
70 else it is NULL_TREE.
*/
71 DEFTREECODE (THROW_EXPR
, "throw_expr", 'e', 1)
73 /* Initialization of a vector
, used in build_new. Operand
0 is the target
74 of the initialization
, operand
1 is the initializer
, and operand
2 is
75 the number of elements.
*/
76 DEFTREECODE (VEC_INIT_EXPR
, "vec_init_expr", 'e', 3)
78 /* Template definition. The following fields have the specified uses
,
79 although there are other macros in cp
-tree.h that should be used for
81 DECL_ARGUMENTS template parm vector
82 DECL_TEMPLATE_INFO template text
&c
83 DECL_VINDEX list of instantiations already produced
;
84 only done for functions so far
86 DECL_INITIAL associated
templates (methods
&c
)
88 For non
-class templates
:
89 TREE_TYPE type of object to be constructed
90 DECL_RESULT decl for object to be created
91 (e.g.
, FUNCTION_DECL with tmpl parms used
)
93 DEFTREECODE (TEMPLATE_DECL
, "template_decl", 'd', 0)
95 /* Index into a template parameter list. The TEMPLATE_PARM_IDX gives
96 the
index (from
0) of the parameter
, while the TEMPLATE_PARM_LEVEL
97 gives the
level (from
1) of the parameter.
101 template <class T> // Index 0, Level 1.
104 template <class U, // Index 0, Level 2.
105 class V> // Index 1, Level 2.
109 The DESCENDANTS will be a chain of TEMPLATE_PARM_INDEXs descended
110 from this one. The first descendant will have the same IDX, but
111 its LEVEL will be one less. The TREE_CHAIN field is used to chain
112 together the descendants. The TEMPLATE_PARM_DECL is the
113 declaration of this parameter, either a TYPE_DECL or CONST_DECL.
114 The TEMPLATE_PARM_ORIG_LEVEL is the LEVEL of the most distant
115 parent, i.e., the LEVEL that the parameter originally had when it
116 was declared. For example, if we instantiate S<int>, we will have:
120 template <class U, // Index 0, Level 1, Orig Level 2
121 class V> // Index 1, Level 1, Orig Level 2
125 The LEVEL is the level of the parameter when we are worrying about
126 the types of things; the ORIG_LEVEL is the level when we are
127 worrying about instantiating things. */
128 DEFTREECODE (TEMPLATE_PARM_INDEX, "template_parm_index", 'x
',
129 /* The addition of (sizeof(char*) - 1) in the next
130 expression is to ensure against the case where
131 sizeof(char*) does not evenly divide
132 sizeof(HOST_WIDE_INT). */
133 2 + ((3 * sizeof (HOST_WIDE_INT) + sizeof(char*) - 1)
136 /* Index into a template parameter list. This parameter must be a type.
137 The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX. */
138 DEFTREECODE (TEMPLATE_TYPE_PARM, "template_type_parm", 't
', 0)
140 /* Index into a template parameter list. This parameter must be a type.
141 If it is used in signature of a template, TEMPLATE_INFO is NULL_TREE.
142 Otherwise it is used to declare a type like TT<int>.
143 The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX. */
144 DEFTREECODE (TEMPLATE_TEMPLATE_PARM, "template_template_parm", 't
', 0)
146 /* A type designated by `typename T::t'. TYPE_CONTEXT is `T
',
147 TYPE_NAME is an IDENTIFIER_NODE for `t'. If the type was named via
148 template
-id
, TYPENAME_TYPE_FULLNAME will hold the TEMPLATE_ID_EXPR.
149 If TREE_TYPE is present
, this type was generated by the implicit
150 typename extension
, and the TREE_TYPE is a _TYPE from a baseclass
152 DEFTREECODE (TYPENAME_TYPE, "typename_type", 't
', 0)
154 /* A type designated by `__typeof (expr)'. TYPE_FIELDS is the
155 expression in question.
*/
156 DEFTREECODE (TYPEOF_TYPE
, "typeof_type", 't', 0)
158 /* A thunk is a stub function.
160 Thunks are used to implement multiple inheritance
:
161 At run
-time
, such a thunk subtracts
THUNK_DELTA (an int
, not a tree
)
162 from the this pointer
, and then jumps to DECL_INITIAL
163 (which is an ADDR_EXPR whose operand is a FUNCTION_DECL
).
165 Other kinds of thunks may be defined later.
*/
166 DEFTREECODE (THUNK_DECL
, "thunk_decl", 'd', 0)
168 /* A using declaration. DECL_INITIAL contains the specified scope.
169 This is not an alias
, but is later expanded into multiple aliases.
*/
170 DEFTREECODE (USING_DECL
, "using_decl", 'd', 0)
172 /* An un
-parsed default argument. Looks like an IDENTIFIER_NODE.
*/
173 DEFTREECODE (DEFAULT_ARG
, "default_arg", 'c', 2)
175 /* A template
-id
, like foo
<int
>. The first operand is the template.
176 The second is the TREE_LIST or TREE_VEC of explicitly specified
177 arguments. The template will be a FUNCTION_DECL
, TEMPLATE_DECL
, or
178 an OVERLOAD. If the template
-id refers to a member template
, the
179 template may be an IDENTIFIER_NODE.
*/
180 DEFTREECODE (TEMPLATE_ID_EXPR
, "template_id_expr", 'e', 2)
182 /* An association between name and entity. Parameters are the scope
183 and
the (non
-type
) value. TREE_TYPE indicates the type bound to
185 DEFTREECODE (CPLUS_BINDING
, "binding", 'x', 2)
187 /* A list
-like node for chaining overloading candidates. TREE_TYPE is
188 the original name
, and the parameter is the FUNCTION_DECL.
*/
189 DEFTREECODE (OVERLOAD
, "overload", 'x', 1)
191 /* A generic wrapper for something not tree that we want to include in
193 DEFTREECODE (WRAPPER
, "wrapper", 'x', 1)
195 /* A node to remember a source position.
*/
196 DEFTREECODE (SRCLOC
, "srcloc", 'x', 2)
198 /* Used to represent deferred name lookup for dependent names while
199 parsing a template declaration. The first argument is an
200 IDENTIFIER_NODE for the name in question. The TREE_TYPE is
202 DEFTREECODE (LOOKUP_EXPR
, "lookup_expr", 'e', 1)
204 /* A whole bunch of tree codes for the initial
, superficial parsing of
206 DEFTREECODE (MODOP_EXPR
, "modop_expr", 'e', 3)
207 DEFTREECODE (CAST_EXPR
, "cast_expr", '1', 1)
208 DEFTREECODE (REINTERPRET_CAST_EXPR
, "reinterpret_cast_expr", '1', 1)
209 DEFTREECODE (CONST_CAST_EXPR
, "const_cast_expr", '1', 1)
210 DEFTREECODE (STATIC_CAST_EXPR
, "static_cast_expr", '1', 1)
211 DEFTREECODE (DYNAMIC_CAST_EXPR
, "dynamic_cast_expr", '1', 1)
212 DEFTREECODE (SIZEOF_EXPR
, "sizeof_expr", '1', 1)
213 DEFTREECODE (ALIGNOF_EXPR
, "alignof_expr", '1', 1)
214 DEFTREECODE (ARROW_EXPR
, "arrow_expr", 'e', 1)
215 DEFTREECODE (DOTSTAR_EXPR
, "dotstar_expr", 'e', 2)
216 DEFTREECODE (TYPEID_EXPR
, "typeid_expr", 'e', 1)
217 DEFTREECODE (PSEUDO_DTOR_EXPR
, "pseudo_dtor_expr", 'e', 3)
219 DEFTREECODE (EXPR_STMT
, "expr_stmt", 'e', 1)
220 DEFTREECODE (COMPOUND_STMT
, "compound_stmt", 'e', 1)
221 DEFTREECODE (DECL_STMT
, "decl_stmt", 'e', 1)
222 DEFTREECODE (IF_STMT
, "if_stmt", 'e', 3)
223 DEFTREECODE (FOR_STMT
, "for_stmt", 'e', 4)
224 DEFTREECODE (WHILE_STMT
, "while_stmt", 'e', 2)
225 DEFTREECODE (DO_STMT
, "do_stmt", 'e', 2)
226 DEFTREECODE (RETURN_STMT
, "return_stmt", 'e', 1)
227 DEFTREECODE (BREAK_STMT
, "break_stmt", 'e', 0)
228 DEFTREECODE (CONTINUE_STMT
, "continue_stmt", 'e', 0)
229 DEFTREECODE (SWITCH_STMT
, "switch_stmt", 'e', 2)
230 DEFTREECODE (GOTO_STMT
, "goto_stmt", 'e', 1)
231 DEFTREECODE (LABEL_STMT
, "label_stmt", 'e', 1)
232 DEFTREECODE (ASM_STMT
, "asm_stmt", 'e', 5)
233 /* A SUBOBJECT statement marks the point at which a sub
-object is
234 fully constructed. After this point
, the SUBOBJECT_CLEANUP must be
235 run if an exception is thrown before the end of the enclosing
237 DEFTREECODE (SUBOBJECT
, "subobject", 'e', 1)
238 DEFTREECODE (CTOR_INITIALIZER
, "ctor_initializer", 'e', 2)
239 DEFTREECODE (CASE_LABEL
, "case_label", 'e', 2)
240 DEFTREECODE (RETURN_INIT
, "return_init", 'e', 2)
241 DEFTREECODE (TRY_BLOCK
, "try_stmt", 'e', 2)
242 DEFTREECODE (HANDLER
, "catch_stmt", 'e', 2)
244 /* A STMT_EXPR represents a statement
-expression. The
245 STMT_EXPR_STMT is the statement given by the expression.
*/
246 DEFTREECODE (STMT_EXPR
, "stmt_expr", 'e', 1)
248 DEFTREECODE (TAG_DEFN
, "tag_defn", 'e', 0)
250 /* And some codes for expressing conversions for overload resolution.
*/
252 DEFTREECODE (IDENTITY_CONV
, "identity_conv", 'e', 1)
253 DEFTREECODE (LVALUE_CONV
, "lvalue_conv", 'e', 1)
254 DEFTREECODE (QUAL_CONV
, "qual_conv", 'e', 1)
255 DEFTREECODE (STD_CONV
, "std_conv", 'e', 1)
256 DEFTREECODE (PTR_CONV
, "ptr_conv", 'e', 1)
257 DEFTREECODE (PMEM_CONV
, "pmem_conv", 'e', 1)
258 DEFTREECODE (BASE_CONV
, "base_conv", 'e', 1)
259 DEFTREECODE (REF_BIND
, "ref_bind", 'e', 1)
260 DEFTREECODE (USER_CONV
, "user_conv", 'e', 2)
261 DEFTREECODE (AMBIG_CONV
, "ambig_conv", 'e', 1)
262 DEFTREECODE (RVALUE_CONV
, "rvalue_conv", 'e', 1)