gdb/m2-valprint.c

   1 /* Support for printing Modula 2 values for GDB, the GNU debugger.
   2
   3    Copyright (C) 1986, 1988, 1989, 1991, 1992, 1996, 1998, 2000, 2005, 2006,
   4                  2007, 2008, 2009 Free Software Foundation, Inc.
   5
   6    This file is part of GDB.
   7
   8    This program is free software; you can redistribute it and/or modify
   9    it under the terms of the GNU General Public License as published by
  10    the Free Software Foundation; either version 3 of the License, or
  11    (at your option) any later version.
  12
  13    This program is distributed in the hope that it will be useful,
  14    but WITHOUT ANY WARRANTY; without even the implied warranty of
  15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16    GNU General Public License for more details.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  20
  21 #include "defs.h"
  22 #include "symtab.h"
  23 #include "gdbtypes.h"
  24 #include "expression.h"
  25 #include "value.h"
  26 #include "valprint.h"
  27 #include "language.h"
  28 #include "typeprint.h"
  29 #include "c-lang.h"
  30 #include "m2-lang.h"
  31 #include "target.h"
  32
  33 static int print_unpacked_pointer (struct type *type,
  34                                    CORE_ADDR address, CORE_ADDR addr,
  35                                    const struct value_print_options *options,
  36                                    struct ui_file *stream);
  37 static void
  38 m2_print_array_contents (struct type *type, const gdb_byte *valaddr,
  39                          int embedded_offset, CORE_ADDR address,
  40                          struct ui_file *stream, int recurse,
  41                          const struct value_print_options *options,
  42                          int len);
  43
  44
  45 /* Print function pointer with inferior address ADDRESS onto stdio
  46    stream STREAM.  */
  47
  48 static void
  49 print_function_pointer_address (struct gdbarch *gdbarch, CORE_ADDR address,
  50                                 struct ui_file *stream, int addressprint)
  51 {
  52   CORE_ADDR func_addr = gdbarch_convert_from_func_ptr_addr (gdbarch, address,
  53                                                             &current_target);
  54
  55   /* If the function pointer is represented by a description, print the
  56      address of the description.  */
  57   if (addressprint && func_addr != address)
  58     {
  59       fputs_filtered ("@", stream);
  60       fputs_filtered (paddress (address), stream);
  61       fputs_filtered (": ", stream);
  62     }
  63   print_address_demangle (func_addr, stream, demangle);
  64 }
  65
  66 /* get_long_set_bounds - assigns the bounds of the long set to low and
  67                          high.  */
  68
  69 int
  70 get_long_set_bounds (struct type *type, LONGEST *low, LONGEST *high)
  71 {
  72   int len, i;
  73
  74   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
  75     {
  76       len = TYPE_NFIELDS (type);
  77       i = TYPE_N_BASECLASSES (type);
  78       if (len == 0)
  79         return 0;
  80       *low = TYPE_LOW_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, i)));
  81       *high = TYPE_HIGH_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type,
  82                                                                  len-1)));
  83       return 1;
  84     }
  85   error (_("expecting long_set"));
  86   return 0;
  87 }
  88
  89 static void
  90 m2_print_long_set (struct type *type, const gdb_byte *valaddr,
  91                    int embedded_offset, CORE_ADDR address,
  92                    struct ui_file *stream)
  93 {
  94   int empty_set        = 1;
  95   int element_seen     = 0;
  96   LONGEST previous_low = 0;
  97   LONGEST previous_high= 0;
  98   LONGEST i, low_bound, high_bound;
  99   LONGEST field_low, field_high;
 100   struct type *range;
 101   int len, field;
 102   struct type *target;
 103   int bitval;
 104
 105   CHECK_TYPEDEF (type);
 106
 107   fprintf_filtered (stream, "{");
 108   len = TYPE_NFIELDS (type);
 109   if (get_long_set_bounds (type, &low_bound, &high_bound))
 110     {
 111       field = TYPE_N_BASECLASSES (type);
 112       range = TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, field));
 113     }
 114   else
 115     {
 116       fprintf_filtered (stream, " %s }", _("<unknown bounds of set>"));
 117       return;
 118     }
 119
 120   target = TYPE_TARGET_TYPE (range);
 121
 122   if (get_discrete_bounds (range, &field_low, &field_high) >= 0)
 123     {
 124       for (i = low_bound; i <= high_bound; i++)
 125         {
 126           bitval = value_bit_index (TYPE_FIELD_TYPE (type, field),
 127                                     (TYPE_FIELD_BITPOS (type, field) / 8) +
 128                                     valaddr + embedded_offset, i);
 129           if (bitval < 0)
 130             error (_("bit test is out of range"));
 131           else if (bitval > 0)
 132             {
 133               previous_high = i;
 134               if (! element_seen)
 135                 {
 136                   if (! empty_set)
 137                     fprintf_filtered (stream, ", ");
 138                   print_type_scalar (target, i, stream);
 139                   empty_set    = 0;
 140                   element_seen = 1;
 141                   previous_low = i;
 142                 }
 143             }
 144           else
 145             {
 146               /* bit is not set */
 147               if (element_seen)
 148                 {
 149                   if (previous_low+1 < previous_high)
 150                     fprintf_filtered (stream, "..");
 151                   if (previous_low+1 < previous_high)
 152                     print_type_scalar (target, previous_high, stream);
 153                   element_seen = 0;
 154                 }
 155             }
 156           if (i == field_high)
 157             {
 158               field++;
 159               if (field == len)
 160                 break;
 161               range = TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type, field));
 162               if (get_discrete_bounds (range, &field_low, &field_high) < 0)
 163                 break;
 164               target = TYPE_TARGET_TYPE (range);
 165             }
 166         }
 167       if (element_seen)
 168         {
 169           if (previous_low+1 < previous_high)
 170             {
 171               fprintf_filtered (stream, "..");
 172               print_type_scalar (target, previous_high, stream);
 173             }
 174           element_seen = 0;
 175         }
 176       fprintf_filtered (stream, "}");
 177     }
 178 }
 179
 180 static void
 181 m2_print_unbounded_array (struct type *type, const gdb_byte *valaddr,
 182                           int embedded_offset, CORE_ADDR address,
 183                           struct ui_file *stream, int recurse,
 184                           const struct value_print_options *options)
 185 {
 186   struct type *content_type;
 187   CORE_ADDR addr;
 188   LONGEST len;
 189   struct value *val;
 190
 191   CHECK_TYPEDEF (type);
 192   content_type = TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 0));
 193
 194   addr = unpack_pointer (TYPE_FIELD_TYPE (type, 0),
 195                          (TYPE_FIELD_BITPOS (type, 0) / 8) +
 196                          valaddr + embedded_offset);
 197
 198   val = value_at_lazy (TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 0)),
 199                        addr);
 200   len = unpack_field_as_long (type, valaddr + embedded_offset, 1);
 201
 202   fprintf_filtered (stream, "{");
 203   m2_print_array_contents (value_type (val), value_contents(val),
 204                            value_embedded_offset (val), addr, stream,
 205                            recurse, options, len);
 206   fprintf_filtered (stream, ", HIGH = %d}", (int) len);
 207 }
 208
 209 static int
 210 print_unpacked_pointer (struct type *type,
 211                         CORE_ADDR address, CORE_ADDR addr,
 212                         const struct value_print_options *options,
 213                         struct ui_file *stream)
 214 {
 215   struct gdbarch *gdbarch = get_type_arch (type);
 216   struct type *elttype = check_typedef (TYPE_TARGET_TYPE (type));
 217
 218   if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
 219     {
 220       /* Try to print what function it points to.  */
 221       print_function_pointer_address (gdbarch, addr, stream,
 222                                       options->addressprint);
 223       /* Return value is irrelevant except for string pointers.  */
 224       return 0;
 225     }
 226
 227   if (options->addressprint && options->format != 's')
 228     fputs_filtered (paddress (address), stream);
 229
 230   /* For a pointer to char or unsigned char, also print the string
 231      pointed to, unless pointer is null.  */
 232
 233   if (TYPE_LENGTH (elttype) == 1
 234       && TYPE_CODE (elttype) == TYPE_CODE_INT
 235       && (options->format == 0 || options->format == 's')
 236       && addr != 0)
 237     return val_print_string (TYPE_TARGET_TYPE (type), addr, -1,
 238                              stream, options);
 239
 240   return 0;
 241 }
 242
 243 static void
 244 print_variable_at_address (struct type *type,
 245                            const gdb_byte *valaddr,
 246                            struct ui_file *stream,
 247                            int recurse,
 248                            const struct value_print_options *options)
 249 {
 250   CORE_ADDR addr = unpack_pointer (type, valaddr);
 251   struct type *elttype = check_typedef (TYPE_TARGET_TYPE (type));
 252
 253   fprintf_filtered (stream, "[");
 254   fputs_filtered (paddress (addr), stream);
 255   fprintf_filtered (stream, "] : ");
 256
 257   if (TYPE_CODE (elttype) != TYPE_CODE_UNDEF)
 258     {
 259       struct value *deref_val =
 260         value_at (TYPE_TARGET_TYPE (type), unpack_pointer (type, valaddr));
 261       common_val_print (deref_val, stream, recurse, options, current_language);
 262     }
 263   else
 264     fputs_filtered ("???", stream);
 265 }
 266
 267
 268 /* m2_print_array_contents - prints out the contents of an
 269                              array up to a max_print values.
 270                              It prints arrays of char as a string
 271                              and all other data types as comma
 272                              separated values.  */
 273
 274 static void
 275 m2_print_array_contents (struct type *type, const gdb_byte *valaddr,
 276                          int embedded_offset, CORE_ADDR address,
 277                          struct ui_file *stream, int recurse,
 278                          const struct value_print_options *options,
 279                          int len)
 280 {
 281   int eltlen;
 282   CHECK_TYPEDEF (type);
 283
 284   if (TYPE_LENGTH (type) > 0)
 285     {
 286       eltlen = TYPE_LENGTH (type);
 287       if (options->prettyprint_arrays)
 288         print_spaces_filtered (2 + 2 * recurse, stream);
 289       /* For an array of chars, print with string syntax.  */
 290       if (eltlen == 1 &&
 291           ((TYPE_CODE (type) == TYPE_CODE_INT)
 292            || ((current_language->la_language == language_m2)
 293                && (TYPE_CODE (type) == TYPE_CODE_CHAR)))
 294           && (options->format == 0 || options->format == 's'))
 295         val_print_string (type, address, len+1, stream, options);
 296       else
 297         {
 298           fprintf_filtered (stream, "{");
 299           val_print_array_elements (type, valaddr + embedded_offset,
 300                                     address, stream, recurse, options, 0);
 301           fprintf_filtered (stream, "}");
 302         }
 303     }
 304 }
 305
 306
 307 /* Print data of type TYPE located at VALADDR (within GDB), which came from
 308    the inferior at address ADDRESS, onto stdio stream STREAM according to
 309    OPTIONS.  The data at VALADDR is in target byte order.
 310
 311    If the data are a string pointer, returns the number of string characters
 312    printed.  */
 313
 314 int
 315 m2_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
 316               CORE_ADDR address, struct ui_file *stream, int recurse,
 317               const struct value_print_options *options)
 318 {
 319   unsigned int i = 0;   /* Number of characters printed */
 320   unsigned len;
 321   struct type *elttype;
 322   unsigned eltlen;
 323   int length_pos, length_size, string_pos;
 324   int char_size;
 325   LONGEST val;
 326   CORE_ADDR addr;
 327
 328   CHECK_TYPEDEF (type);
 329   switch (TYPE_CODE (type))
 330     {
 331     case TYPE_CODE_ARRAY:
 332       if (TYPE_LENGTH (type) > 0 && TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0)
 333         {
 334           elttype = check_typedef (TYPE_TARGET_TYPE (type));
 335           eltlen = TYPE_LENGTH (elttype);
 336           len = TYPE_LENGTH (type) / eltlen;
 337           if (options->prettyprint_arrays)
 338             print_spaces_filtered (2 + 2 * recurse, stream);
 339           /* For an array of chars, print with string syntax.  */
 340           if (eltlen == 1 &&
 341               ((TYPE_CODE (elttype) == TYPE_CODE_INT)
 342                || ((current_language->la_language == language_m2)
 343                    && (TYPE_CODE (elttype) == TYPE_CODE_CHAR)))
 344               && (options->format == 0 || options->format == 's'))
 345             {
 346               /* If requested, look for the first null char and only print
 347                  elements up to it.  */
 348               if (options->stop_print_at_null)
 349                 {
 350                   unsigned int temp_len;
 351
 352                   /* Look for a NULL char. */
 353                   for (temp_len = 0;
 354                        (valaddr + embedded_offset)[temp_len]
 355                          && temp_len < len && temp_len < options->print_max;
 356                        temp_len++);
 357                   len = temp_len;
 358                 }
 359
 360               LA_PRINT_STRING (stream, TYPE_TARGET_TYPE (type),
 361                                valaddr + embedded_offset, len, 0,
 362                                options);
 363               i = len;
 364             }
 365           else
 366             {
 367               fprintf_filtered (stream, "{");
 368               val_print_array_elements (type, valaddr + embedded_offset,
 369                                         address, stream, recurse, options, 0);
 370               fprintf_filtered (stream, "}");
 371             }
 372           break;
 373         }
 374       /* Array of unspecified length: treat like pointer to first elt.  */
 375       print_unpacked_pointer (type, address, address, options, stream);
 376       break;
 377
 378     case TYPE_CODE_PTR:
 379       if (TYPE_CONST (type))
 380         print_variable_at_address (type, valaddr + embedded_offset,
 381                                    stream, recurse, options);
 382       else if (options->format && options->format != 's')
 383         print_scalar_formatted (valaddr + embedded_offset, type,
 384                                 options, 0, stream);
 385       else
 386         {
 387           addr = unpack_pointer (type, valaddr + embedded_offset);
 388           print_unpacked_pointer (type, addr, address, options, stream);
 389         }
 390       break;
 391
 392     case TYPE_CODE_REF:
 393       elttype = check_typedef (TYPE_TARGET_TYPE (type));
 394       if (options->addressprint)
 395         {
 396           CORE_ADDR addr
 397             = extract_typed_address (valaddr + embedded_offset, type);
 398           fprintf_filtered (stream, "@");
 399           fputs_filtered (paddress (addr), stream);
 400           if (options->deref_ref)
 401             fputs_filtered (": ", stream);
 402         }
 403       /* De-reference the reference.  */
 404       if (options->deref_ref)
 405         {
 406           if (TYPE_CODE (elttype) != TYPE_CODE_UNDEF)
 407             {
 408               struct value *deref_val =
 409                 value_at
 410                 (TYPE_TARGET_TYPE (type),
 411                  unpack_pointer (type, valaddr + embedded_offset));
 412               common_val_print (deref_val, stream, recurse, options,
 413                                 current_language);
 414             }
 415           else
 416             fputs_filtered ("???", stream);
 417         }
 418       break;
 419
 420     case TYPE_CODE_UNION:
 421       if (recurse && !options->unionprint)
 422         {
 423           fprintf_filtered (stream, "{...}");
 424           break;
 425         }
 426       /* Fall through.  */
 427     case TYPE_CODE_STRUCT:
 428       if (m2_is_long_set (type))
 429         m2_print_long_set (type, valaddr, embedded_offset, address,
 430                            stream);
 431       else if (m2_is_unbounded_array (type))
 432         m2_print_unbounded_array (type, valaddr, embedded_offset,
 433                                   address, stream, recurse, options);
 434       else
 435         cp_print_value_fields (type, type, valaddr, embedded_offset,
 436                                address, stream, recurse, options, NULL, 0);
 437       break;
 438
 439     case TYPE_CODE_ENUM:
 440       if (options->format)
 441         {
 442           print_scalar_formatted (valaddr + embedded_offset, type,
 443                                   options, 0, stream);
 444           break;
 445         }
 446       len = TYPE_NFIELDS (type);
 447       val = unpack_long (type, valaddr + embedded_offset);
 448       for (i = 0; i < len; i++)
 449         {
 450           QUIT;
 451           if (val == TYPE_FIELD_BITPOS (type, i))
 452             {
 453               break;
 454             }
 455         }
 456       if (i < len)
 457         {
 458           fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
 459         }
 460       else
 461         {
 462           print_longest (stream, 'd', 0, val);
 463         }
 464       break;
 465
 466     case TYPE_CODE_FUNC:
 467       if (options->format)
 468         {
 469           print_scalar_formatted (valaddr + embedded_offset, type,
 470                                   options, 0, stream);
 471           break;
 472         }
 473       /* FIXME, we should consider, at least for ANSI C language, eliminating
 474          the distinction made between FUNCs and POINTERs to FUNCs.  */
 475       fprintf_filtered (stream, "{");
 476       type_print (type, "", stream, -1);
 477       fprintf_filtered (stream, "} ");
 478       /* Try to print what function it points to, and its address.  */
 479       print_address_demangle (address, stream, demangle);
 480       break;
 481
 482     case TYPE_CODE_BOOL:
 483       if (options->format || options->output_format)
 484         {
 485           struct value_print_options opts = *options;
 486           opts.format = (options->format ? options->format
 487                          : options->output_format);
 488           print_scalar_formatted (valaddr + embedded_offset, type,
 489                                   &opts, 0, stream);
 490         }
 491       else
 492         {
 493           val = unpack_long (type, valaddr + embedded_offset);
 494           if (val == 0)
 495             fputs_filtered ("FALSE", stream);
 496           else if (val == 1)
 497             fputs_filtered ("TRUE", stream);
 498           else
 499             fprintf_filtered (stream, "%ld)", (long int) val);
 500         }
 501       break;
 502
 503     case TYPE_CODE_RANGE:
 504       if (TYPE_LENGTH (type) == TYPE_LENGTH (TYPE_TARGET_TYPE (type)))
 505         {
 506           m2_val_print (TYPE_TARGET_TYPE (type), valaddr, embedded_offset,
 507                         address, stream, recurse, options);
 508           break;
 509         }
 510       /* FIXME: create_range_type does not set the unsigned bit in a
 511          range type (I think it probably should copy it from the target
 512          type), so we won't print values which are too large to
 513          fit in a signed integer correctly.  */
 514       /* FIXME: Doesn't handle ranges of enums correctly.  (Can't just
 515          print with the target type, though, because the size of our type
 516          and the target type might differ).  */
 517       /* FALLTHROUGH */
 518
 519     case TYPE_CODE_INT:
 520       if (options->format || options->output_format)
 521         {
 522           struct value_print_options opts = *options;
 523           opts.format = (options->format ? options->format
 524                          : options->output_format);
 525           print_scalar_formatted (valaddr + embedded_offset, type,
 526                                   &opts, 0, stream);
 527         }
 528       else
 529         val_print_type_code_int (type, valaddr + embedded_offset, stream);
 530       break;
 531
 532     case TYPE_CODE_CHAR:
 533       if (options->format || options->output_format)
 534         {
 535           struct value_print_options opts = *options;
 536           opts.format = (options->format ? options->format
 537                          : options->output_format);
 538           print_scalar_formatted (valaddr + embedded_offset, type,
 539                                   &opts, 0, stream);
 540         }
 541       else
 542         {
 543           val = unpack_long (type, valaddr + embedded_offset);
 544           if (TYPE_UNSIGNED (type))
 545             fprintf_filtered (stream, "%u", (unsigned int) val);
 546           else
 547             fprintf_filtered (stream, "%d", (int) val);
 548           fputs_filtered (" ", stream);
 549           LA_PRINT_CHAR ((unsigned char) val, type, stream);
 550         }
 551       break;
 552
 553     case TYPE_CODE_FLT:
 554       if (options->format)
 555         print_scalar_formatted (valaddr + embedded_offset, type,
 556                                 options, 0, stream);
 557       else
 558         print_floating (valaddr + embedded_offset, type, stream);
 559       break;
 560
 561     case TYPE_CODE_METHOD:
 562       break;
 563
 564     case TYPE_CODE_BITSTRING:
 565     case TYPE_CODE_SET:
 566       elttype = TYPE_INDEX_TYPE (type);
 567       CHECK_TYPEDEF (elttype);
 568       if (TYPE_STUB (elttype))
 569         {
 570           fprintf_filtered (stream, _("<incomplete type>"));
 571           gdb_flush (stream);
 572           break;
 573         }
 574       else
 575         {
 576           struct type *range = elttype;
 577           LONGEST low_bound, high_bound;
 578           int i;
 579           int is_bitstring = TYPE_CODE (type) == TYPE_CODE_BITSTRING;
 580           int need_comma = 0;
 581
 582           if (is_bitstring)
 583             fputs_filtered ("B'", stream);
 584           else
 585             fputs_filtered ("{", stream);
 586
 587           i = get_discrete_bounds (range, &low_bound, &high_bound);
 588         maybe_bad_bstring:
 589           if (i < 0)
 590             {
 591               fputs_filtered (_("<error value>"), stream);
 592               goto done;
 593             }
 594
 595           for (i = low_bound; i <= high_bound; i++)
 596             {
 597               int element = value_bit_index (type, valaddr + embedded_offset,
 598                                              i);
 599               if (element < 0)
 600                 {
 601                   i = element;
 602                   goto maybe_bad_bstring;
 603                 }
 604               if (is_bitstring)
 605                 fprintf_filtered (stream, "%d", element);
 606               else if (element)
 607                 {
 608                   if (need_comma)
 609                     fputs_filtered (", ", stream);
 610                   print_type_scalar (range, i, stream);
 611                   need_comma = 1;
 612
 613                   if (i + 1 <= high_bound
 614                       && value_bit_index (type, valaddr + embedded_offset,
 615                                           ++i))
 616                     {
 617                       int j = i;
 618                       fputs_filtered ("..", stream);
 619                       while (i + 1 <= high_bound
 620                              && value_bit_index (type,
 621                                                  valaddr + embedded_offset,
 622                                                  ++i))
 623                         j = i;
 624                       print_type_scalar (range, j, stream);
 625                     }
 626                 }
 627             }
 628         done:
 629           if (is_bitstring)
 630             fputs_filtered ("'", stream);
 631           else
 632             fputs_filtered ("}", stream);
 633         }
 634       break;
 635
 636     case TYPE_CODE_VOID:
 637       fprintf_filtered (stream, "void");
 638       break;
 639
 640     case TYPE_CODE_ERROR:
 641       fprintf_filtered (stream, _("<error type>"));
 642       break;
 643
 644     case TYPE_CODE_UNDEF:
 645       /* This happens (without TYPE_FLAG_STUB set) on systems which don't use
 646          dbx xrefs (NO_DBX_XREFS in gcc) if a file has a "struct foo *bar"
 647          and no complete type for struct foo in that file.  */
 648       fprintf_filtered (stream, _("<incomplete type>"));
 649       break;
 650
 651     default:
 652       error (_("Invalid m2 type code %d in symbol table."), TYPE_CODE (type));
 653     }
 654   gdb_flush (stream);
 655   return (0);
 656 }