[thirdparty/binutils-gdb.git] / gdb / gnu-v2-abi.c

/* Abstraction of GNU v2 abi.

   Copyright (C) 2001, 2002, 2003, 2005, 2007, 2008
   Free Software Foundation, Inc.

   Contributed by Daniel Berlin <dberlin@redhat.com>

   This file is part of GDB.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

#include "defs.h"
#include "gdb_string.h"
#include "symtab.h"
#include "gdbtypes.h"
#include "value.h"
#include "demangle.h"
#include "cp-abi.h"
#include "cp-support.h"
#include "gnu-v2-abi.h"

#include <ctype.h>

struct cp_abi_ops gnu_v2_abi_ops;

static int vb_match (struct type *, int, struct type *);

static enum dtor_kinds
gnuv2_is_destructor_name (const char *name)
{
  if ((name[0] == '_' && is_cplus_marker (name[1]) && name[2] == '_')
      || strncmp (name, "__dt__", 6) == 0)
    return complete_object_dtor;
  else
    return 0;
}

static enum ctor_kinds
gnuv2_is_constructor_name (const char *name)
{
  if ((name[0] == '_' && name[1] == '_'
       && (isdigit (name[2]) || strchr ("Qt", name[2])))
      || strncmp (name, "__ct__", 6) == 0)
    return complete_object_ctor;
  else
    return 0;
}

static int
gnuv2_is_vtable_name (const char *name)
{
  return (((name)[0] == '_'
	   && (((name)[1] == 'V' && (name)[2] == 'T')
	       || ((name)[1] == 'v' && (name)[2] == 't'))
	   && is_cplus_marker ((name)[3])) ||
	  ((name)[0] == '_' && (name)[1] == '_'
	   && (name)[2] == 'v' && (name)[3] == 't' && (name)[4] == '_'));
}

static int
gnuv2_is_operator_name (const char *name)
{
  return strncmp (name, "operator", 8) == 0;
}

\f
/* Return a virtual function as a value.
   ARG1 is the object which provides the virtual function
   table pointer.  *ARG1P is side-effected in calling this function.
   F is the list of member functions which contains the desired virtual
   function.
   J is an index into F which provides the desired virtual function.

   TYPE is the type in which F is located.  */
static struct value *
gnuv2_virtual_fn_field (struct value **arg1p, struct fn_field * f, int j,
			struct type * type, int offset)
{
  struct value *arg1 = *arg1p;
  struct type *type1 = check_typedef (value_type (arg1));


  struct type *entry_type;
  /* First, get the virtual function table pointer.  That comes
     with a strange type, so cast it to type `pointer to long' (which
     should serve just fine as a function type).  Then, index into
     the table, and convert final value to appropriate function type.  */
  struct value *entry;
  struct value *vfn;
  struct value *vtbl;
  struct value *vi = value_from_longest (builtin_type_int,
				     (LONGEST) TYPE_FN_FIELD_VOFFSET (f, j));
  struct type *fcontext = TYPE_FN_FIELD_FCONTEXT (f, j);
  struct type *context;
  if (fcontext == NULL)
    /* We don't have an fcontext (e.g. the program was compiled with
       g++ version 1).  Try to get the vtbl from the TYPE_VPTR_BASETYPE.
       This won't work right for multiple inheritance, but at least we
       should do as well as GDB 3.x did.  */
    fcontext = TYPE_VPTR_BASETYPE (type);
  context = lookup_pointer_type (fcontext);
  /* Now context is a pointer to the basetype containing the vtbl.  */
  if (TYPE_TARGET_TYPE (context) != type1)
    {
      struct value *tmp = value_cast (context, value_addr (arg1));
      arg1 = value_ind (tmp);
      type1 = check_typedef (value_type (arg1));
    }

  context = type1;
  /* Now context is the basetype containing the vtbl.  */

  /* This type may have been defined before its virtual function table
     was.  If so, fill in the virtual function table entry for the
     type now.  */
  if (TYPE_VPTR_FIELDNO (context) < 0)
    fill_in_vptr_fieldno (context);

