contrib/gdb-7/gdb/m2-typeprint.c

   1 /* Support for printing Modula 2 types for GDB, the GNU debugger.
   2    Copyright (C) 1986, 1988-1989, 1991-1992, 1995, 2000-2012 Free
   3    Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program 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 of the License, or
  10    (at your option) any later version.
  11
  12    This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #include "defs.h"
  21 #include "gdb_obstack.h"
  22 #include "bfd.h"                /* Binary File Description */
  23 #include "symtab.h"
  24 #include "gdbtypes.h"
  25 #include "expression.h"
  26 #include "value.h"
  27 #include "gdbcore.h"
  28 #include "m2-lang.h"
  29 #include "target.h"
  30 #include "language.h"
  31 #include "demangle.h"
  32 #include "c-lang.h"
  33 #include "typeprint.h"
  34 #include "cp-abi.h"
  35
  36 #include "gdb_string.h"
  37 #include <errno.h>
  38
  39 static void m2_print_bounds (struct type *type,
  40                              struct ui_file *stream, int show, int level,
  41                              int print_high);
  42
  43 static void m2_typedef (struct type *, struct ui_file *, int, int);
  44 static void m2_array (struct type *, struct ui_file *, int, int);
  45 static void m2_pointer (struct type *, struct ui_file *, int, int);
  46 static void m2_ref (struct type *, struct ui_file *, int, int);
  47 static void m2_procedure (struct type *, struct ui_file *, int, int);
  48 static void m2_union (struct type *, struct ui_file *);
  49 static void m2_enum (struct type *, struct ui_file *, int, int);
  50 static void m2_range (struct type *, struct ui_file *, int, int);
  51 static void m2_type_name (struct type *type, struct ui_file *stream);
  52 static void m2_short_set (struct type *type, struct ui_file *stream,
  53                           int show, int level);
  54 static int m2_long_set (struct type *type, struct ui_file *stream,
  55                         int show, int level);
  56 static int m2_unbounded_array (struct type *type, struct ui_file *stream,
  57                                int show, int level);
  58 static void m2_record_fields (struct type *type, struct ui_file *stream,
  59                               int show, int level);
  60 static void m2_unknown (const char *s, struct type *type,
  61                         struct ui_file *stream, int show, int level);
  62
  63 int m2_is_long_set (struct type *type);
  64 int m2_is_long_set_of_type (struct type *type, struct type **of_type);
  65 int m2_is_unbounded_array (struct type *type);
  66
  67
  68 void
  69 m2_print_type (struct type *type, const char *varstring,
  70                struct ui_file *stream,
  71                int show, int level)
  72 {
  73   enum type_code code;
  74
  75   CHECK_TYPEDEF (type);
  76
  77   QUIT;
  78
  79   wrap_here ("    ");
  80   if (type == NULL)
  81     {
  82       fputs_filtered (_("<type unknown>"), stream);
  83       return;
  84     }
  85
  86   code = TYPE_CODE (type);
  87   switch (TYPE_CODE (type))
  88     {
  89     case TYPE_CODE_SET:
  90       m2_short_set(type, stream, show, level);
  91       break;
  92
  93     case TYPE_CODE_STRUCT:
  94       if (m2_long_set (type, stream, show, level)
  95           || m2_unbounded_array (type, stream, show, level))
  96         break;
  97       m2_record_fields (type, stream, show, level);
  98       break;
  99
 100     case TYPE_CODE_TYPEDEF:
 101       m2_typedef (type, stream, show, level);
 102       break;
 103
 104     case TYPE_CODE_ARRAY:
 105       m2_array (type, stream, show, level);
 106       break;
 107
 108     case TYPE_CODE_PTR:
 109       m2_pointer (type, stream, show, level);
 110       break;
 111
 112     case TYPE_CODE_REF:
 113       m2_ref (type, stream, show, level);
 114       break;
 115
 116     case TYPE_CODE_METHOD:
 117       m2_unknown (_("method"), type, stream, show, level);
 118       break;
 119
 120     case TYPE_CODE_FUNC:
 121       m2_procedure (type, stream, show, level);
 122       break;
 123
 124     case TYPE_CODE_UNION:
 125       m2_union (type, stream);
 126       break;
 127
 128     case TYPE_CODE_ENUM:
 129       m2_enum (type, stream, show, level);
 130       break;
 131
 132     case TYPE_CODE_VOID:
 133       break;
 134
 135     case TYPE_CODE_UNDEF:
 136       /* i18n: Do not translate the "struct" part!  */
 137       m2_unknown (_("undef"), type, stream, show, level);
 138       break;
 139
 140     case TYPE_CODE_ERROR:
 141       m2_unknown (_("error"), type, stream, show, level);
 142       break;
 143
 144     case TYPE_CODE_RANGE:
 145       m2_range (type, stream, show, level);
 146       break;
 147
 148     default:
 149       m2_type_name (type, stream);
 150       break;
 151     }
 152 }
 153
 154 /* Print a typedef using M2 syntax.  TYPE is the underlying type.
 155    NEW_SYMBOL is the symbol naming the type.  STREAM is the stream on
 156    which to print.  */
 157
 158 void
 159 m2_print_typedef (struct type *type, struct symbol *new_symbol,
 160                   struct ui_file *stream)
 161 {
 162   CHECK_TYPEDEF (type);
 163   fprintf_filtered (stream, "TYPE ");
 164   if (!TYPE_NAME (SYMBOL_TYPE (new_symbol))
 165       || strcmp (TYPE_NAME ((SYMBOL_TYPE (new_symbol))),
 166                  SYMBOL_LINKAGE_NAME (new_symbol)) != 0)
 167     fprintf_filtered (stream, "%s = ", SYMBOL_PRINT_NAME (new_symbol));
 168   else
 169     fprintf_filtered (stream, "<builtin> = ");
 170   type_print (type, "", stream, 0);
 171   fprintf_filtered (stream, ";\n");
 172 }
 173
 174 /* m2_type_name - if a, type, has a name then print it.  */
 175
 176 void
 177 m2_type_name (struct type *type, struct ui_file *stream)
 178 {
 179   if (TYPE_NAME (type) != NULL)
 180     fputs_filtered (TYPE_NAME (type), stream);
 181 }
 182
 183 /* m2_range - displays a Modula-2 subrange type.  */
 184
 185 void
 186 m2_range (struct type *type, struct ui_file *stream, int show,
 187           int level)
 188 {
 189   if (TYPE_HIGH_BOUND (type) == TYPE_LOW_BOUND (type))
 190     m2_print_type (TYPE_DOMAIN_TYPE (type), "", stream, show, level);
 191   else
 192     {
 193       struct type *target = TYPE_TARGET_TYPE (type);
 194
 195       fprintf_filtered (stream, "[");
 196       print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
 197       fprintf_filtered (stream, "..");
 198       print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
 199       fprintf_filtered (stream, "]");
 200     }
 201 }
 202
 203 static void
 204 m2_typedef (struct type *type, struct ui_file *stream, int show,
 205             int level)
 206 {
 207   if (TYPE_NAME (type) != NULL)
 208     {
 209       fputs_filtered (TYPE_NAME (type), stream);
 210       fputs_filtered (" = ", stream);
 211     }
 212   m2_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
 213 }
 214
 215 /* m2_array - prints out a Modula-2 ARRAY ... OF type.  */
 216
 217 static void m2_array (struct type *type, struct ui_file *stream,
 218                       int show, int level)
 219 {
 220   fprintf_filtered (stream, "ARRAY [");
 221   if (TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0
 222       && !TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
 223     {
 224       if (TYPE_INDEX_TYPE (type) != 0)
 225         {
 226           m2_print_bounds (TYPE_INDEX_TYPE (type), stream, show, -1, 0);
 227           fprintf_filtered (stream, "..");
 228           m2_print_bounds (TYPE_INDEX_TYPE (type), stream, show, -1, 1);
 229         }
 230       else
 231         fprintf_filtered (stream, "%d",
 232                           (TYPE_LENGTH (type)
 233                            / TYPE_LENGTH (TYPE_TARGET_TYPE (type))));
 234     }
 235   fprintf_filtered (stream, "] OF ");
 236   m2_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
 237 }
 238
 239 static void
 240 m2_pointer (struct type *type, struct ui_file *stream, int show,
 241             int level)
 242 {
 243   if (TYPE_CONST (type))
 244     fprintf_filtered (stream, "[...] : ");
 245   else
 246     fprintf_filtered (stream, "POINTER TO ");
 247
 248   m2_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
 249 }
 250
 251 static void
 252 m2_ref (struct type *type, struct ui_file *stream, int show,
 253         int level)
 254 {
 255   fprintf_filtered (stream, "VAR");
 256   m2_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
 257 }
 258
 259 static void
 260 m2_unknown (const char *s, struct type *type, struct ui_file *stream,
 261             int show, int level)
 262 {
 263   fprintf_filtered (stream, "%s %s", s, _("is unknown"));
 264 }
 265
 266 static void m2_union (struct type *type, struct ui_file *stream)
 267 {
 268   fprintf_filtered (stream, "union");
 269 }
 270
 271 static void
 272 m2_procedure (struct type *type, struct ui_file *stream,
 273               int show, int level)
 274 {
 275   fprintf_filtered (stream, "PROCEDURE ");
 276   m2_type_name (type, stream);
 277   if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
 278     {
 279       int i, len = TYPE_NFIELDS (type);
 280
 281       fprintf_filtered (stream, " (");
 282       for (i = 0; i < len; i++)
 283         {
 284           if (i > 0)
 285             {
 286               fputs_filtered (", ", stream);
 287               wrap_here ("    ");
 288             }
 289           m2_print_type (TYPE_FIELD_TYPE (type, i), "", stream, -1, 0);
 290         }
 291       if (TYPE_TARGET_TYPE (type) != NULL)
 292         {
 293           fprintf_filtered (stream, " : ");
 294           m2_print_type (TYPE_TARGET_TYPE (type), "", stream, 0, 0);
 295         }
 296     }
 297 }
 298
 299 static void
 300 m2_print_bounds (struct type *type,
 301                  struct ui_file *stream, int show, int level,
 302                  int print_high)
 303 {
 304   struct type *target = TYPE_TARGET_TYPE (type);
 305
 306   if (TYPE_NFIELDS(type) == 0)
 307     return;
 308
 309   if (print_high)
 310     print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
 311   else
 312     print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
 313 }
 314
 315 static void
 316 m2_short_set (struct type *type, struct ui_file *stream, int show, int level)
 317 {
 318   fprintf_filtered(stream, "SET [");
 319   m2_print_bounds (TYPE_INDEX_TYPE (type), stream,
 320                    show - 1, level, 0);
 321
 322   fprintf_filtered(stream, "..");
 323   m2_print_bounds (TYPE_INDEX_TYPE (type), stream,
 324                    show - 1, level, 1);
 325   fprintf_filtered(stream, "]");
 326 }
 327
 328 int
 329 m2_is_long_set (struct type *type)
 330 {
 331   LONGEST previous_high = 0;  /* Unnecessary initialization
 332                                  keeps gcc -Wall happy.  */
 333   int len, i;
 334   struct type *range;
 335
 336   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 337     {
 338
 339       /* check if all fields of the RECORD are consecutive sets.  */
 340
 341       len = TYPE_NFIELDS (type);
 342       for (i = TYPE_N_BASECLASSES (type); i < len; i++)
 343         {
 344           if (TYPE_FIELD_TYPE (type, i) == NULL)
 345             return 0;
 346           if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) != TYPE_CODE_SET)
 347             return 0;
 348           if (TYPE_FIELD_NAME (type, i) != NULL
 349               && (strcmp (TYPE_FIELD_NAME (type, i), "") != 0))
 350             return 0;
 351           range = TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, i));
 352           if ((i > TYPE_N_BASECLASSES (type))
 353               && previous_high + 1 != TYPE_LOW_BOUND (range))
 354             return 0;
 355           previous_high = TYPE_HIGH_BOUND (range);
 356         }
 357       return len>0;
 358     }
 359   return 0;
 360 }
 361
 362 /* m2_get_discrete_bounds - a wrapper for get_discrete_bounds which
 363                             understands that CHARs might be signed.
 364                             This should be integrated into gdbtypes.c
 365                             inside get_discrete_bounds.  */
 366
 367 static int
 368 m2_get_discrete_bounds (struct type *type, LONGEST *lowp, LONGEST *highp)
 369 {
 370   CHECK_TYPEDEF (type);
 371   switch (TYPE_CODE (type))
 372     {
 373     case TYPE_CODE_CHAR:
 374       if (TYPE_LENGTH (type) < sizeof (LONGEST))
 375         {
 376           if (!TYPE_UNSIGNED (type))
 377             {
 378               *lowp = -(1 << (TYPE_LENGTH (type) * TARGET_CHAR_BIT - 1));
 379               *highp = -*lowp - 1;
 380               return 0;
 381             }
 382         }
 383       /* fall through */
 384     default:
 385       return get_discrete_bounds (type, lowp, highp);
 386     }
 387 }
 388
 389 /* m2_is_long_set_of_type - returns TRUE if the long set was declared as
 390                             SET OF <oftype> of_type is assigned to the
 391                             subtype.  */
 392
 393 int
 394 m2_is_long_set_of_type (struct type *type, struct type **of_type)
 395 {
 396   int len, i;
 397   struct type *range;
 398   struct type *target;
 399   LONGEST l1, l2;
 400   LONGEST h1, h2;
 401
 402   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 403     {
 404       len = TYPE_NFIELDS (type);
 405       i = TYPE_N_BASECLASSES (type);
 406       if (len == 0)
 407         return 0;
 408       range = TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, i));
 409       target = TYPE_TARGET_TYPE (range);
 410
 411       l1 = TYPE_LOW_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, i)));
 412       h1 = TYPE_HIGH_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, len-1)));
 413       *of_type = target;
 414       if (m2_get_discrete_bounds (target, &l2, &h2) >= 0)
 415         return (l1 == l2 && h1 == h2);
 416       error (_("long_set failed to find discrete bounds for its subtype"));
 417       return 0;
 418     }
 419   error (_("expecting long_set"));
 420   return 0;
 421 }
 422
 423 static int
 424 m2_long_set (struct type *type, struct ui_file *stream, int show, int level)
 425 {
 426   struct type *of_type;
 427   int i;
 428   int len = TYPE_NFIELDS (type);
 429   LONGEST low;
 430   LONGEST high;
 431
 432   if (m2_is_long_set (type))
 433     {
 434       if (TYPE_TAG_NAME (type) != NULL)
 435         {
 436           fputs_filtered (TYPE_TAG_NAME (type), stream);
 437           if (show == 0)
 438             return 1;
 439         }
 440       else if (TYPE_NAME (type) != NULL)
 441         {
 442           fputs_filtered (TYPE_NAME (type), stream);
 443           if (show == 0)
 444             return 1;
 445         }
 446
 447       if (TYPE_TAG_NAME (type) != NULL || TYPE_NAME (type) != NULL)
 448         fputs_filtered (" = ", stream);
 449
 450       if (get_long_set_bounds (type, &low, &high))
 451         {
 452           fprintf_filtered(stream, "SET OF ");
 453           i = TYPE_N_BASECLASSES (type);
 454           if (m2_is_long_set_of_type (type, &of_type))
 455             m2_print_type (of_type, "", stream, show - 1, level);
 456           else
 457             {
 458               fprintf_filtered(stream, "[");
 459               m2_print_bounds (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, i)),
 460                                stream, show - 1, level, 0);
 461
 462               fprintf_filtered(stream, "..");
 463
 464               m2_print_bounds (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, len-1)),
 465                                stream, show - 1, level, 1);
 466               fprintf_filtered(stream, "]");
 467             }
 468         }
 469       else
 470         /* i18n: Do not translate the "SET OF" part!  */
 471         fprintf_filtered(stream, _("SET OF <unknown>"));
 472
 473       return 1;
 474     }
 475   return 0;
 476 }
 477
 478 /* m2_is_unbounded_array - returns TRUE if, type, should be regarded
 479                            as a Modula-2 unbounded ARRAY type.  */
 480
 481 int
 482 m2_is_unbounded_array (struct type *type)
 483 {
 484   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 485     {
 486       /*
 487        *  check if we have a structure with exactly two fields named
 488        *  _m2_contents and _m2_high.  It also checks to see if the
 489        *  type of _m2_contents is a pointer.  The TYPE_TARGET_TYPE
 490        *  of the pointer determines the unbounded ARRAY OF type.
 491        */
 492       if (TYPE_NFIELDS (type) != 2)
 493         return 0;
 494       if (strcmp (TYPE_FIELD_NAME (type, 0), "_m2_contents") != 0)
 495         return 0;
 496       if (strcmp (TYPE_FIELD_NAME (type, 1), "_m2_high") != 0)
 497         return 0;
 498       if (TYPE_CODE (TYPE_FIELD_TYPE (type, 0)) != TYPE_CODE_PTR)
 499         return 0;
 500       return 1;
 501     }
 502   return 0;
 503 }
 504
 505 /* m2_unbounded_array - if the struct type matches a Modula-2 unbounded
 506                         parameter type then display the type as an
 507                         ARRAY OF type.  Returns TRUE if an unbounded
 508                         array type was detected.  */
 509
 510 static int
 511 m2_unbounded_array (struct type *type, struct ui_file *stream, int show,
 512                     int level)
 513 {
 514   if (m2_is_unbounded_array (type))
 515     {
 516       if (show > 0)
 517         {
 518           fputs_filtered ("ARRAY OF ", stream);
 519           m2_print_type (TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 0)),
 520                          "", stream, 0, level);
 521         }
 522       return 1;
 523     }
 524   return 0;
 525 }
 526
 527 void
 528 m2_record_fields (struct type *type, struct ui_file *stream, int show,
 529                   int level)
 530 {
 531   /* Print the tag if it exists.  */
 532   if (TYPE_TAG_NAME (type) != NULL)
 533     {
 534       if (strncmp (TYPE_TAG_NAME (type), "$$", 2) != 0)
 535         {
 536           fputs_filtered (TYPE_TAG_NAME (type), stream);
 537           if (show > 0)
 538             fprintf_filtered (stream, " = ");
 539         }
 540     }
 541   wrap_here ("    ");
 542   if (show < 0)
 543     {
 544       if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 545         fprintf_filtered (stream, "RECORD ... END ");
 546       else if (TYPE_CODE (type) == TYPE_CODE_UNION)
 547         fprintf_filtered (stream, "CASE ... END ");
 548     }
 549   else if (show > 0)
 550     {
 551       int i;
 552       int len = TYPE_NFIELDS (type);
 553
 554       if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 555         fprintf_filtered (stream, "RECORD\n");
 556       else if (TYPE_CODE (type) == TYPE_CODE_UNION)
 557         /* i18n: Do not translate "CASE" and "OF".  */
 558         fprintf_filtered (stream, _("CASE <variant> OF\n"));
 559
 560       for (i = TYPE_N_BASECLASSES (type); i < len; i++)
 561         {
 562           QUIT;
 563
 564           print_spaces_filtered (level + 4, stream);
 565           fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
 566           fputs_filtered (" : ", stream);
 567           m2_print_type (TYPE_FIELD_TYPE (type, i),
 568                          "",
 569                          stream, 0, level + 4);
 570           if (TYPE_FIELD_PACKED (type, i))
 571             {
 572               /* It is a bitfield.  This code does not attempt
 573                  to look at the bitpos and reconstruct filler,
 574                  unnamed fields.  This would lead to misleading
 575                  results if the compiler does not put out fields
 576                  for such things (I don't know what it does).  */
 577               fprintf_filtered (stream, " : %d",
 578                                 TYPE_FIELD_BITSIZE (type, i));
 579             }
 580           fprintf_filtered (stream, ";\n");
 581         }
 582
 583       fprintfi_filtered (level, stream, "END ");
 584     }
 585 }
 586
 587 void
 588 m2_enum (struct type *type, struct ui_file *stream, int show, int level)
 589 {
 590   int lastval, i, len;
 591
 592   if (show < 0)
 593     {
 594       /* If we just printed a tag name, no need to print anything else.  */
 595       if (TYPE_TAG_NAME (type) == NULL)
 596         fprintf_filtered (stream, "(...)");
 597     }
 598   else if (show > 0 || TYPE_TAG_NAME (type) == NULL)
 599     {
 600       fprintf_filtered (stream, "(");
 601       len = TYPE_NFIELDS (type);
 602       lastval = 0;
 603       for (i = 0; i < len; i++)
 604         {
 605           QUIT;
 606           if (i > 0)
 607             fprintf_filtered (stream, ", ");
 608           wrap_here ("    ");
 609           fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
 610           if (lastval != TYPE_FIELD_BITPOS (type, i))
 611             {
 612               fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
 613               lastval = TYPE_FIELD_BITPOS (type, i);
 614             }
 615           lastval++;
 616         }
 617       fprintf_filtered (stream, ")");
 618     }
 619 }