Re: [RFA] varobj: call CHECK_TYPEDEF

Daniel Jacobowitz
2003-06-19T19:28:59Z

On Wed, Jun 11, 2003 at 09:28:10PM -0400, Daniel Jacobowitz wrote:
> On Wed, Jun 11, 2003 at 05:36:02PM -0700, Keith Seitz wrote:
> > On Wed, 2003-06-11 at 16:49, David Carlton wrote:
> > > I've just gone and looked over the thread and at Keith's patch; I
> > > think the idea is sound, but the implementation isn't. The comments
> > > at the top of get_type say that it's supposed to skip past typedefs,
> > > so calling CHECK_TYPEDEF certainly seems legitimate. But
> > > CHECK_TYPEDEF calls check_typedef, which already goes through chains
> > > of typedefs, so you can get rid of the loop in get_type.
> >
> > Yup, I think you are correct. I'm sure that I was just being laz^Whasty.
> > :-)
>
> David's analysis sounds right to me. I'll look over the actual code
> tomorrow, really I will...

I don't think David's conversions are quite right; close though.
However, something here is fishy.

Compare:
/* This returns the type of the variable. This skips past typedefs
and returns the real type of the variable. It also dereferences
pointers and references.
vs.
static struct type *
get_type (struct varobj *var)
{
struct type *type;
type = var->type;

while (type != NULL && TYPE_CODE (type) == TYPE_CODE_TYPEDEF)
type = TYPE_TARGET_TYPE (type);

return type;
}

That doesn't dereference pointers and references! It looks like
get_type got inserted between get_type_deref and its comments? Can you
confirm that it shouldn't dereference?

Assuming get_type is not supposed to dereference pointers, then this
would work:

/* This returns the type of the variable. It also skips past typedefs
to return the real type of the variable.

NOTE: TYPE_TARGET_TYPE should NOT be used anywhere in this file
except within get_target_type and get_type. */
static struct type *
get_type (struct varobj *var)
{
struct type *type;
type = var->type;

if (type != NULL)
type = check_typedef (type);

return type;
}

/* This returns the target type (or NULL) of TYPE, also skipping
past typedefs, just like get_type ().

NOTE: TYPE_TARGET_TYPE should NOT be used anywhere in this file
except within get_target_type and get_type. */
static struct type *
get_target_type (struct type *type)
{
if (type != NULL)
{
type = TYPE_TARGET_TYPE (type);
type = check_typedef (type);
}

return type;
}

Test results for that look OK but I don't have insight built at the
moment, so I didn't test it.

--
Daniel Jacobowitz
MontaVista Software Debian GNU/Linux Developer