  /* The virtual function table is now an array of structures
     which have the form { int16 offset, delta; void *pfn; }.  */
  vtbl = value_primitive_field (arg1, 0, TYPE_VPTR_FIELDNO (context),
				TYPE_VPTR_BASETYPE (context));

  /* With older versions of g++, the vtbl field pointed to an array
     of structures.  Nowadays it points directly to the structure. */
  if (TYPE_CODE (value_type (vtbl)) == TYPE_CODE_PTR
      && TYPE_CODE (TYPE_TARGET_TYPE (value_type (vtbl))) == TYPE_CODE_ARRAY)
    {
      /* Handle the case where the vtbl field points to an
         array of structures. */
      vtbl = value_ind (vtbl);

      /* Index into the virtual function table.  This is hard-coded because
         looking up a field is not cheap, and it may be important to save
         time, e.g. if the user has set a conditional breakpoint calling
         a virtual function.  */
      entry = value_subscript (vtbl, vi);
    }
  else
    {
      /* Handle the case where the vtbl field points directly to a structure. */
      vtbl = value_add (vtbl, vi);
      entry = value_ind (vtbl);
    }

  entry_type = check_typedef (value_type (entry));

  if (TYPE_CODE (entry_type) == TYPE_CODE_STRUCT)
    {
      /* Move the `this' pointer according to the virtual function table. */
      set_value_offset (arg1, value_offset (arg1) + value_as_long (value_field (entry, 0)));

      if (!value_lazy (arg1))
	{
	  set_value_lazy (arg1, 1);
	  value_fetch_lazy (arg1);
	}

      vfn = value_field (entry, 2);
    }
  else if (TYPE_CODE (entry_type) == TYPE_CODE_PTR)
    vfn = entry;
  else
    error (_("I'm confused:  virtual function table has bad type"));
  /* Reinstantiate the function pointer with the correct type.  */
  deprecated_set_value_type (vfn, lookup_pointer_type (TYPE_FN_FIELD_TYPE (f, j)));

  *arg1p = arg1;
  return vfn;
}


static struct type *
gnuv2_value_rtti_type (struct value *v, int *full, int *top, int *using_enc)
{
  struct type *known_type;
  struct type *rtti_type;
  CORE_ADDR coreptr;
  struct value *vp;
  long top_offset = 0;
  char rtti_type_name[256];
  CORE_ADDR vtbl;
  struct minimal_symbol *minsym;
  struct symbol *sym;
  char *demangled_name, *p;
  struct type *btype;

  if (full)
    *full = 0;
  if (top)
    *top = -1;
  if (using_enc)
    *using_enc = 0;

  /* Get declared type */
  known_type = value_type (v);
  CHECK_TYPEDEF (known_type);
  /* RTTI works only or class objects */
  if (TYPE_CODE (known_type) != TYPE_CODE_CLASS)
    return NULL;

  /* Plan on this changing in the future as i get around to setting
     the vtables properly for G++ compiled stuff.  Also, I'll be using
     the type info functions, which are always right.  Deal with it
     until then.  */

  /* If the type has no vptr fieldno, try to get it filled in */
  if (TYPE_VPTR_FIELDNO(known_type) < 0)
    fill_in_vptr_fieldno(known_type);

  /* If we still can't find one, give up */
  if (TYPE_VPTR_FIELDNO(known_type) < 0)
    return NULL;

  /* Make sure our basetype and known type match, otherwise, cast
     so we can get at the vtable properly.
  */
  btype = TYPE_VPTR_BASETYPE (known_type);
  CHECK_TYPEDEF (btype);
  if (btype != known_type )
    {
      v = value_cast (btype, v);
      if (using_enc)
        *using_enc=1;
    }
  /*
    We can't use value_ind here, because it would want to use RTTI, and
    we'd waste a bunch of time figuring out we already know the type.
    Besides, we don't care about the type, just the actual pointer
  */
  if (VALUE_ADDRESS (value_field (v, TYPE_VPTR_FIELDNO (known_type))) == 0)
    return NULL;

  vtbl=value_as_address(value_field(v,TYPE_VPTR_FIELDNO(known_type)));

  /* Try to find a symbol that is the vtable */
  minsym=lookup_minimal_symbol_by_pc(vtbl);
  if (minsym==NULL
      || (demangled_name=DEPRECATED_SYMBOL_NAME (minsym))==NULL
      || !is_vtable_name (demangled_name))
    return NULL;

  /* If we just skip the prefix, we get screwed by namespaces */
  demangled_name=cplus_demangle(demangled_name,DMGL_PARAMS|DMGL_ANSI);
  p = strchr (demangled_name, ' ');
  if (p)
    *p = '\0';

  /* Lookup the type for the name */
  /* FIXME: chastain/2003-11-26: block=NULL is bogus.  See pr gdb/1465. */
  rtti_type = cp_lookup_rtti_type (demangled_name, NULL);
  if (rtti_type == NULL)
    return NULL;

  if (TYPE_N_BASECLASSES(rtti_type) > 1 &&  full && (*full) != 1)
    {
      if (top)
        *top=TYPE_BASECLASS_BITPOS(rtti_type,TYPE_VPTR_FIELDNO(rtti_type))/8;
      if (top && ((*top) >0))
        {
          if (TYPE_LENGTH(rtti_type) > TYPE_LENGTH(known_type))
            {
              if (full)
                *full=0;
            }
          else
            {
              if (full)
                *full=1;
            }
        }
    }
  else
    {
      if (full)
        *full=1;
    }

  return rtti_type;
}

