[gcc]
[official-gcc.git] / gcc / cp / ptree.c
blobd377efc8cc51e1e2d489bdc0e51ac7afed3d62e1
1 /* Prints out trees in human readable form.
2 Copyright (C) 1992-2017 Free Software Foundation, Inc.
3 Hacked by Michael Tiemann (tiemann@cygnus.com)
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 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/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "cp-tree.h"
26 #include "print-tree.h"
28 void
29 cxx_print_decl (FILE *file, tree node, int indent)
31 if (TREE_CODE (node) == FIELD_DECL)
33 if (DECL_MUTABLE_P (node))
35 indent_to (file, indent + 3);
36 fprintf (file, " mutable ");
38 return;
41 if (!CODE_CONTAINS_STRUCT (TREE_CODE (node), TS_DECL_COMMON)
42 || !DECL_LANG_SPECIFIC (node))
43 return;
44 if (TREE_CODE (node) == FUNCTION_DECL)
46 int flags = TFF_DECL_SPECIFIERS|TFF_RETURN_TYPE
47 |TFF_FUNCTION_DEFAULT_ARGUMENTS|TFF_EXCEPTION_SPECIFICATION ;
48 indent_to (file, indent + 3);
49 fprintf (file, " full-name \"%s\"", decl_as_string (node, flags));
51 else if (TREE_CODE (node) == TEMPLATE_DECL)
53 print_node (file, "parms", DECL_TEMPLATE_PARMS (node), indent + 4);
54 indent_to (file, indent + 3);
55 fprintf (file, " full-name \"%s\"",
56 decl_as_string (node, TFF_TEMPLATE_HEADER));
59 indent_to (file, indent + 3);
60 if (DECL_EXTERNAL (node) && DECL_NOT_REALLY_EXTERN (node))
61 fprintf (file, " not-really-extern");
62 if (TREE_CODE (node) == FUNCTION_DECL
63 && DECL_PENDING_INLINE_INFO (node))
64 fprintf (file, " pending-inline-info %p",
65 (void *) DECL_PENDING_INLINE_INFO (node));
66 if (VAR_OR_FUNCTION_DECL_P (node)
67 && DECL_TEMPLATE_INFO (node))
68 fprintf (file, " template-info %p",
69 (void *) DECL_TEMPLATE_INFO (node));
72 void
73 cxx_print_type (FILE *file, tree node, int indent)
75 switch (TREE_CODE (node))
77 case BOUND_TEMPLATE_TEMPLATE_PARM:
78 print_node (file, "args", TYPE_TI_ARGS (node), indent + 4);
79 gcc_fallthrough ();
81 case TEMPLATE_TYPE_PARM:
82 case TEMPLATE_TEMPLATE_PARM:
83 indent_to (file, indent + 3);
84 fprintf (file, "index %d level %d orig_level %d",
85 TEMPLATE_TYPE_IDX (node), TEMPLATE_TYPE_LEVEL (node),
86 TEMPLATE_TYPE_ORIG_LEVEL (node));
87 return;
89 case FUNCTION_TYPE:
90 case METHOD_TYPE:
91 if (TYPE_RAISES_EXCEPTIONS (node))
92 print_node (file, "throws", TYPE_RAISES_EXCEPTIONS (node), indent + 4);
93 return;
95 case RECORD_TYPE:
96 case UNION_TYPE:
97 break;
99 case DECLTYPE_TYPE:
100 print_node (file, "expr", DECLTYPE_TYPE_EXPR (node), indent + 4);
101 return;
103 case TYPENAME_TYPE:
104 print_node (file, "fullname", TYPENAME_TYPE_FULLNAME (node),
105 indent + 4);
106 return;
108 case TYPE_PACK_EXPANSION:
109 print_node (file, "args", PACK_EXPANSION_EXTRA_ARGS (node), indent + 4);
110 return;
112 default:
113 return;
116 if (TYPE_PTRMEMFUNC_P (node))
117 print_node (file, "ptrmemfunc fn type", TYPE_PTRMEMFUNC_FN_TYPE (node),
118 indent + 4);
120 if (! CLASS_TYPE_P (node))
121 return;
123 indent_to (file, indent + 4);
124 fprintf (file, "full-name \"%s\"",
125 type_as_string (node, TFF_CLASS_KEY_OR_ENUM));
127 indent_to (file, indent + 3);
129 if (TYPE_NEEDS_CONSTRUCTING (node))
130 fputs ( " needs-constructor", file);
131 if (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (node))
132 fputs (" needs-destructor", file);
133 if (TYPE_HAS_DEFAULT_CONSTRUCTOR (node))
134 fputs (" X()", file);
135 if (TYPE_HAS_CONVERSION (node))
136 fputs (" has-type-conversion", file);
137 if (TYPE_HAS_COPY_CTOR (node))
139 if (TYPE_HAS_CONST_COPY_CTOR (node))
140 fputs (" X(constX&)", file);
141 else
142 fputs (" X(X&)", file);
144 if (TYPE_HAS_NEW_OPERATOR (node))
145 fputs (" new", file);
146 if (TYPE_HAS_ARRAY_NEW_OPERATOR (node))
147 fputs (" new[]", file);
148 if (TYPE_GETS_DELETE (node) & 1)
149 fputs (" delete", file);
150 if (TYPE_GETS_DELETE (node) & 2)
151 fputs (" delete[]", file);
152 if (TYPE_HAS_COPY_ASSIGN (node))
153 fputs (" this=(X&)", file);
154 if (CLASSTYPE_SORTED_FIELDS (node))
155 fprintf (file, " sorted-fields %p",
156 (void *) CLASSTYPE_SORTED_FIELDS (node));
158 if (TREE_CODE (node) == RECORD_TYPE)
160 if (TYPE_BINFO (node))
161 fprintf (file, " n_parents=%d",
162 BINFO_N_BASE_BINFOS (TYPE_BINFO (node)));
163 else
164 fprintf (file, " no-binfo");
166 fprintf (file, " use_template=%d", CLASSTYPE_USE_TEMPLATE (node));
167 if (CLASSTYPE_INTERFACE_ONLY (node))
168 fprintf (file, " interface-only");
169 if (CLASSTYPE_INTERFACE_UNKNOWN (node))
170 fprintf (file, " interface-unknown");
174 void
175 cxx_print_identifier (FILE *file, tree node, int indent)
177 if (indent == 0)
178 fprintf (file, " ");
179 else
180 indent_to (file, indent + 4);
181 fprintf (file, "%s local bindings <%p>", get_identifier_kind_name (node),
182 (void *) IDENTIFIER_BINDING (node));
183 print_node (file, "label", IDENTIFIER_LABEL_VALUE (node), indent + 4);
186 void
187 cxx_print_lambda_node (FILE *file, tree node, int indent)
189 if (LAMBDA_EXPR_MUTABLE_P (node))
190 fprintf (file, " /mutable");
191 fprintf (file, " default_capture_mode=[");
192 switch (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE (node))
194 case CPLD_NONE:
195 fprintf (file, "NONE");
196 break;
197 case CPLD_COPY:
198 fprintf (file, "COPY");
199 break;
200 case CPLD_REFERENCE:
201 fprintf (file, "CPLD_REFERENCE");
202 break;
203 default:
204 fprintf (file, "??");
205 break;
207 fprintf (file, "] ");
208 print_node (file, "capture_list", LAMBDA_EXPR_CAPTURE_LIST (node), indent + 4);
209 print_node (file, "this_capture", LAMBDA_EXPR_THIS_CAPTURE (node), indent + 4);
210 print_node (file, "return_type", LAMBDA_EXPR_RETURN_TYPE (node), indent + 4);
211 print_node (file, "closure", LAMBDA_EXPR_CLOSURE (node), indent + 4);
214 void
215 cxx_print_xnode (FILE *file, tree node, int indent)
217 switch (TREE_CODE (node))
219 case BASELINK:
220 print_node (file, "functions", BASELINK_FUNCTIONS (node), indent + 4);
221 print_node (file, "binfo", BASELINK_BINFO (node), indent + 4);
222 print_node (file, "access_binfo", BASELINK_ACCESS_BINFO (node),
223 indent + 4);
224 break;
225 case OVERLOAD:
226 print_node (file, "function", OVL_FUNCTION (node), indent+4);
227 print_node (file, "next", OVL_CHAIN (node), indent+4);
228 break;
229 case TEMPLATE_PARM_INDEX:
230 print_node (file, "decl", TEMPLATE_PARM_DECL (node), indent+4);
231 indent_to (file, indent + 3);
232 fprintf (file, "index %d level %d orig_level %d",
233 TEMPLATE_PARM_IDX (node), TEMPLATE_PARM_LEVEL (node),
234 TEMPLATE_PARM_ORIG_LEVEL (node));
235 break;
236 case TEMPLATE_INFO:
237 print_node (file, "template", TI_TEMPLATE (node), indent+4);
238 print_node (file, "args", TI_ARGS (node), indent+4);
239 if (TI_PENDING_TEMPLATE_FLAG (node))
241 indent_to (file, indent + 3);
242 fprintf (file, "pending_template");
244 break;
245 case CONSTRAINT_INFO:
247 tree_constraint_info *cinfo = (tree_constraint_info *)node;
248 if (cinfo->template_reqs)
249 print_node (file, "template_reqs", cinfo->template_reqs, indent+4);
250 if (cinfo->declarator_reqs)
251 print_node (file, "declarator_reqs", cinfo->declarator_reqs,
252 indent+4);
253 print_node (file, "associated_constr",
254 cinfo->associated_constr, indent+4);
255 break;
257 case ARGUMENT_PACK_SELECT:
258 print_node (file, "pack", ARGUMENT_PACK_SELECT_FROM_PACK (node),
259 indent+4);
260 indent_to (file, indent + 3);
261 fprintf (file, "index %d", ARGUMENT_PACK_SELECT_INDEX (node));
262 break;
263 case DEFERRED_NOEXCEPT:
264 print_node (file, "pattern", DEFERRED_NOEXCEPT_PATTERN (node), indent+4);
265 print_node (file, "args", DEFERRED_NOEXCEPT_ARGS (node), indent+4);
266 break;
267 case TRAIT_EXPR:
268 indent_to (file, indent+4);
269 fprintf (file, "kind %d", TRAIT_EXPR_KIND (node));
270 print_node (file, "type 1", TRAIT_EXPR_TYPE1 (node), indent+4);
271 if (TRAIT_EXPR_TYPE2 (node))
272 print_node (file, "type 2", TRAIT_EXPR_TYPE2 (node), indent+4);
273 break;
274 case LAMBDA_EXPR:
275 cxx_print_lambda_node (file, node, indent);
276 break;
277 default:
278 break;
282 /* Print the node NODE on standard error, for debugging. */
284 DEBUG_FUNCTION void
285 debug_tree (cp_expr node)
287 debug_tree (node.get_value());