[Bug exp/7158] Something weird with void* types

["pedro at codesourcery dot com" <sourceware-bugzilla at sourceware dot org>]

------- Additional Comments From pedro at codesourcery dot com  2008-12-20 20:16 -------
AFAICS, it does have a name:

(top-gdb) p *type
$24 = {pointer_type = 0x0, reference_type = 0x0, chain = 0xb2b280,
instance_flags = 0, length = 8,
  main_type = 0xb2b2b0}

(top-gdb) p *type->main_type
$16 = {code = TYPE_CODE_PTR, flag_unsigned = 1, flag_nosign = 0, flag_stub = 0,
flag_target_stub = 0,
  flag_static = 0, flag_prototyped = 0, flag_incomplete = 0, flag_varargs = 0,
flag_vector = 0,
  flag_stub_supported = 0, flag_nottext = 0, flag_fixed_instance = 0, nfields =
0, vptr_fieldno = -1, name = 0x0,
  tag_name = 0x0, objfile = 0x0, target_type = 0xbde6d0, fields = 0x0,
vptr_basetype = 0x0, type_specific = {
    cplus_stuff = 0x0, floatformat = 0x0, calling_convention = 0}}

(top-gdb) p *type->main_type->target_type->main_type
$17 = {code = TYPE_CODE_VOID, flag_unsigned = 0, flag_nosign = 0, flag_stub = 0,
flag_target_stub = 0,
  flag_static = 0, flag_prototyped = 0, flag_incomplete = 0, flag_varargs = 0,
flag_vector = 0,
  flag_stub_supported = 0, flag_nottext = 0, flag_fixed_instance = 0, nfields =
0, vptr_fieldno = -1,
  name = 0x74e280 "void", tag_name = 0x0, objfile = 0x0, target_type = 0x0,
fields = 0x0, vptr_basetype = 0x0,
  type_specific = {cplus_stuff = 0x0, floatformat = 0x0, calling_convention = 0}}

(top-gdb) p TYPE_NAME (TYPE_TARGET_TYPE (type))
$23 = 0x74e280 "void"


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://sourceware.org/bugzilla/show_bug.cgi?id=7158

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.