/* Return true if the INDEXth field of TYPE is a virtual baseclass
   pointer which is for the base class whose type is BASECLASS.  */

static int
vb_match (struct type *type, int index, struct type *basetype)
{
  struct type *fieldtype;
  char *name = TYPE_FIELD_NAME (type, index);
  char *field_class_name = NULL;

  if (*name != '_')
    return 0;
  /* gcc 2.4 uses _vb$.  */
  if (name[1] == 'v' && name[2] == 'b' && is_cplus_marker (name[3]))
    field_class_name = name + 4;
  /* gcc 2.5 will use __vb_.  */
  if (name[1] == '_' && name[2] == 'v' && name[3] == 'b' && name[4] == '_')
    field_class_name = name + 5;

  if (field_class_name == NULL)
    /* This field is not a virtual base class pointer.  */
    return 0;

  /* It's a virtual baseclass pointer, now we just need to find out whether
     it is for this baseclass.  */
  fieldtype = TYPE_FIELD_TYPE (type, index);
  if (fieldtype == NULL
      || TYPE_CODE (fieldtype) != TYPE_CODE_PTR)
    /* "Can't happen".  */
    return 0;

  /* What we check for is that either the types are equal (needed for
     nameless types) or have the same name.  This is ugly, and a more
     elegant solution should be devised (which would probably just push
     the ugliness into symbol reading unless we change the stabs format).  */
  if (TYPE_TARGET_TYPE (fieldtype) == basetype)
    return 1;

  if (TYPE_NAME (basetype) != NULL
      && TYPE_NAME (TYPE_TARGET_TYPE (fieldtype)) != NULL
      && strcmp (TYPE_NAME (basetype),
		 TYPE_NAME (TYPE_TARGET_TYPE (fieldtype))) == 0)
    return 1;
  return 0;
}

/* Compute the offset of the baseclass which is
   the INDEXth baseclass of class TYPE,
   for value at VALADDR (in host) at ADDRESS (in target).
   The result is the offset of the baseclass value relative
   to (the address of)(ARG) + OFFSET.

   -1 is returned on error. */

