dbghelp: Check correctness of type (esp. in case of unknown ones).

Since with the unknown type entry, we can end up with types which don't
match the expected symt->tag, we need to check before the conversions.

Signed-off-by: Eric Pouech <eric.pouech@gmail.com>
Signed-off-by: Alexandre Julliard <julliard@winehq.org>
This commit is contained in:
Eric Pouech 2021-09-02 11:22:44 +02:00 committed by Alexandre Julliard
parent ee3ea1e163
commit c8fede5efb
2 changed files with 18 additions and 9 deletions

View File

@ -151,6 +151,11 @@ struct symt_ht
struct hash_table_elt hash_elt; /* if global symbol or type */ struct hash_table_elt hash_elt; /* if global symbol or type */
}; };
static inline BOOL symt_check_tag(const struct symt* s, enum SymTagEnum tag)
{
return s && s->tag == tag;
}
/* lexical tree */ /* lexical tree */
struct symt_block struct symt_block
{ {

View File

@ -1439,7 +1439,8 @@ static struct symt* dwarf2_parse_udt_type(dwarf2_parse_context_t* ctx,
break; break;
case DW_TAG_member: case DW_TAG_member:
/* FIXME: should I follow the sibling stuff ?? */ /* FIXME: should I follow the sibling stuff ?? */
dwarf2_parse_udt_member(ctx, child, (struct symt_udt*)di->symt); if (symt_check_tag(di->symt, SymTagUDT))
dwarf2_parse_udt_member(ctx, child, (struct symt_udt*)di->symt);
break; break;
case DW_TAG_enumeration_type: case DW_TAG_enumeration_type:
dwarf2_parse_enumeration_type(ctx, child); dwarf2_parse_enumeration_type(ctx, child);
@ -1527,7 +1528,8 @@ static struct symt* dwarf2_parse_enumeration_type(dwarf2_parse_context_t* ctx,
switch (child->abbrev->tag) switch (child->abbrev->tag)
{ {
case DW_TAG_enumerator: case DW_TAG_enumerator:
dwarf2_parse_enumerator(ctx, child, (struct symt_enum*)di->symt); if (symt_check_tag(di->symt, SymTagEnum))
dwarf2_parse_enumerator(ctx, child, (struct symt_enum*)di->symt);
break; break;
default: default:
FIXME("Unhandled Tag type 0x%lx at %s, for %s\n", FIXME("Unhandled Tag type 0x%lx at %s, for %s\n",
@ -1683,7 +1685,7 @@ static void dwarf2_parse_variable(dwarf2_subprogram_t* subpgm,
WARN("dropping global variable %s which has been optimized away\n", debugstr_a(name.u.string)); WARN("dropping global variable %s which has been optimized away\n", debugstr_a(name.u.string));
} }
} }
if (is_pmt && subpgm->func && subpgm->func->type) if (is_pmt && subpgm->func && symt_check_tag(subpgm->func->type, SymTagFunctionType))
symt_add_function_signature_parameter(subpgm->ctx->module, symt_add_function_signature_parameter(subpgm->ctx->module,
(struct symt_function_signature*)subpgm->func->type, (struct symt_function_signature*)subpgm->func->type,
param_type); param_type);
@ -2129,10 +2131,12 @@ static void dwarf2_set_line_number(struct module* module, ULONG_PTR address,
TRACE("%s %lx %s %u\n", TRACE("%s %lx %s %u\n",
debugstr_w(module->module.ModuleName), address, debugstr_a(source_get(module, *psrc)), line); debugstr_w(module->module.ModuleName), address, debugstr_a(source_get(module, *psrc)), line);
if (!(symt = symt_find_nearest(module, address)) || symt = symt_find_nearest(module, address);
symt->symt.tag != SymTagFunction) return; if (symt && symt_check_tag(&symt->symt, SymTagFunction))
func = (struct symt_function*)symt; {
symt_add_func_line(module, func, *psrc, line, address - func->address); func = (struct symt_function*)symt;
symt_add_func_line(module, func, *psrc, line, address - func->address);
}
} }
static BOOL dwarf2_parse_line_numbers(const dwarf2_section_t* sections, static BOOL dwarf2_parse_line_numbers(const dwarf2_section_t* sections,
@ -2466,7 +2470,7 @@ static enum location_error loc_compute_frame(struct process* pcs,
for (i=0; i<vector_length(&func->vchildren); i++) for (i=0; i<vector_length(&func->vchildren); i++)
{ {
psym = vector_at(&func->vchildren, i); psym = vector_at(&func->vchildren, i);
if ((*psym)->tag == SymTagCustom) if (psym && symt_check_tag(*psym, SymTagCustom))
{ {
pframe = &((struct symt_hierarchy_point*)*psym)->loc; pframe = &((struct symt_hierarchy_point*)*psym)->loc;
@ -3279,7 +3283,7 @@ static void dwarf2_location_compute(struct process* pcs,
int err; int err;
dwarf2_traverse_context_t lctx; dwarf2_traverse_context_t lctx;
if (!func->container || func->container->tag != SymTagCompiland) if (!func || !symt_check_tag(func->container, SymTagCompiland))
{ {
WARN("We'd expect function %s's container to exist and be a compiland\n", debugstr_a(func->hash_elt.name)); WARN("We'd expect function %s's container to exist and be a compiland\n", debugstr_a(func->hash_elt.name));
err = loc_err_internal; err = loc_err_internal;