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