int
gnuv2_baseclass_offset (struct type *type, int index,
			const bfd_byte *valaddr, CORE_ADDR address)
{
  struct type *basetype = TYPE_BASECLASS (type, index);

  if (BASETYPE_VIA_VIRTUAL (type, index))
    {
      /* Must hunt for the pointer to this virtual baseclass.  */
      int i, len = TYPE_NFIELDS (type);
      int n_baseclasses = TYPE_N_BASECLASSES (type);

      /* First look for the virtual baseclass pointer
         in the fields.  */
      for (i = n_baseclasses; i < len; i++)
	{
	  if (vb_match (type, i, basetype))
	    {
	      CORE_ADDR addr
	      = unpack_pointer (TYPE_FIELD_TYPE (type, i),
				valaddr + (TYPE_FIELD_BITPOS (type, i) / 8));

	      return addr - (LONGEST) address;
	    }
	}
      /* Not in the fields, so try looking through the baseclasses.  */
      for (i = index + 1; i < n_baseclasses; i++)
	{
	  int boffset =
	  baseclass_offset (type, i, valaddr, address);
	  if (boffset)
	    return boffset;
	}
      /* Not found.  */
      return -1;
    }

  /* Baseclass is easily computed.  */
  return TYPE_BASECLASS_BITPOS (type, index) / 8;
}

static void
init_gnuv2_ops (void)
{
  gnu_v2_abi_ops.shortname = "gnu-v2";
  gnu_v2_abi_ops.longname = "GNU G++ Version 2 ABI";
  gnu_v2_abi_ops.doc = "G++ Version 2 ABI";
  gnu_v2_abi_ops.is_destructor_name = gnuv2_is_destructor_name;
  gnu_v2_abi_ops.is_constructor_name = gnuv2_is_constructor_name;
  gnu_v2_abi_ops.is_vtable_name = gnuv2_is_vtable_name;
  gnu_v2_abi_ops.is_operator_name = gnuv2_is_operator_name;
  gnu_v2_abi_ops.virtual_fn_field = gnuv2_virtual_fn_field;
  gnu_v2_abi_ops.rtti_type = gnuv2_value_rtti_type;
  gnu_v2_abi_ops.baseclass_offset = gnuv2_baseclass_offset;
}

extern initialize_file_ftype _initialize_gnu_v2_abi; /* -Wmissing-prototypes */

void
_initialize_gnu_v2_abi (void)
{
  init_gnuv2_ops ();
  register_cp_abi (&gnu_v2_abi_ops);
  set_cp_abi_as_auto_default (gnu_v2_abi_ops.shortname);
}
Commit	Line	Data
015a42b4	1	/* Abstraction of GNU v2 abi.
1bac305b	2
9b254dd1 DJ	3	Copyright (C) 2001, 2002, 2003, 2005, 2007, 2008
9b254dd1 DJ	4	Free Software Foundation, Inc.
1bac305b	5
015a42b4	6	Contributed by Daniel Berlin <dberlin@redhat.com>
015a42b4 JB	7
	8	This file is part of GDB.
	9
a9762ec7 JB	10	This program is free software; you can redistribute it and/or modify
	11	it under the terms of the GNU General Public License as published by
	12	the Free Software Foundation; either version 3 of the License, or
015a42b4 JB	13	(at your option) any later version.
	14
	15	This program is distributed in the hope that it will be useful,
	16	but WITHOUT ANY WARRANTY; without even the implied warranty of
	17	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	18	GNU General Public License for more details.
	19
	20	You should have received a copy of the GNU General Public License
a9762ec7	21	along with this program. If not, see <http://www.gnu.org/licenses/>. */
015a42b4 JB	22
015a42b4 JB	23	#include "defs.h"
015a42b4 JB	24	#include "gdb_string.h"
	25	#include "symtab.h"
	26	#include "gdbtypes.h"
	27	#include "value.h"
	28	#include "demangle.h"
	29	#include "cp-abi.h"
