contrib/gdb-7/gdb/c-valprint.c

   1 /* Support for printing C values for GDB, the GNU debugger.
   2
   3    Copyright (C) 1986, 1988-1989, 1991-2001, 2003, 2005-2012 Free
   4    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 "gdb_string.h"
  23 #include "symtab.h"
  24 #include "gdbtypes.h"
  25 #include "expression.h"
  26 #include "value.h"
  27 #include "valprint.h"
  28 #include "language.h"
  29 #include "c-lang.h"
  30 #include "cp-abi.h"
  31 #include "target.h"
  32 \f
  33
  34 /* Print function pointer with inferior address ADDRESS onto stdio
  35    stream STREAM.  */
  36
  37 static void
  38 print_function_pointer_address (struct gdbarch *gdbarch,
  39                                 CORE_ADDR address,
  40                                 struct ui_file *stream,
  41                                 int addressprint)
  42 {
  43   CORE_ADDR func_addr
  44     = gdbarch_convert_from_func_ptr_addr (gdbarch, address,
  45                                           &current_target);
  46
  47   /* If the function pointer is represented by a description, print
  48      the address of the description.  */
  49   if (addressprint && func_addr != address)
  50     {
  51       fputs_filtered ("@", stream);
  52       fputs_filtered (paddress (gdbarch, address), stream);
  53       fputs_filtered (": ", stream);
  54     }
  55   print_address_demangle (gdbarch, func_addr, stream, demangle);
  56 }
  57
  58
  59 /* A helper for c_textual_element_type.  This checks the name of the
  60    typedef.  This is bogus but it isn't apparent that the compiler
  61    provides us the help we may need.  */
  62
  63 static int
  64 textual_name (const char *name)
  65 {
  66   return (!strcmp (name, "wchar_t")
  67           || !strcmp (name, "char16_t")
  68           || !strcmp (name, "char32_t"));
  69 }
  70
  71 /* Apply a heuristic to decide whether an array of TYPE or a pointer
  72    to TYPE should be printed as a textual string.  Return non-zero if
  73    it should, or zero if it should be treated as an array of integers
  74    or pointer to integers.  FORMAT is the current format letter, or 0
  75    if none.
  76
  77    We guess that "char" is a character.  Explicitly signed and
  78    unsigned character types are also characters.  Integer data from
  79    vector types is not.  The user can override this by using the /s
  80    format letter.  */
  81
  82 int
  83 c_textual_element_type (struct type *type, char format)
  84 {
  85   struct type *true_type, *iter_type;
  86
  87   if (format != 0 && format != 's')
  88     return 0;
  89
  90   /* We also rely on this for its side effect of setting up all the
  91      typedef pointers.  */
  92   true_type = check_typedef (type);
  93
  94   /* TYPE_CODE_CHAR is always textual.  */
  95   if (TYPE_CODE (true_type) == TYPE_CODE_CHAR)
  96     return 1;
  97
  98   /* Any other character-like types must be integral.  */
  99   if (TYPE_CODE (true_type) != TYPE_CODE_INT)
 100     return 0;
 101
 102   /* We peel typedefs one by one, looking for a match.  */
 103   iter_type = type;
 104   while (iter_type)
 105     {
 106       /* Check the name of the type.  */
 107       if (TYPE_NAME (iter_type) && textual_name (TYPE_NAME (iter_type)))
 108         return 1;
 109
 110       if (TYPE_CODE (iter_type) != TYPE_CODE_TYPEDEF)
 111         break;
 112
 113       /* Peel a single typedef.  If the typedef doesn't have a target
 114          type, we use check_typedef and hope the result is ok -- it
 115          might be for C++, where wchar_t is a built-in type.  */
 116       if (TYPE_TARGET_TYPE (iter_type))
 117         iter_type = TYPE_TARGET_TYPE (iter_type);
 118       else
 119         iter_type = check_typedef (iter_type);
 120     }
 121
 122   if (format == 's')
 123     {
 124       /* Print this as a string if we can manage it.  For now, no wide
 125          character support.  */
 126       if (TYPE_CODE (true_type) == TYPE_CODE_INT
 127           && TYPE_LENGTH (true_type) == 1)
 128         return 1;
 129     }
 130   else
 131     {
 132       /* If a one-byte TYPE_CODE_INT is missing the not-a-character
 133          flag, then we treat it as text; otherwise, we assume it's
 134          being used as data.  */
 135       if (TYPE_CODE (true_type) == TYPE_CODE_INT
 136           && TYPE_LENGTH (true_type) == 1
 137           && !TYPE_NOTTEXT (true_type))
 138         return 1;
 139     }
 140
 141   return 0;
 142 }
 143
 144 /* See val_print for a description of the various parameters of this
 145    function; they are identical.  The semantics of the return value is
 146    also identical to val_print.  */
 147
 148 int
 149 c_val_print (struct type *type, const gdb_byte *valaddr,
 150              int embedded_offset, CORE_ADDR address,
 151              struct ui_file *stream, int recurse,
 152              const struct value *original_value,
 153              const struct value_print_options *options)
 154 {
 155   struct gdbarch *gdbarch = get_type_arch (type);
 156   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 157   unsigned int i = 0;   /* Number of characters printed.  */
 158   unsigned len;
 159   struct type *elttype, *unresolved_elttype;
 160   struct type *unresolved_type = type;
 161   unsigned eltlen;
 162   LONGEST val;
 163   CORE_ADDR addr;
 164
 165   CHECK_TYPEDEF (type);
 166   switch (TYPE_CODE (type))
 167     {
 168     case TYPE_CODE_ARRAY:
 169       unresolved_elttype = TYPE_TARGET_TYPE (type);
 170       elttype = check_typedef (unresolved_elttype);
 171       if (TYPE_LENGTH (type) > 0 && TYPE_LENGTH (unresolved_elttype) > 0)
 172         {
 173           LONGEST low_bound, high_bound;
 174
 175           if (!get_array_bounds (type, &low_bound, &high_bound))
 176             error (_("Could not determine the array high bound"));
 177
 178           eltlen = TYPE_LENGTH (elttype);
 179           len = high_bound - low_bound + 1;
 180           if (options->prettyprint_arrays)
 181             {
 182               print_spaces_filtered (2 + 2 * recurse, stream);
 183             }
 184
 185           /* Print arrays of textual chars with a string syntax, as
 186              long as the entire array is valid.  */
 187           if (c_textual_element_type (unresolved_elttype,
 188                                       options->format)
 189               && value_bytes_available (original_value, embedded_offset,
 190                                         TYPE_LENGTH (type))
 191               && value_bits_valid (original_value,
 192                                    TARGET_CHAR_BIT * embedded_offset,
 193                                    TARGET_CHAR_BIT * TYPE_LENGTH (type)))
 194             {
 195               /* If requested, look for the first null char and only
 196                  print elements up to it.  */
 197               if (options->stop_print_at_null)
 198                 {
 199                   unsigned int temp_len;
 200
 201                   for (temp_len = 0;
 202                        (temp_len < len
 203                         && temp_len < options->print_max
 204                         && extract_unsigned_integer (valaddr + embedded_offset
 205                                                      + temp_len * eltlen,
 206                                                      eltlen, byte_order) != 0);
 207                        ++temp_len)
 208                     ;
 209                   len = temp_len;
 210                 }
 211
 212               LA_PRINT_STRING (stream, unresolved_elttype,
 213                                valaddr + embedded_offset, len,
 214                                NULL, 0, options);
 215               i = len;
 216             }
 217           else
 218             {
 219               fprintf_filtered (stream, "{");
 220               /* If this is a virtual function table, print the 0th
 221                  entry specially, and the rest of the members
 222                  normally.  */
 223               if (cp_is_vtbl_ptr_type (elttype))
 224                 {
 225                   i = 1;
 226                   fprintf_filtered (stream, _("%d vtable entries"),
 227                                     len - 1);
 228                 }
 229               else
 230                 {
 231                   i = 0;
 232                 }
 233               val_print_array_elements (type, valaddr, embedded_offset,
 234                                         address, stream,
 235                                         recurse, original_value, options, i);
 236               fprintf_filtered (stream, "}");
 237             }
 238           break;
 239         }
 240       /* Array of unspecified length: treat like pointer to first
 241          elt.  */
 242       addr = address + embedded_offset;
 243       goto print_unpacked_pointer;
 244
 245     case TYPE_CODE_MEMBERPTR:
 246       if (options->format)
 247         {
 248           val_print_scalar_formatted (type, valaddr, embedded_offset,
 249                                       original_value, options, 0, stream);
 250           break;
 251         }
 252       cp_print_class_member (valaddr + embedded_offset, type, stream, "&");
 253       break;
 254
 255     case TYPE_CODE_METHODPTR:
 256       cplus_print_method_ptr (valaddr + embedded_offset, type, stream);
 257       break;
 258
 259     case TYPE_CODE_PTR:
 260       if (options->format && options->format != 's')
 261         {
 262           val_print_scalar_formatted (type, valaddr, embedded_offset,
 263                                       original_value, options, 0, stream);
 264           break;
 265         }
 266       if (options->vtblprint && cp_is_vtbl_ptr_type (type))
 267         {
 268           /* Print the unmangled name if desired.  */
 269           /* Print vtable entry - we only get here if we ARE using
 270              -fvtable_thunks.  (Otherwise, look under
 271              TYPE_CODE_STRUCT.)  */
 272           CORE_ADDR addr
 273             = extract_typed_address (valaddr + embedded_offset, type);
 274
 275           print_function_pointer_address (gdbarch, addr, stream,
 276                                           options->addressprint);
 277           break;
 278         }
 279       unresolved_elttype = TYPE_TARGET_TYPE (type);
 280       elttype = check_typedef (unresolved_elttype);
 281         {
 282           addr = unpack_pointer (type, valaddr + embedded_offset);
 283         print_unpacked_pointer:
 284
 285           if (TYPE_CODE (elttype) == TYPE_CODE_FUNC)
 286             {
 287               /* Try to print what function it points to.  */
 288               print_function_pointer_address (gdbarch, addr, stream,
 289                                               options->addressprint);
 290               /* Return value is irrelevant except for string
 291                  pointers.  */
 292               return (0);
 293             }
 294
 295           if (options->addressprint)
 296             fputs_filtered (paddress (gdbarch, addr), stream);
 297
 298           /* For a pointer to a textual type, also print the string
 299              pointed to, unless pointer is null.  */
 300
 301           if (c_textual_element_type (unresolved_elttype,
 302                                       options->format)
 303               && addr != 0)
 304             {
 305               i = val_print_string (unresolved_elttype, NULL,
 306                                     addr, -1,
 307                                     stream, options);
 308             }
 309           else if (cp_is_vtbl_member (type))
 310             {
 311               /* Print vtbl's nicely.  */
 312               CORE_ADDR vt_address = unpack_pointer (type,
 313                                                      valaddr
 314                                                      + embedded_offset);
 315
 316               struct minimal_symbol *msymbol =
 317               lookup_minimal_symbol_by_pc (vt_address);
 318               if ((msymbol != NULL)
 319                   && (vt_address == SYMBOL_VALUE_ADDRESS (msymbol)))
 320                 {
 321                   fputs_filtered (" <", stream);
 322                   fputs_filtered (SYMBOL_PRINT_NAME (msymbol), stream);
 323                   fputs_filtered (">", stream);
 324                 }
 325               if (vt_address && options->vtblprint)
 326                 {
 327                   struct value *vt_val;
 328                   struct symbol *wsym = (struct symbol *) NULL;
 329                   struct type *wtype;
 330                   struct block *block = (struct block *) NULL;
 331                   int is_this_fld;
 332
 333                   if (msymbol != NULL)
 334                     wsym = lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
 335                                           block, VAR_DOMAIN,
 336                                           &is_this_fld);
 337
 338                   if (wsym)
 339                     {
 340                       wtype = SYMBOL_TYPE (wsym);
 341                     }
 342                   else
 343                     {
 344                       wtype = unresolved_elttype;
 345                     }
 346                   vt_val = value_at (wtype, vt_address);
 347                   common_val_print (vt_val, stream, recurse + 1,
 348                                     options, current_language);
 349                   if (options->pretty)
 350                     {
 351                       fprintf_filtered (stream, "\n");
 352                       print_spaces_filtered (2 + 2 * recurse, stream);
 353                     }
 354                 }
 355             }
 356
 357           /* Return number of characters printed, including the
 358              terminating '\0' if we reached the end.  val_print_string
 359              takes care including the terminating '\0' if
 360              necessary.  */
 361           return i;
 362         }
 363       break;
 364
 365     case TYPE_CODE_REF:
 366       elttype = check_typedef (TYPE_TARGET_TYPE (type));
 367       if (options->addressprint)
 368         {
 369           CORE_ADDR addr
 370             = extract_typed_address (valaddr + embedded_offset, type);
 371
 372           fprintf_filtered (stream, "@");
 373           fputs_filtered (paddress (gdbarch, addr), stream);
 374           if (options->deref_ref)
 375             fputs_filtered (": ", stream);
 376         }
 377       /* De-reference the reference.  */
 378       if (options->deref_ref)
 379         {
 380           if (TYPE_CODE (elttype) != TYPE_CODE_UNDEF)
 381             {
 382               struct value *deref_val;
 383
 384               deref_val = coerce_ref_if_computed (original_value);
 385               if (deref_val != NULL)
 386                 {
 387                   /* More complicated computed references are not supported.  */
 388                   gdb_assert (embedded_offset == 0);
 389                 }
 390               else
 391                 deref_val = value_at (TYPE_TARGET_TYPE (type),
 392                                       unpack_pointer (type,
 393                                                       (valaddr
 394                                                        + embedded_offset)));
 395
 396               common_val_print (deref_val, stream, recurse, options,
 397                                 current_language);
 398             }
 399           else
 400             fputs_filtered ("???", stream);
 401         }
 402       break;
 403
 404     case TYPE_CODE_UNION:
 405       if (recurse && !options->unionprint)
 406         {
 407           fprintf_filtered (stream, "{...}");
 408           break;
 409         }
 410       /* Fall through.  */
 411     case TYPE_CODE_STRUCT:
 412       /*FIXME: Abstract this away.  */
 413       if (options->vtblprint && cp_is_vtbl_ptr_type (type))
 414         {
 415           /* Print the unmangled name if desired.  */
 416           /* Print vtable entry - we only get here if NOT using
 417              -fvtable_thunks.  (Otherwise, look under
 418              TYPE_CODE_PTR.)  */
 419           int offset = (embedded_offset
 420                         + TYPE_FIELD_BITPOS (type,
 421                                              VTBL_FNADDR_OFFSET) / 8);
 422           struct type *field_type = TYPE_FIELD_TYPE (type,
 423                                                      VTBL_FNADDR_OFFSET);
 424           CORE_ADDR addr
 425             = extract_typed_address (valaddr + offset, field_type);
 426
 427           print_function_pointer_address (gdbarch, addr, stream,
 428                                           options->addressprint);
 429         }
 430       else
 431         cp_print_value_fields_rtti (type, valaddr,
 432                                     embedded_offset, address,
 433                                     stream, recurse,
 434                                     original_value, options,
 435                                     NULL, 0);
 436       break;
 437
 438     case TYPE_CODE_ENUM:
 439       if (options->format)
 440         {
 441           val_print_scalar_formatted (type, valaddr, embedded_offset,
 442                                       original_value, options, 0, stream);
 443           break;
 444         }
 445       len = TYPE_NFIELDS (type);
 446       val = unpack_long (type, valaddr + embedded_offset);
 447       for (i = 0; i < len; i++)
 448         {
 449           QUIT;
 450           if (val == TYPE_FIELD_BITPOS (type, i))
 451             {
 452               break;
 453             }
 454         }
 455       if (i < len)
 456         {
 457           fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
 458         }
 459       else
 460         {
 461           print_longest (stream, 'd', 0, val);
 462         }
 463       break;
 464
 465     case TYPE_CODE_FLAGS:
 466       if (options->format)
 467         val_print_scalar_formatted (type, valaddr, embedded_offset,
 468                                     original_value, options, 0, stream);
 469       else
 470         val_print_type_code_flags (type, valaddr + embedded_offset,
 471                                    stream);
 472       break;
 473
 474     case TYPE_CODE_FUNC:
 475     case TYPE_CODE_METHOD:
 476       if (options->format)
 477         {
 478           val_print_scalar_formatted (type, valaddr, embedded_offset,
 479                                       original_value, options, 0, stream);
 480           break;
 481         }
 482       /* FIXME, we should consider, at least for ANSI C language,
 483          eliminating the distinction made between FUNCs and POINTERs
 484          to FUNCs.  */
 485       fprintf_filtered (stream, "{");
 486       type_print (type, "", stream, -1);
 487       fprintf_filtered (stream, "} ");
 488       /* Try to print what function it points to, and its address.  */
 489       print_address_demangle (gdbarch, address, stream, demangle);
 490       break;
 491
 492     case TYPE_CODE_BOOL:
 493       if (options->format || options->output_format)
 494         {
 495           struct value_print_options opts = *options;
 496           opts.format = (options->format ? options->format
 497                          : options->output_format);
 498           val_print_scalar_formatted (type, valaddr, embedded_offset,
 499                                       original_value, &opts, 0, stream);
 500         }
 501       else
 502         {
 503           val = unpack_long (type, valaddr + embedded_offset);
 504           if (val == 0)
 505             fputs_filtered ("false", stream);
 506           else if (val == 1)
 507             fputs_filtered ("true", stream);
 508           else
 509             print_longest (stream, 'd', 0, val);
 510         }
 511       break;
 512
 513     case TYPE_CODE_RANGE:
 514       /* FIXME: create_range_type does not set the unsigned bit in a
 515          range type (I think it probably should copy it from the
 516          target type), so we won't print values which are too large to
 517          fit in a signed integer correctly.  */
 518       /* FIXME: Doesn't handle ranges of enums correctly.  (Can't just
 519          print with the target type, though, because the size of our
 520          type and the target type might differ).  */
 521       /* FALLTHROUGH */
 522
 523     case TYPE_CODE_INT:
 524       if (options->format || options->output_format)
 525         {
 526           struct value_print_options opts = *options;
 527
 528           opts.format = (options->format ? options->format
 529                          : options->output_format);
 530           val_print_scalar_formatted (type, valaddr, embedded_offset,
 531                                       original_value, &opts, 0, stream);
 532         }
 533       else
 534         {
 535           val_print_type_code_int (type, valaddr + embedded_offset,
 536                                    stream);
 537           /* C and C++ has no single byte int type, char is used
 538              instead.  Since we don't know whether the value is really
 539              intended to be used as an integer or a character, print
 540              the character equivalent as well.  */
 541           if (c_textual_element_type (unresolved_type, options->format))
 542             {
 543               fputs_filtered (" ", stream);
 544               LA_PRINT_CHAR (unpack_long (type, valaddr + embedded_offset),
 545                              unresolved_type, stream);
 546             }
 547         }
 548       break;
 549
 550     case TYPE_CODE_CHAR:
 551       if (options->format || options->output_format)
 552         {
 553           struct value_print_options opts = *options;
 554           opts.format = (options->format ? options->format
 555                          : options->output_format);
 556           val_print_scalar_formatted (type, valaddr, embedded_offset,
 557                                       original_value, &opts, 0, stream);
 558         }
 559       else
 560         {
 561           val = unpack_long (type, valaddr + embedded_offset);
 562           if (TYPE_UNSIGNED (type))
 563             fprintf_filtered (stream, "%u", (unsigned int) val);
 564           else
 565             fprintf_filtered (stream, "%d", (int) val);
 566           fputs_filtered (" ", stream);
 567           LA_PRINT_CHAR (val, unresolved_type, stream);
 568         }
 569       break;
 570
 571     case TYPE_CODE_FLT:
 572       if (options->format)
 573         {
 574           val_print_scalar_formatted (type, valaddr, embedded_offset,
 575                                       original_value, options, 0, stream);
 576         }
 577       else
 578         {
 579           print_floating (valaddr + embedded_offset, type, stream);
 580         }
 581       break;
 582
 583     case TYPE_CODE_DECFLOAT:
 584       if (options->format)
 585         val_print_scalar_formatted (type, valaddr, embedded_offset,
 586                                     original_value, options, 0, stream);
 587       else
 588         print_decimal_floating (valaddr + embedded_offset,
 589                                 type, stream);
 590       break;
 591
 592     case TYPE_CODE_VOID:
 593       fprintf_filtered (stream, "void");
 594       break;
 595
 596     case TYPE_CODE_ERROR:
 597       fprintf_filtered (stream, "%s", TYPE_ERROR_NAME (type));
 598       break;
 599
 600     case TYPE_CODE_UNDEF:
 601       /* This happens (without TYPE_FLAG_STUB set) on systems which
 602          don't use dbx xrefs (NO_DBX_XREFS in gcc) if a file has a
 603          "struct foo *bar" and no complete type for struct foo in that
 604          file.  */
 605       fprintf_filtered (stream, _("<incomplete type>"));
 606       break;
 607
 608     case TYPE_CODE_COMPLEX:
 609       if (options->format)
 610         val_print_scalar_formatted (TYPE_TARGET_TYPE (type),
 611                                     valaddr, embedded_offset,
 612                                     original_value, options, 0, stream);
 613       else
 614         print_floating (valaddr + embedded_offset,
 615                         TYPE_TARGET_TYPE (type),
 616                         stream);
 617       fprintf_filtered (stream, " + ");
 618       if (options->format)
 619         val_print_scalar_formatted (TYPE_TARGET_TYPE (type),
 620                                     valaddr,
 621                                     embedded_offset
 622                                     + TYPE_LENGTH (TYPE_TARGET_TYPE (type)),
 623                                     original_value,
 624                                     options, 0, stream);
 625       else
 626         print_floating (valaddr + embedded_offset
 627                         + TYPE_LENGTH (TYPE_TARGET_TYPE (type)),
 628                         TYPE_TARGET_TYPE (type),
 629                         stream);
 630       fprintf_filtered (stream, " * I");
 631       break;
 632
 633     default:
 634       error (_("Invalid C/C++ type code %d in symbol table."),
 635              TYPE_CODE (type));
 636     }
 637   gdb_flush (stream);
 638   return (0);
 639 }
 640 \f
 641 int
 642 c_value_print (struct value *val, struct ui_file *stream,
 643                const struct value_print_options *options)
 644 {
 645   struct type *type, *real_type, *val_type;
 646   int full, top, using_enc;
 647   struct value_print_options opts = *options;
 648
 649   opts.deref_ref = 1;
 650
 651   /* If it is a pointer, indicate what it points to.
 652
 653      Print type also if it is a reference.
 654
 655      C++: if it is a member pointer, we will take care
 656      of that when we print it.  */
 657
 658   /* Preserve the original type before stripping typedefs.  We prefer
 659      to pass down the original type when possible, but for local
 660      checks it is better to look past the typedefs.  */
 661   val_type = value_type (val);
 662   type = check_typedef (val_type);
 663
 664   if (TYPE_CODE (type) == TYPE_CODE_PTR
 665       || TYPE_CODE (type) == TYPE_CODE_REF)
 666     {
 667       /* Hack:  remove (char *) for char strings.  Their
 668          type is indicated by the quoted string anyway.
 669          (Don't use c_textual_element_type here; quoted strings
 670          are always exactly (char *), (wchar_t *), or the like.  */
 671       if (TYPE_CODE (val_type) == TYPE_CODE_PTR
 672           && TYPE_NAME (val_type) == NULL
 673           && TYPE_NAME (TYPE_TARGET_TYPE (val_type)) != NULL
 674           && (strcmp (TYPE_NAME (TYPE_TARGET_TYPE (val_type)),
 675                       "char") == 0
 676               || textual_name (TYPE_NAME (TYPE_TARGET_TYPE (val_type)))))
 677         {
 678           /* Print nothing.  */
 679         }
 680       else if (options->objectprint
 681                && (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_CLASS))
 682         {
 683
 684           if (TYPE_CODE(type) == TYPE_CODE_REF)
 685             {
 686               /* Copy value, change to pointer, so we don't get an
 687                  error about a non-pointer type in
 688                  value_rtti_target_type.  */
 689               struct value *temparg;
 690               temparg=value_copy(val);
 691               deprecated_set_value_type
 692                 (temparg, lookup_pointer_type (TYPE_TARGET_TYPE (type)));
 693               val = temparg;
 694             }
 695           /* Pointer to class, check real type of object.  */
 696           fprintf_filtered (stream, "(");
 697
 698           if (value_entirely_available (val))
 699             {
 700               real_type = value_rtti_target_type (val, &full, &top, &using_enc);
 701               if (real_type)
 702                 {
 703                   /* RTTI entry found.  */
 704                   if (TYPE_CODE (type) == TYPE_CODE_PTR)
 705                     {
 706                       /* Create a pointer type pointing to the real
 707                          type.  */
 708                       type = lookup_pointer_type (real_type);
 709                     }
 710                   else
 711                     {
 712                       /* Create a reference type referencing the real
 713                          type.  */
 714                       type = lookup_reference_type (real_type);
 715                     }
 716                   /* Need to adjust pointer value.  */
 717                   val = value_from_pointer (type, value_as_address (val) - top);
 718
 719                   /* Note: When we look up RTTI entries, we don't get
 720                      any information on const or volatile
 721                      attributes.  */
 722                 }
 723             }
 724           type_print (type, "", stream, -1);
 725           fprintf_filtered (stream, ") ");
 726           val_type = type;
 727         }
 728       else
 729         {
 730           /* normal case */
 731           fprintf_filtered (stream, "(");
 732           type_print (value_type (val), "", stream, -1);
 733           fprintf_filtered (stream, ") ");
 734         }
 735     }
 736
 737   if (!value_initialized (val))
 738     fprintf_filtered (stream, " [uninitialized] ");
 739
 740   if (options->objectprint && (TYPE_CODE (type) == TYPE_CODE_CLASS))
 741     {
 742       /* Attempt to determine real type of object.  */
 743       real_type = value_rtti_type (val, &full, &top, &using_enc);
 744       if (real_type)
 745         {
 746           /* We have RTTI information, so use it.  */
 747           val = value_full_object (val, real_type,
 748                                    full, top, using_enc);
 749           fprintf_filtered (stream, "(%s%s) ",
 750                             TYPE_NAME (real_type),
 751                             full ? "" : _(" [incomplete object]"));
 752           /* Print out object: enclosing type is same as real_type if
 753              full.  */
 754           return val_print (value_enclosing_type (val),
 755                             value_contents_for_printing (val), 0,
 756                             value_address (val), stream, 0,
 757                             val, &opts, current_language);
 758           /* Note: When we look up RTTI entries, we don't get any
 759              information on const or volatile attributes.  */
 760         }
 761       else if (type != check_typedef (value_enclosing_type (val)))
 762         {
 763           /* No RTTI information, so let's do our best.  */
 764           fprintf_filtered (stream, "(%s ?) ",
 765                             TYPE_NAME (value_enclosing_type (val)));
 766           return val_print (value_enclosing_type (val),
 767                             value_contents_for_printing (val), 0,
 768                             value_address (val), stream, 0,
 769                             val, &opts, current_language);
 770         }
 771       /* Otherwise, we end up at the return outside this "if".  */
 772     }
 773
 774   return val_print (val_type, value_contents_for_printing (val),
 775                     value_embedded_offset (val),
 776                     value_address (val),
 777                     stream, 0,
 778                     val, &opts, current_language);
 779 }