gcc/cp/ptree.c

   1 /* Prints out trees in human readable form.
   2    Copyright (C) 1992-2016 Free Software Foundation, Inc.
   3    Hacked by Michael Tiemann (tiemann@cygnus.com)
   4
   5 This file is part of GCC.
   6
   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.
  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
  22 #include "config.h"
  23 #include "system.h"
  24 #include "coretypes.h"
  25 #include "cp-tree.h"
  26 #include "print-tree.h"
  27
  28 void
  29 cxx_print_decl (FILE *file, tree node, int indent)
  30 {
  31   if (TREE_CODE (node) == FIELD_DECL)
  32     {
  33       if (DECL_MUTABLE_P (node))
  34         {
  35           indent_to (file, indent + 3);
  36           fprintf (file, " mutable ");
  37         }
  38       return;
  39     }
  40
  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)
  45     {
  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));
  50     }
  51   else if (TREE_CODE (node) == TEMPLATE_DECL)
  52     {
  53       indent_to (file, indent + 3);
  54       fprintf (file, " full-name \"%s\"",
  55                decl_as_string (node, TFF_TEMPLATE_HEADER));
  56     }
  57
  58   indent_to (file, indent + 3);
  59   if (DECL_EXTERNAL (node) && DECL_NOT_REALLY_EXTERN (node))
  60     fprintf (file, " not-really-extern");
  61   if (TREE_CODE (node) == FUNCTION_DECL
  62       && DECL_PENDING_INLINE_INFO (node))
  63     fprintf (file, " pending-inline-info %p",
  64              (void *) DECL_PENDING_INLINE_INFO (node));
  65   if (VAR_OR_FUNCTION_DECL_P (node)
  66       && DECL_TEMPLATE_INFO (node))
  67     fprintf (file, " template-info %p",
  68              (void *) DECL_TEMPLATE_INFO (node));
  69 }
  70
  71 void
  72 cxx_print_type (FILE *file, tree node, int indent)
  73 {
  74   switch (TREE_CODE (node))
  75     {
  76     case TEMPLATE_TYPE_PARM:
  77     case TEMPLATE_TEMPLATE_PARM:
  78     case BOUND_TEMPLATE_TEMPLATE_PARM:
  79       indent_to (file, indent + 3);
  80       fprintf (file, "index %d level %d orig_level %d",
  81                TEMPLATE_TYPE_IDX (node), TEMPLATE_TYPE_LEVEL (node),
  82                TEMPLATE_TYPE_ORIG_LEVEL (node));
  83       return;
  84
  85     case FUNCTION_TYPE:
  86     case METHOD_TYPE:
  87       if (TYPE_RAISES_EXCEPTIONS (node))
  88         print_node (file, "throws", TYPE_RAISES_EXCEPTIONS (node), indent + 4);
  89       return;
  90
  91     case RECORD_TYPE:
  92     case UNION_TYPE:
  93       break;
  94
  95     case DECLTYPE_TYPE:
  96       print_node (file, "expr", DECLTYPE_TYPE_EXPR (node), indent + 4);
  97       return;
  98
  99     case TYPENAME_TYPE:
 100       print_node (file, "fullname", TYPENAME_TYPE_FULLNAME (node),
 101                   indent + 4);
 102       return;
 103
 104     case TYPE_PACK_EXPANSION:
 105       print_node (file, "args", PACK_EXPANSION_EXTRA_ARGS (node), indent + 4);
 106       return;
 107
 108     default:
 109       return;
 110     }
 111
 112   if (TYPE_PTRMEMFUNC_P (node))
 113     print_node (file, "ptrmemfunc fn type", TYPE_PTRMEMFUNC_FN_TYPE (node),
 114                 indent + 4);
 115
 116   if (! CLASS_TYPE_P (node))
 117     return;
 118
 119   indent_to (file, indent + 4);
 120   fprintf (file, "full-name \"%s\"",
 121            type_as_string (node, TFF_CLASS_KEY_OR_ENUM));
 122
 123   indent_to (file, indent + 3);
 124
 125   if (TYPE_NEEDS_CONSTRUCTING (node))
 126     fputs ( " needs-constructor", file);
 127   if (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (node))
 128     fputs (" needs-destructor", file);
 129   if (TYPE_HAS_DEFAULT_CONSTRUCTOR (node))
 130     fputs (" X()", file);
 131   if (TYPE_HAS_CONVERSION (node))
 132     fputs (" has-type-conversion", file);
 133   if (TYPE_HAS_COPY_CTOR (node))
 134     {
 135       if (TYPE_HAS_CONST_COPY_CTOR (node))
 136         fputs (" X(constX&)", file);
 137       else
 138         fputs (" X(X&)", file);
 139     }
 140   if (TYPE_HAS_NEW_OPERATOR (node))
 141     fputs (" new", file);
 142   if (TYPE_HAS_ARRAY_NEW_OPERATOR (node))
 143     fputs (" new[]", file);
 144   if (TYPE_GETS_DELETE (node) & 1)
 145     fputs (" delete", file);
 146   if (TYPE_GETS_DELETE (node) & 2)
 147     fputs (" delete[]", file);
 148   if (TYPE_HAS_COPY_ASSIGN (node))
 149     fputs (" this=(X&)", file);
 150   if (CLASSTYPE_SORTED_FIELDS (node))
 151     fprintf (file, " sorted-fields %p",
 152              (void *) CLASSTYPE_SORTED_FIELDS (node));
 153
 154   if (TREE_CODE (node) == RECORD_TYPE)
 155     {
 156       if (TYPE_BINFO (node))
 157         fprintf (file, " n_parents=%d",
 158                  BINFO_N_BASE_BINFOS (TYPE_BINFO (node)));
 159       else
 160         fprintf (file, " no-binfo");
 161
 162       fprintf (file, " use_template=%d", CLASSTYPE_USE_TEMPLATE (node));
 163       if (CLASSTYPE_INTERFACE_ONLY (node))
 164         fprintf (file, " interface-only");
 165       if (CLASSTYPE_INTERFACE_UNKNOWN (node))
 166         fprintf (file, " interface-unknown");
 167     }
 168 }
 169
 170
 171 static void
 172 cxx_print_binding (FILE *stream, cxx_binding *binding, const char *prefix)
 173 {
 174   fprintf (stream, "%s <%p>",
 175            prefix, (void *) binding);
 176 }
 177
 178 void
 179 cxx_print_identifier (FILE *file, tree node, int indent)
 180 {
 181   if (indent == 0)
 182     fprintf (file, " ");
 183   else
 184     indent_to (file, indent + 4);
 185   cxx_print_binding (file, IDENTIFIER_NAMESPACE_BINDINGS (node), "bindings");
 186   if (indent == 0)
 187     fprintf (file, " ");
 188   else
 189     indent_to (file, indent + 4);
 190   cxx_print_binding (file, IDENTIFIER_BINDING (node), "local bindings");
 191   print_node (file, "label", IDENTIFIER_LABEL_VALUE (node), indent + 4);
 192   print_node (file, "template", IDENTIFIER_TEMPLATE (node), indent + 4);
 193 }
 194
 195 void
 196 cxx_print_lambda_node (FILE *file, tree node, int indent)
 197 {
 198   if (LAMBDA_EXPR_MUTABLE_P (node))
 199     fprintf (file, " /mutable");
 200   fprintf (file, " default_capture_mode=[");
 201   switch (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE (node))
 202     {
 203     case CPLD_NONE:
 204       fprintf (file, "NONE");
 205       break;
 206     case CPLD_COPY:
 207       fprintf (file, "COPY");
 208       break;
 209     case CPLD_REFERENCE:
 210       fprintf (file, "CPLD_REFERENCE");
 211       break;
 212     default:
 213       fprintf (file, "??");
 214       break;
 215     }
 216   fprintf (file, "] ");
 217   print_node (file, "capture_list", LAMBDA_EXPR_CAPTURE_LIST (node), indent + 4);
 218   print_node (file, "this_capture", LAMBDA_EXPR_THIS_CAPTURE (node), indent + 4);
 219   print_node (file, "return_type", LAMBDA_EXPR_RETURN_TYPE (node), indent + 4);
 220   print_node (file, "closure", LAMBDA_EXPR_CLOSURE (node), indent + 4);
 221 }
 222
 223 void
 224 cxx_print_xnode (FILE *file, tree node, int indent)
 225 {
 226   switch (TREE_CODE (node))
 227     {
 228     case BASELINK:
 229       print_node (file, "functions", BASELINK_FUNCTIONS (node), indent + 4);
 230       print_node (file, "binfo", BASELINK_BINFO (node), indent + 4);
 231       print_node (file, "access_binfo", BASELINK_ACCESS_BINFO (node),
 232                   indent + 4);
 233       break;
 234     case OVERLOAD:
 235       print_node (file, "function", OVL_FUNCTION (node), indent+4);
 236       print_node (file, "chain", TREE_CHAIN (node), indent+4);
 237       break;
 238     case TEMPLATE_PARM_INDEX:
 239       indent_to (file, indent + 3);
 240       fprintf (file, "index %d level %d orig_level %d",
 241                TEMPLATE_PARM_IDX (node), TEMPLATE_PARM_LEVEL (node),
 242                TEMPLATE_PARM_ORIG_LEVEL (node));
 243       break;
 244     case TEMPLATE_INFO:
 245       print_node (file, "template", TI_TEMPLATE (node), indent+4);
 246       print_node (file, "args", TI_ARGS (node), indent+4);
 247       if (TI_PENDING_TEMPLATE_FLAG (node))
 248         {
 249           indent_to (file, indent + 3);
 250           fprintf (file, "pending_template");
 251         }
 252       break;
 253     case CONSTRAINT_INFO:
 254       {
 255         tree_constraint_info *cinfo = (tree_constraint_info *)node;
 256         if (cinfo->template_reqs)
 257           print_node (file, "template_reqs", cinfo->template_reqs, indent+4);
 258         if (cinfo->declarator_reqs)
 259           print_node (file, "declarator_reqs", cinfo->declarator_reqs,
 260                       indent+4);
 261         print_node (file, "associated_constr",
 262                           cinfo->associated_constr, indent+4);
 263         print_node_brief (file, "assumptions", cinfo->assumptions, indent+4);
 264         break;
 265       }
 266     case ARGUMENT_PACK_SELECT:
 267       print_node (file, "pack", ARGUMENT_PACK_SELECT_FROM_PACK (node),
 268                   indent+4);
 269       indent_to (file, indent + 3);
 270       fprintf (file, "index %d", ARGUMENT_PACK_SELECT_INDEX (node));
 271       break;
 272     case DEFERRED_NOEXCEPT:
 273       print_node (file, "pattern", DEFERRED_NOEXCEPT_PATTERN (node), indent+4);
 274       print_node (file, "args", DEFERRED_NOEXCEPT_ARGS (node), indent+4);
 275       break;
 276     case TRAIT_EXPR:
 277       indent_to (file, indent+4);
 278       fprintf (file, "kind %d", TRAIT_EXPR_KIND (node));
 279       print_node (file, "type 1", TRAIT_EXPR_TYPE1 (node), indent+4);
 280       if (TRAIT_EXPR_TYPE2 (node))
 281         print_node (file, "type 2", TRAIT_EXPR_TYPE2 (node), indent+4);
 282       break;
 283     case LAMBDA_EXPR:
 284       cxx_print_lambda_node (file, node, indent);
 285       break;
 286     default:
 287       break;
 288     }
 289 }
 290
 291 /* Print the node NODE on standard error, for debugging.  */
 292
 293 DEBUG_FUNCTION void
 294 debug_tree (cp_expr node)
 295 {
 296   debug_tree (node.get_value());
 297 }