362ff856	30	#include "cp-support.h"
6b08edad	31	#include "gnu-v2-abi.h"
015a42b4 JB	32
	33	#include <ctype.h>
	34
	35	struct cp_abi_ops gnu_v2_abi_ops;
	36
	37	static int vb_match (struct type , int, struct type );
	38
	39	static enum dtor_kinds
	40	gnuv2_is_destructor_name (const char *name)
	41	{
	42	if ((name[0] == '_' && is_cplus_marker (name[1]) && name[2] == '_')
	43	\|\| strncmp (name, "__dt__", 6) == 0)
	44	return complete_object_dtor;
	45	else
	46	return 0;
	47	}
	48
	49	static enum ctor_kinds
	50	gnuv2_is_constructor_name (const char *name)
	51	{
	52	if ((name[0] == '_' && name[1] == '_'
	53	&& (isdigit (name[2]) \|\| strchr ("Qt", name[2])))
	54	\|\| strncmp (name, "__ct__", 6) == 0)
	55	return complete_object_ctor;
	56	else
	57	return 0;
	58	}
	59
	60	static int
	61	gnuv2_is_vtable_name (const char *name)
	62	{
	63	return (((name)[0] == '_'
	64	&& (((name)[1] == 'V' && (name)[2] == 'T')
	65	\|\| ((name)[1] == 'v' && (name)[2] == 't'))
	66	&& is_cplus_marker ((name)[3])) \|\|
	67	((name)[0] == '_' && (name)[1] == '_'
	68	&& (name)[2] == 'v' && (name)[3] == 't' && (name)[4] == '_'));
	69	}
	70
	71	static int
	72	gnuv2_is_operator_name (const char *name)
	73	{
	74	return strncmp (name, "operator", 8) == 0;
	75	}
	76
	77	\f
	78	/* Return a virtual function as a value.
	79	ARG1 is the object which provides the virtual function
	80	table pointer. *ARG1P is side-effected in calling this function.
	81	F is the list of member functions which contains the desired virtual
	82	function.
	83	J is an index into F which provides the desired virtual function.
	84
	85	TYPE is the type in which F is located. */
e933e538 AC	86	static struct value *
e933e538 AC	87	gnuv2_virtual_fn_field (struct value *arg1p, struct fn_field f, int j,
015a42b4 JB	88	struct type * type, int offset)
015a42b4 JB	89	{
e933e538	90	struct value arg1 = arg1p;
df407dfe	91	struct type *type1 = check_typedef (value_type (arg1));
015a42b4 JB	92
	93
	94	struct type *entry_type;
	95	/* First, get the virtual function table pointer. That comes
	96	with a strange type, so cast it to type `pointer to long' (which
	97	should serve just fine as a function type). Then, index into
	98	the table, and convert final value to appropriate function type. */
e933e538 AC	99	struct value *entry;
	100	struct value *vfn;
	101	struct value *vtbl;
	102	struct value *vi = value_from_longest (builtin_type_int,
015a42b4 JB	103	(LONGEST) TYPE_FN_FIELD_VOFFSET (f, j));
	104	struct type *fcontext = TYPE_FN_FIELD_FCONTEXT (f, j);
	105	struct type *context;
	106	if (fcontext == NULL)
	107	/* We don't have an fcontext (e.g. the program was compiled with
	108	g++ version 1). Try to get the vtbl from the TYPE_VPTR_BASETYPE.
	109	This won't work right for multiple inheritance, but at least we
	110	should do as well as GDB 3.x did. */
	111	fcontext = TYPE_VPTR_BASETYPE (type);
	112	context = lookup_pointer_type (fcontext);
	113	/* Now context is a pointer to the basetype containing the vtbl. */
	114	if (TYPE_TARGET_TYPE (context) != type1)
	115	{
e933e538	116	struct value *tmp = value_cast (context, value_addr (arg1));
015a42b4	117	arg1 = value_ind (tmp);
df407dfe	118	type1 = check_typedef (value_type (arg1));
015a42b4 JB	119	}
	120
	121	context = type1;
	122	/* Now context is the basetype containing the vtbl. */
	123
	124	/* This type may have been defined before its virtual function table
	125	was. If so, fill in the virtual function table entry for the
	126	type now. */
	127	if (TYPE_VPTR_FIELDNO (context) < 0)
	128	fill_in_vptr_fieldno (context);
	129
	130	/* The virtual function table is now an array of structures
	131	which have the form { int16 offset, delta; void pfn; }. /
	132	vtbl = value_primitive_field (arg1, 0, TYPE_VPTR_FIELDNO (context),
	133	TYPE_VPTR_BASETYPE (context));
	134
	135	/* With older versions of g++, the vtbl field pointed to an array
	136	of structures. Nowadays it points directly to the structure. */
df407dfe AC	137	if (TYPE_CODE (value_type (vtbl)) == TYPE_CODE_PTR
df407dfe AC	138	&& TYPE_CODE (TYPE_TARGET_TYPE (value_type (vtbl))) == TYPE_CODE_ARRAY)
015a42b4 JB	139	{
	140	/* Handle the case where the vtbl field points to an
	141	array of structures. */
	142	vtbl = value_ind (vtbl);
	143
	144	/* Index into the virtual function table. This is hard-coded because
	145	looking up a field is not cheap, and it may be important to save
	146	time, e.g. if the user has set a conditional breakpoint calling
	147	a virtual function. */
	148	entry = value_subscript (vtbl, vi);
	149	}
	150	else
	151	{
	152	/* Handle the case where the vtbl field points directly to a structure. */
	153	vtbl = value_add (vtbl, vi);
	154	entry = value_ind (vtbl);
	155	}
	156
df407dfe	157	entry_type = check_typedef (value_type (entry));
015a42b4 JB	158
	159	if (TYPE_CODE (entry_type) == TYPE_CODE_STRUCT)
	160	{
	161	/* Move the `this' pointer according to the virtual function table. */
f5cf64a7	162	set_value_offset (arg1, value_offset (arg1) + value_as_long (value_field (entry, 0)));
015a42b4	163
d69fe07e	164	if (!value_lazy (arg1))
015a42b4	165	{
dfa52d88	166	set_value_lazy (arg1, 1);
015a42b4 JB	167	value_fetch_lazy (arg1);
	168	}
	169
	170	vfn = value_field (entry, 2);
	171	}
	172	else if (TYPE_CODE (entry_type) == TYPE_CODE_PTR)
	173	vfn = entry;
	174	else
8a3fe4f8	175	error (_("I'm confused: virtual function table has bad type"));
015a42b4	176	/* Reinstantiate the function pointer with the correct type. */
04624583	177	deprecated_set_value_type (vfn, lookup_pointer_type (TYPE_FN_FIELD_TYPE (f, j)));
015a42b4 JB	178
	179	*arg1p = arg1;
	180	return vfn;
	181	}
	182
	183
