gcc/cp/ptree.c

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