b9362cc7	184	static struct type *
e933e538	185	gnuv2_value_rtti_type (struct value v, int full, int top, int using_enc)
015a42b4 JB	186	{
	187	struct type *known_type;
	188	struct type *rtti_type;
	189	CORE_ADDR coreptr;
e933e538	190	struct value *vp;
015a42b4 JB	191	long top_offset = 0;
	192	char rtti_type_name[256];
	193	CORE_ADDR vtbl;
	194	struct minimal_symbol *minsym;
	195	struct symbol *sym;
7d63ec12	196	char demangled_name, p;
015a42b4 JB	197	struct type *btype;
	198
	199	if (full)
	200	*full = 0;
	201	if (top)
	202	*top = -1;
	203	if (using_enc)
	204	*using_enc = 0;
	205
	206	/* Get declared type */
df407dfe	207	known_type = value_type (v);
015a42b4 JB	208	CHECK_TYPEDEF (known_type);
	209	/* RTTI works only or class objects */
	210	if (TYPE_CODE (known_type) != TYPE_CODE_CLASS)
	211	return NULL;
	212
	213	/* Plan on this changing in the future as i get around to setting
	214	the vtables properly for G++ compiled stuff. Also, I'll be using
	215	the type info functions, which are always right. Deal with it
	216	until then. */
	217
	218	/* If the type has no vptr fieldno, try to get it filled in */
	219	if (TYPE_VPTR_FIELDNO(known_type) < 0)
	220	fill_in_vptr_fieldno(known_type);
	221
	222	/* If we still can't find one, give up */
	223	if (TYPE_VPTR_FIELDNO(known_type) < 0)
	224	return NULL;
	225
	226	/* Make sure our basetype and known type match, otherwise, cast
	227	so we can get at the vtable properly.
	228	*/
	229	btype = TYPE_VPTR_BASETYPE (known_type);
	230	CHECK_TYPEDEF (btype);
	231	if (btype != known_type )
	232	{
	233	v = value_cast (btype, v);
	234	if (using_enc)
	235	*using_enc=1;
	236	}
	237	/*
	238	We can't use value_ind here, because it would want to use RTTI, and
	239	we'd waste a bunch of time figuring out we already know the type.
	240	Besides, we don't care about the type, just the actual pointer
	241	*/
	242	if (VALUE_ADDRESS (value_field (v, TYPE_VPTR_FIELDNO (known_type))) == 0)
	243	return NULL;
	244
2a73a662	245	vtbl=value_as_address(value_field(v,TYPE_VPTR_FIELDNO(known_type)));
015a42b4 JB	246
	247	/* Try to find a symbol that is the vtable */
	248	minsym=lookup_minimal_symbol_by_pc(vtbl);
	249	if (minsym==NULL
22abf04a	250	\|\| (demangled_name=DEPRECATED_SYMBOL_NAME (minsym))==NULL
015a42b4 JB	251	\|\| !is_vtable_name (demangled_name))
	252	return NULL;
	253
	254	/* If we just skip the prefix, we get screwed by namespaces */
	255	demangled_name=cplus_demangle(demangled_name,DMGL_PARAMS\|DMGL_ANSI);
7d63ec12 MS	256	p = strchr (demangled_name, ' ');
	257	if (p)
	258	*p = '\0';
015a42b4 JB	259
015a42b4 JB	260	/* Lookup the type for the name */
362ff856 MC	261	/* FIXME: chastain/2003-11-26: block=NULL is bogus. See pr gdb/1465. */
	262	rtti_type = cp_lookup_rtti_type (demangled_name, NULL);
	263	if (rtti_type == NULL)
015a42b4 JB	264	return NULL;
	265
	266	if (TYPE_N_BASECLASSES(rtti_type) > 1 && full && (*full) != 1)
	267	{
	268	if (top)
	269	*top=TYPE_BASECLASS_BITPOS(rtti_type,TYPE_VPTR_FIELDNO(rtti_type))/8;
	270	if (top && ((*top) >0))
	271	{
	272	if (TYPE_LENGTH(rtti_type) > TYPE_LENGTH(known_type))
	273	{
	274	if (full)
	275	*full=0;
	276	}
	277	else
	278	{
	279	if (full)
	280	*full=1;
	281	}
	282	}
	283	}
	284	else
	285	{
	286	if (full)
	287	*full=1;
	288	}
015a42b4 JB	289
	290	return rtti_type;
	291	}
	292
1514d34e DJ	293	/* Return true if the INDEXth field of TYPE is a virtual baseclass
	294	pointer which is for the base class whose type is BASECLASS. */
	295
	296	static int
	297	vb_match (struct type type, int index, struct type basetype)
	298	{
	299	struct type *fieldtype;
	300	char *name = TYPE_FIELD_NAME (type, index);
	301	char *field_class_name = NULL;
	302
	303	if (*name != '_')
	304	return 0;
	305	/* gcc 2.4 uses _vb$. */
	306	if (name[1] == 'v' && name[2] == 'b' && is_cplus_marker (name[3]))
	307	field_class_name = name + 4;
	308	/* gcc 2.5 will use __vb_. */
	309	if (name[1] == '_' && name[2] == 'v' && name[3] == 'b' && name[4] == '_')
	310	field_class_name = name + 5;
	311
	312	if (field_class_name == NULL)
	313	/* This field is not a virtual base class pointer. */
	314	return 0;
	315
	316	/* It's a virtual baseclass pointer, now we just need to find out whether
	317	it is for this baseclass. */
	318	fieldtype = TYPE_FIELD_TYPE (type, index);
	319	if (fieldtype == NULL
	320	\|\| TYPE_CODE (fieldtype) != TYPE_CODE_PTR)
	321	/* "Can't happen". */
	322	return 0;
	323
	324	/* What we check for is that either the types are equal (needed for
	325	nameless types) or have the same name. This is ugly, and a more
	326	elegant solution should be devised (which would probably just push
	327	the ugliness into symbol reading unless we change the stabs format). */
	328	if (TYPE_TARGET_TYPE (fieldtype) == basetype)
	329	return 1;
	330
	331	if (TYPE_NAME (basetype) != NULL
	332	&& TYPE_NAME (TYPE_TARGET_TYPE (fieldtype)) != NULL
bde58177 AC	333	&& strcmp (TYPE_NAME (basetype),
bde58177 AC	334	TYPE_NAME (TYPE_TARGET_TYPE (fieldtype))) == 0)
1514d34e DJ	335	return 1;
	336	return 0;
	337	}
	338
	339	/* Compute the offset of the baseclass which is
	340	the INDEXth baseclass of class TYPE,
	341	for value at VALADDR (in host) at ADDRESS (in target).
	342	The result is the offset of the baseclass value relative
	343	to (the address of)(ARG) + OFFSET.
	344
	345	-1 is returned on error. */
	346
	347	int
06c4d4dc AC	348	gnuv2_baseclass_offset (struct type *type, int index,
06c4d4dc AC	349	const bfd_byte *valaddr, CORE_ADDR address)
1514d34e DJ	350	{
	351	struct type *basetype = TYPE_BASECLASS (type, index);
	352
	353	if (BASETYPE_VIA_VIRTUAL (type, index))
	354	{
	355	/* Must hunt for the pointer to this virtual baseclass. */
aa1ee363 AC	356	int i, len = TYPE_NFIELDS (type);
aa1ee363 AC	357	int n_baseclasses = TYPE_N_BASECLASSES (type);
1514d34e DJ	358
	359	/* First look for the virtual baseclass pointer
	360	in the fields. */
	361	for (i = n_baseclasses; i < len; i++)
	362	{
	363	if (vb_match (type, i, basetype))
	364	{
	365	CORE_ADDR addr
	366	= unpack_pointer (TYPE_FIELD_TYPE (type, i),
	367	valaddr + (TYPE_FIELD_BITPOS (type, i) / 8));
	368
	369	return addr - (LONGEST) address;
	370	}
	371	}
	372	/* Not in the fields, so try looking through the baseclasses. */
	373	for (i = index + 1; i < n_baseclasses; i++)
	374	{
	375	int boffset =
	376	baseclass_offset (type, i, valaddr, address);
	377	if (boffset)
	378	return boffset;
	379	}
	380	/* Not found. */
	381	return -1;
	382	}
	383
	384	/* Baseclass is easily computed. */
	385	return TYPE_BASECLASS_BITPOS (type, index) / 8;
	386	}
015a42b4 JB	387
	388	static void
	389	init_gnuv2_ops (void)
	390	{
	391	gnu_v2_abi_ops.shortname = "gnu-v2";
	392	gnu_v2_abi_ops.longname = "GNU G++ Version 2 ABI";
	393	gnu_v2_abi_ops.doc = "G++ Version 2 ABI";
	394	gnu_v2_abi_ops.is_destructor_name = gnuv2_is_destructor_name;
	395	gnu_v2_abi_ops.is_constructor_name = gnuv2_is_constructor_name;
	396	gnu_v2_abi_ops.is_vtable_name = gnuv2_is_vtable_name;
	397	gnu_v2_abi_ops.is_operator_name = gnuv2_is_operator_name;
	398	gnu_v2_abi_ops.virtual_fn_field = gnuv2_virtual_fn_field;
	399	gnu_v2_abi_ops.rtti_type = gnuv2_value_rtti_type;
1514d34e	400	gnu_v2_abi_ops.baseclass_offset = gnuv2_baseclass_offset;
015a42b4 JB	401	}
015a42b4 JB	402
b9362cc7 AC	403	extern initialize_file_ftype _initialize_gnu_v2_abi; /* -Wmissing-prototypes */
b9362cc7 AC	404
015a42b4 JB	405	void
	406	_initialize_gnu_v2_abi (void)
	407	{
	408	init_gnuv2_ops ();
fe1f4a5e DJ	409	register_cp_abi (&gnu_v2_abi_ops);
fe1f4a5e DJ	410	set_cp_abi_as_auto_default (gnu_v2_abi_ops.shortname);
015a42b4	411	}