Sweden-Number/programs/winedbg/types.c

1205 lines
40 KiB
C

/*
* File types.c - datatype handling stuff for internal debugger.
*
* Copyright (C) 1997, Eric Youngdale.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library 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
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
*
* Note: This really doesn't do much at the moment, but it forms the framework
* upon which full support for datatype handling will eventually be built.
*/
#include <stdlib.h>
#include "debugger.h"
#include "wine/debug.h"
WINE_DEFAULT_DEBUG_CHANNEL(winedbg);
/******************************************************************
* types_get_real_type
*
* Get rid of any potential typedef in the lvalue's type to get
* to the 'real' type (the one we can work upon).
*/
BOOL types_get_real_type(struct dbg_type* type, DWORD* tag)
{
if (type->id == dbg_itype_none) return FALSE;
do
{
if (!types_get_info(type, TI_GET_SYMTAG, tag))
return FALSE;
if (*tag != SymTagTypedef) return TRUE;
} while (types_get_info(type, TI_GET_TYPE, &type->id));
return FALSE;
}
/******************************************************************
* types_extract_as_lgint
*
* Given a lvalue, try to get an integral (or pointer/address) value
* out of it
*/
dbg_lgint_t types_extract_as_lgint(const struct dbg_lvalue* lvalue,
unsigned* psize, BOOL *issigned)
{
dbg_lgint_t rtn = 0;
DWORD tag, bt;
DWORD64 size;
struct dbg_type type = lvalue->type;
BOOL s = FALSE;
if (!types_get_real_type(&type, &tag))
RaiseException(DEBUG_STATUS_NOT_AN_INTEGER, 0, 0, NULL);
if (type.id == dbg_itype_segptr)
{
return (LONG_PTR)memory_to_linear_addr(&lvalue->addr);
}
if (tag != SymTagBaseType && lvalue->bitlen) dbg_printf("Unexpected bitfield on tag %ld\n", tag);
if (psize) *psize = 0;
if (issigned) *issigned = FALSE;
switch (tag)
{
case SymTagBaseType:
if (!types_get_info(&type, TI_GET_LENGTH, &size) ||
!types_get_info(&type, TI_GET_BASETYPE, &bt))
{
WINE_ERR("Couldn't get information\n");
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
return rtn;
}
if (size > sizeof(rtn))
{
WINE_ERR("Size too large (%I64x)\n", size);
RaiseException(DEBUG_STATUS_NOT_AN_INTEGER, 0, 0, NULL);
return rtn;
}
switch (bt)
{
case btChar:
case btInt:
if (!memory_fetch_integer(lvalue, (unsigned)size, s = TRUE, &rtn))
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
case btUInt:
if (!memory_fetch_integer(lvalue, (unsigned)size, s = FALSE, &rtn))
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
case btFloat:
RaiseException(DEBUG_STATUS_NOT_AN_INTEGER, 0, 0, NULL);
}
if (psize) *psize = (unsigned)size;
if (issigned) *issigned = s;
break;
case SymTagPointerType:
if (!types_get_info(&type, TI_GET_LENGTH, &size) ||
!memory_fetch_integer(lvalue, (unsigned)size, s = FALSE, &rtn))
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
case SymTagArrayType:
case SymTagUDT:
if (!memory_fetch_integer(lvalue, sizeof(unsigned), s = FALSE, &rtn))
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
case SymTagEnum:
if (!types_get_info(&type, TI_GET_LENGTH, &size) ||
!memory_fetch_integer(lvalue, (unsigned)size, s = FALSE, &rtn))
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
case SymTagFunctionType:
rtn = (ULONG_PTR)memory_to_linear_addr(&lvalue->addr);
break;
default:
WINE_FIXME("Unsupported tag %lu\n", tag);
RaiseException(DEBUG_STATUS_NOT_AN_INTEGER, 0, 0, NULL);
}
return rtn;
}
/******************************************************************
* types_extract_as_integer
*
* Given a lvalue, try to get an integral (or pointer/address) value
* out of it
*/
dbg_lgint_t types_extract_as_integer(const struct dbg_lvalue* lvalue)
{
return types_extract_as_lgint(lvalue, NULL, NULL);
}
/******************************************************************
* types_extract_as_address
*
*
*/
void types_extract_as_address(const struct dbg_lvalue* lvalue, ADDRESS64* addr)
{
if (lvalue->type.id == dbg_itype_segptr && lvalue->type.module == 0)
{
*addr = lvalue->addr;
}
else
{
addr->Mode = AddrModeFlat;
addr->Offset = types_extract_as_lgint(lvalue, NULL, NULL);
}
}
BOOL types_store_value(struct dbg_lvalue* lvalue_to, const struct dbg_lvalue* lvalue_from)
{
if (!lvalue_to->bitlen && !lvalue_from->bitlen)
{
BOOL equal;
if (!types_compare(lvalue_to->type, lvalue_from->type, &equal)) return FALSE;
if (equal)
return memory_transfer_value(lvalue_to, lvalue_from);
if (types_is_float_type(lvalue_from) && types_is_float_type(lvalue_to))
{
double d;
return memory_fetch_float(lvalue_from, &d) &&
memory_store_float(lvalue_to, &d);
}
}
if (types_is_integral_type(lvalue_from) && types_is_integral_type(lvalue_to))
{
/* doing integer conversion (about sign, size) */
dbg_lgint_t val = types_extract_as_integer(lvalue_from);
return memory_store_integer(lvalue_to, val);
}
dbg_printf("Cannot assign (different types)\n"); return FALSE;
return FALSE;
}
/******************************************************************
* types_get_udt_element_lvalue
*
* Implement a structure derefencement
*/
static BOOL types_get_udt_element_lvalue(struct dbg_lvalue* lvalue, const struct dbg_type* type)
{
DWORD offset, bitoffset;
DWORD64 length;
types_get_info(type, TI_GET_TYPE, &lvalue->type.id);
lvalue->type.module = type->module;
if (!types_get_info(type, TI_GET_OFFSET, &offset)) return FALSE;
lvalue->addr.Offset += offset;
if (types_get_info(type, TI_GET_BITPOSITION, &bitoffset))
{
types_get_info(type, TI_GET_LENGTH, &length);
lvalue->bitlen = length;
lvalue->bitstart = bitoffset;
if (lvalue->bitlen != length || lvalue->bitstart != bitoffset)
{
dbg_printf("too wide bitfields\n"); /* shouldn't happen */
return FALSE;
}
}
else
lvalue->bitlen = lvalue->bitstart = 0;
return TRUE;
}
/******************************************************************
* types_udt_find_element
*
*/
BOOL types_udt_find_element(struct dbg_lvalue* lvalue, const char* name)
{
DWORD tag, count;
char buffer[sizeof(TI_FINDCHILDREN_PARAMS) + 256 * sizeof(DWORD)];
TI_FINDCHILDREN_PARAMS* fcp = (TI_FINDCHILDREN_PARAMS*)buffer;
WCHAR* ptr;
char tmp[256];
struct dbg_type type;
if (!types_get_real_type(&lvalue->type, &tag) || tag != SymTagUDT)
return FALSE;
if (types_get_info(&lvalue->type, TI_GET_CHILDRENCOUNT, &count))
{
fcp->Start = 0;
while (count)
{
fcp->Count = min(count, 256);
if (types_get_info(&lvalue->type, TI_FINDCHILDREN, fcp))
{
unsigned i;
type.module = lvalue->type.module;
for (i = 0; i < min(fcp->Count, count); i++)
{
type.id = fcp->ChildId[i];
if (types_get_info(&type, TI_GET_SYMNAME, &ptr) && ptr)
{
WideCharToMultiByte(CP_ACP, 0, ptr, -1, tmp, sizeof(tmp), NULL, NULL);
HeapFree(GetProcessHeap(), 0, ptr);
if (!strcmp(tmp, name))
return types_get_udt_element_lvalue(lvalue, &type);
}
}
}
count -= min(count, 256);
fcp->Start += 256;
}
}
return FALSE;
}
/******************************************************************
* types_array_index
*
* Grab an element from an array
*/
BOOL types_array_index(const struct dbg_lvalue* lvalue, int index, struct dbg_lvalue* result)
{
struct dbg_type type = lvalue->type;
DWORD tag, count;
memset(result, 0, sizeof(*result));
result->type.id = dbg_itype_none;
result->type.module = 0;
if (!types_get_real_type(&type, &tag)) return FALSE;
switch (tag)
{
case SymTagArrayType:
if (!types_get_info(&type, TI_GET_COUNT, &count)) return FALSE;
if (index < 0 || index >= count) return FALSE;
result->addr = lvalue->addr;
break;
case SymTagPointerType:
if (!memory_read_value(lvalue, dbg_curr_process->be_cpu->pointer_size, &result->addr.Offset))
return FALSE;
result->addr.Mode = AddrModeFlat;
switch (dbg_curr_process->be_cpu->pointer_size)
{
case 4: result->addr.Offset = (DWORD)result->addr.Offset; break;
case 8: break;
default: assert(0);
}
break;
default:
assert(FALSE);
}
/*
* Get the base type, so we know how much to index by.
*/
if (!types_get_info(&type, TI_GET_TYPE, &result->type.id)) return FALSE;
result->type.module = type.module;
if (index)
{
DWORD64 length;
if (!types_get_info(&result->type, TI_GET_LENGTH, &length)) return FALSE;
result->addr.Offset += index * (DWORD)length;
}
/* FIXME: the following statement is not always true (and can lead to buggy behavior).
* There is no way to tell where the deref:ed value is...
* For example:
* x is a pointer to struct s, x being on the stack
* => lvalue is in debuggee, result is in debugger
* x is a pointer to struct s, x being optimized into a reg
* => lvalue is debugger, result is debuggee
* x is a pointer to internal variable x
* => lvalue is debugger, result is debuggee
* So we always force debuggee address space, because dereferencing pointers to
* internal variables is very unlikely. A correct fix would be
* rather large.
*/
result->in_debuggee = 1;
return TRUE;
}
struct type_find_t
{
ULONG result; /* out: the found type */
enum SymTagEnum tag; /* in: the tag to look for */
union
{
ULONG typeid; /* when tag is SymTagUDT */
const char* name; /* when tag is SymTagPointerType */
} u;
};
static BOOL CALLBACK types_cb(PSYMBOL_INFO sym, ULONG size, void* _user)
{
struct type_find_t* user = _user;
BOOL ret = TRUE;
struct dbg_type type;
DWORD type_id;
if (sym->Tag == user->tag)
{
switch (user->tag)
{
case SymTagUDT:
if (!strcmp(user->u.name, sym->Name))
{
user->result = sym->TypeIndex;
ret = FALSE;
}
break;
case SymTagPointerType:
type.module = sym->ModBase;
type.id = sym->TypeIndex;
if (types_get_info(&type, TI_GET_TYPE, &type_id) && type_id == user->u.typeid)
{
user->result = sym->TypeIndex;
ret = FALSE;
}
break;
default: break;
}
}
return ret;
}
/******************************************************************
* types_find_pointer
*
* Should look up in module based at linear whether (typeid*) exists
* Otherwise, we could create it locally
*/
struct dbg_type types_find_pointer(const struct dbg_type* type)
{
struct type_find_t f;
struct dbg_type ret;
f.result = dbg_itype_none;
f.tag = SymTagPointerType;
f.u.typeid = type->id;
SymEnumTypes(dbg_curr_process->handle, type->module, types_cb, &f);
ret.module = type->module;
ret.id = f.result;
return ret;
}
/******************************************************************
* types_find_type
*
* Should look up in the module based at linear address whether a type
* named 'name' and with the correct tag exists
*/
struct dbg_type types_find_type(DWORD64 linear, const char* name, enum SymTagEnum tag)
{
struct type_find_t f;
struct dbg_type ret;
f.result = dbg_itype_none;
f.tag = tag;
f.u.name = name;
SymEnumTypes(dbg_curr_process->handle, linear, types_cb, &f);
ret.module = linear;
ret.id = f.result;
return ret;
}
/***********************************************************************
* print_value
*
* Implementation of the 'print' command.
*/
void print_value(const struct dbg_lvalue* lvalue, char format, int level)
{
struct dbg_type type = lvalue->type;
struct dbg_lvalue lvalue_field;
int i;
DWORD tag;
DWORD count;
DWORD64 size;
if (!types_get_real_type(&type, &tag))
{
WINE_FIXME("---error\n");
return;
}
if (type.id == dbg_itype_none)
{
/* No type, just print the addr value */
print_bare_address(&lvalue->addr);
goto leave;
}
if (format == 'i' || format == 's' || format == 'w' || format == 'b' || format == 'g')
{
dbg_printf("Format specifier '%c' is meaningless in 'print' command\n", format);
format = '\0';
}
switch (tag)
{
case SymTagBaseType:
case SymTagEnum:
case SymTagPointerType:
/* FIXME: this in not 100% optimal (as we're going through the typedef handling
* stuff again
*/
print_basic(lvalue, format);
break;
case SymTagUDT:
if (types_get_info(&type, TI_GET_CHILDRENCOUNT, &count))
{
char buffer[sizeof(TI_FINDCHILDREN_PARAMS) + 256 * sizeof(DWORD)];
TI_FINDCHILDREN_PARAMS* fcp = (TI_FINDCHILDREN_PARAMS*)buffer;
WCHAR* ptr;
struct dbg_type sub_type;
dbg_printf("{");
fcp->Start = 0;
while (count)
{
fcp->Count = min(count, 256);
if (types_get_info(&type, TI_FINDCHILDREN, fcp))
{
for (i = 0; i < min(fcp->Count, count); i++)
{
sub_type.module = type.module;
sub_type.id = fcp->ChildId[i];
if (!types_get_info(&sub_type, TI_GET_SYMNAME, &ptr) || !ptr) continue;
dbg_printf("%ls=", ptr);
HeapFree(GetProcessHeap(), 0, ptr);
lvalue_field = *lvalue;
if (types_get_udt_element_lvalue(&lvalue_field, &sub_type))
{
print_value(&lvalue_field, format, level + 1);
}
if (i < min(fcp->Count, count) - 1 || count > 256) dbg_printf(", ");
}
}
count -= min(count, 256);
fcp->Start += 256;
}
dbg_printf("}");
}
break;
case SymTagArrayType:
/*
* Loop over all of the entries, printing stuff as we go.
*/
count = 1; size = 1;
types_get_info(&type, TI_GET_COUNT, &count);
types_get_info(&type, TI_GET_LENGTH, &size);
lvalue_field = *lvalue;
types_get_info(&lvalue_field.type, TI_GET_TYPE, &lvalue_field.type.id);
types_get_real_type(&lvalue_field.type, &tag);
if (size == count && tag == SymTagBaseType)
{
DWORD basetype;
types_get_info(&lvalue_field.type, TI_GET_BASETYPE, &basetype);
if (basetype == btChar)
{
char buffer[256];
/*
* Special handling for character arrays.
*/
unsigned len = min(count, sizeof(buffer));
memory_get_string(dbg_curr_process,
memory_to_linear_addr(&lvalue->addr),
lvalue->in_debuggee, TRUE, buffer, len);
dbg_printf("\"%s%s\"", buffer, (len < count) ? "..." : "");
break;
}
}
dbg_printf("{");
for (i = 0; i < count; i++)
{
print_value(&lvalue_field, format, level + 1);
lvalue_field.addr.Offset += size / count;
dbg_printf((i == count - 1) ? "}" : ", ");
}
break;
case SymTagFunctionType:
dbg_printf("Function ");
print_bare_address(&lvalue->addr);
dbg_printf(": ");
types_print_type(&type, FALSE);
break;
case SymTagTypedef:
lvalue_field = *lvalue;
types_get_info(&lvalue->type, TI_GET_TYPE, &lvalue_field.type.id);
print_value(&lvalue_field, format, level);
break;
default:
WINE_FIXME("Unknown tag (%lu)\n", tag);
RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
break;
}
leave:
if (level == 0) dbg_printf("\n");
}
static BOOL CALLBACK print_types_cb(PSYMBOL_INFO sym, ULONG size, void* ctx)
{
struct dbg_type type;
type.module = sym->ModBase;
type.id = sym->TypeIndex;
dbg_printf("Mod: %0*Ix ID: %08lx\n", ADDRWIDTH, type.module, type.id);
types_print_type(&type, TRUE);
dbg_printf("\n");
return TRUE;
}
static BOOL CALLBACK print_types_mod_cb(PCSTR mod_name, DWORD64 base, PVOID ctx)
{
return SymEnumTypes(dbg_curr_process->handle, base, print_types_cb, ctx);
}
BOOL print_types(void)
{
if (!dbg_curr_process)
{
dbg_printf("No known process, cannot print types\n");
return FALSE;
}
SymEnumerateModules64(dbg_curr_process->handle, print_types_mod_cb, NULL);
return FALSE;
}
BOOL types_print_type(const struct dbg_type* type, BOOL details)
{
WCHAR* ptr;
const WCHAR* name;
DWORD tag, udt, count;
struct dbg_type subtype;
if (type->id == dbg_itype_none || !types_get_info(type, TI_GET_SYMTAG, &tag))
{
dbg_printf("--invalid--<%lxh>--", type->id);
return FALSE;
}
name = (types_get_info(type, TI_GET_SYMNAME, &ptr) && ptr) ? ptr : L"--none--";
switch (tag)
{
case SymTagBaseType:
if (details) dbg_printf("Basic<%ls>", name); else dbg_printf("%ls", name);
break;
case SymTagPointerType:
types_get_info(type, TI_GET_TYPE, &subtype.id);
subtype.module = type->module;
types_print_type(&subtype, FALSE);
dbg_printf("*");
break;
case SymTagUDT:
types_get_info(type, TI_GET_UDTKIND, &udt);
switch (udt)
{
case UdtStruct: dbg_printf("struct %ls", name); break;
case UdtUnion: dbg_printf("union %ls", name); break;
case UdtClass: dbg_printf("class %ls", name); break;
default: WINE_ERR("Unsupported UDT type (%ld) for %ls\n", udt, name); break;
}
if (details &&
types_get_info(type, TI_GET_CHILDRENCOUNT, &count))
{
char buffer[sizeof(TI_FINDCHILDREN_PARAMS) + 256 * sizeof(DWORD)];
TI_FINDCHILDREN_PARAMS* fcp = (TI_FINDCHILDREN_PARAMS*)buffer;
WCHAR* ptr;
int i;
struct dbg_type type_elt;
dbg_printf(" {");
fcp->Start = 0;
while (count)
{
fcp->Count = min(count, 256);
if (types_get_info(type, TI_FINDCHILDREN, fcp))
{
for (i = 0; i < min(fcp->Count, count); i++)
{
type_elt.module = type->module;
type_elt.id = fcp->ChildId[i];
if (!types_get_info(&type_elt, TI_GET_SYMNAME, &ptr) || !ptr) continue;
dbg_printf("%ls", ptr);
HeapFree(GetProcessHeap(), 0, ptr);
if (types_get_info(&type_elt, TI_GET_TYPE, &type_elt.id))
{
dbg_printf(":");
types_print_type(&type_elt, details);
}
if (i < min(fcp->Count, count) - 1 || count > 256) dbg_printf(", ");
}
}
count -= min(count, 256);
fcp->Start += 256;
}
dbg_printf("}");
}
break;
case SymTagArrayType:
types_get_info(type, TI_GET_TYPE, &subtype.id);
subtype.module = type->module;
types_print_type(&subtype, details);
if (types_get_info(type, TI_GET_COUNT, &count))
dbg_printf(" %ls[%ld]", name, count);
else
dbg_printf(" %ls[]", name);
break;
case SymTagEnum:
dbg_printf("enum %ls", name);
break;
case SymTagFunctionType:
types_get_info(type, TI_GET_TYPE, &subtype.id);
/* is the returned type the same object as function sig itself ? */
if (subtype.id != type->id)
{
subtype.module = type->module;
types_print_type(&subtype, FALSE);
}
else
{
subtype.module = 0;
dbg_printf("<ret_type=self>");
}
dbg_printf(" (*%ls)(", name);
if (types_get_info(type, TI_GET_CHILDRENCOUNT, &count))
{
char buffer[sizeof(TI_FINDCHILDREN_PARAMS) + 256 * sizeof(DWORD)];
TI_FINDCHILDREN_PARAMS* fcp = (TI_FINDCHILDREN_PARAMS*)buffer;
int i;
fcp->Start = 0;
if (!count) dbg_printf("void");
else while (count)
{
fcp->Count = min(count, 256);
if (types_get_info(type, TI_FINDCHILDREN, fcp))
{
for (i = 0; i < min(fcp->Count, count); i++)
{
subtype.id = fcp->ChildId[i];
types_get_info(&subtype, TI_GET_TYPE, &subtype.id);
types_print_type(&subtype, FALSE);
if (i < min(fcp->Count, count) - 1 || count > 256) dbg_printf(", ");
}
}
count -= min(count, 256);
fcp->Start += 256;
}
}
dbg_printf(")");
break;
case SymTagTypedef:
dbg_printf("%ls", name);
break;
default:
WINE_ERR("Unknown type %lu for %ls\n", tag, name);
break;
}
HeapFree(GetProcessHeap(), 0, ptr);
return TRUE;
}
const struct data_model ilp32_data_model[] = {
{btVoid, 0, L"void"},
{btChar, 1, L"char"},
{btWChar, 2, L"wchar_t"},
{btInt, 1, L"signed char"},
{btInt, 2, L"short int"},
{btInt, 4, L"int"},
{btInt, 8, L"__int64"},
{btUInt, 1, L"unsigned char"},
{btUInt, 2, L"unsigned short int"},
{btUInt, 4, L"unsigned int"},
{btUInt, 8, L"unsigned __int64"},
{btFloat, 4, L"float"},
{btFloat, 8, L"double"},
{btFloat, 10, L"long double"},
{btBool, 1, L"bool"},
{btLong, 4, L"long"},
{btLong, 8, L"long long"},
{btULong, 4, L"unsigned long"},
{btULong, 8, L"unsigned long long"},
{btHresult, 4, L"char32_t"},
{btChar16, 2, L"char16_t"},
{btChar32, 4, L"char32_t"},
{btChar8, 1, L"char8_t"},
{0, 0, NULL}
};
const struct data_model llp64_data_model[] = {
{btVoid, 0, L"void"},
{btChar, 1, L"char"},
{btWChar, 2, L"wchar_t"},
{btInt, 1, L"signed char"},
{btInt, 2, L"short int"},
{btInt, 4, L"int"},
{btInt, 8, L"__int64"},
{btInt, 16, L"__int128"},
{btUInt, 1, L"unsigned char"},
{btUInt, 2, L"unsigned short int"},
{btUInt, 4, L"unsigned int"},
{btUInt, 8, L"unsigned __int64"},
{btUInt, 16, L"unsigned __int128"},
{btFloat, 4, L"float"},
{btFloat, 8, L"double"},
{btFloat, 10, L"long double"},
{btBool, 1, L"bool"},
{btLong, 4, L"long"},
{btLong, 8, L"long long"},
{btULong, 4, L"unsigned long"},
{btULong, 8, L"unsigned long long"},
{btHresult, 4, L"char32_t"},
{btChar16, 2, L"char16_t"},
{btChar32, 4, L"char32_t"},
{btChar8, 1, L"char8_t"},
{0, 0, NULL}
};
const struct data_model lp64_data_model[] = {
{btVoid, 0, L"void"},
{btChar, 1, L"char"},
{btWChar, 2, L"wchar_t"},
{btInt, 1, L"signed char"},
{btInt, 2, L"short int"},
{btInt, 4, L"int"},
{btInt, 8, L"__int64"},
{btInt, 16, L"__int128"},
{btUInt, 1, L"unsigned char"},
{btUInt, 2, L"unsigned short int"},
{btUInt, 4, L"unsigned int"},
{btUInt, 8, L"unsigned __int64"},
{btUInt, 16, L"unsigned __int128"},
{btFloat, 4, L"float"},
{btFloat, 8, L"double"},
{btFloat, 10, L"long double"},
{btBool, 1, L"bool"},
{btLong, 4, L"int"}, /* to print at least for such a regular Windows' type */
{btLong, 8, L"long"}, /* we can't discriminate 'long' from 'long long' */
{btULong, 4, L"unsigned int"}, /* to print at least for such a regular Windows' type */
{btULong, 8, L"unsigned long"}, /* we can't discriminate 'unsigned long' from 'unsigned long long' */
{btHresult, 4, L"char32_t"},
{btChar16, 2, L"char16_t"},
{btChar32, 4, L"char32_t"},
{btChar8, 1, L"char8_t"},
{0, 0, NULL}
};
static const struct data_model* get_data_model(DWORD modaddr)
{
const struct data_model *model;
if (dbg_curr_process->data_model)
model = dbg_curr_process->data_model;
else if (ADDRSIZE == 4) model = ilp32_data_model;
else
{
IMAGEHLP_MODULEW64 mi;
DWORD opt = SymSetExtendedOption(SYMOPT_EX_WINE_NATIVE_MODULES, TRUE);
mi.SizeOfStruct = sizeof(mi);
if (SymGetModuleInfoW64(dbg_curr_process->handle, modaddr, &mi) &&
(wcsstr(mi.ModuleName, L".so") || wcsstr(mi.ModuleName, L"<")))
model = lp64_data_model;
else
model = llp64_data_model;
SymSetExtendedOption(SYMOPT_EX_WINE_NATIVE_MODULES, opt);
}
return model;
}
/* helper to typecast pInfo to its expected type (_t) */
#define X(_t) (*((_t*)pInfo))
static BOOL lookup_base_type_in_data_model(const struct dbg_type* type, IMAGEHLP_SYMBOL_TYPE_INFO ti, void* pInfo)
{
DWORD tag, bt;
DWORD64 len;
const WCHAR* name = NULL;
WCHAR tmp[64];
const struct data_model* model;
if (ti != TI_GET_SYMNAME ||
!SymGetTypeInfo(dbg_curr_process->handle, type->module, type->id, TI_GET_SYMTAG, &tag) ||
tag != SymTagBaseType ||
!SymGetTypeInfo(dbg_curr_process->handle, type->module, type->id, TI_GET_BASETYPE, &bt) ||
!SymGetTypeInfo(dbg_curr_process->handle, type->module, type->id, TI_GET_LENGTH, &len) ||
len != (DWORD)len) return FALSE;
model = get_data_model(type->module);
for (; model->name; model++)
{
if (bt == model->base_type && model->size == len)
{
name = model->name;
break;
}
}
if (!name) /* synthetize name */
{
WINE_FIXME("Unsupported basic type %lu %I64u\n", bt, len);
swprintf(tmp, ARRAY_SIZE(tmp), L"bt[%lu,%u]", bt, len);
name = tmp;
}
X(WCHAR*) = HeapAlloc(GetProcessHeap(), 0, (lstrlenW(name) + 1) * sizeof(WCHAR));
if (X(WCHAR*))
lstrcpyW(X(WCHAR*), name);
return TRUE;
}
BOOL types_get_info(const struct dbg_type* type, IMAGEHLP_SYMBOL_TYPE_INFO ti, void* pInfo)
{
if (type->id == dbg_itype_none) return FALSE;
if (type->module != 0)
return lookup_base_type_in_data_model(type, ti, pInfo) ||
SymGetTypeInfo(dbg_curr_process->handle, type->module, type->id, ti, pInfo);
assert(type->id >= dbg_itype_first);
switch (type->id)
{
case dbg_itype_lguint:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = sizeof(dbg_lguint_t); break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for lguint_t\n", ti); return FALSE;
}
break;
case dbg_itype_lgint:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = sizeof(dbg_lgint_t); break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for lgint_t\n", ti); return FALSE;
}
break;
case dbg_itype_unsigned_long_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = ADDRSIZE; break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for u-long int\n", ti); return FALSE;
}
break;
case dbg_itype_signed_long_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = ADDRSIZE; break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for s-long int\n", ti); return FALSE;
}
break;
case dbg_itype_unsigned_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 4; break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for u-int\n", ti); return FALSE;
}
break;
case dbg_itype_signed_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 4; break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for s-int\n", ti); return FALSE;
}
break;
case dbg_itype_unsigned_short_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 2; break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for u-short int\n", ti); return FALSE;
}
break;
case dbg_itype_signed_short_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 2; break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for s-short int\n", ti); return FALSE;
}
break;
case dbg_itype_unsigned_char_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 1; break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for u-char int\n", ti); return FALSE;
}
break;
case dbg_itype_signed_char_int:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 1; break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for s-char int\n", ti); return FALSE;
}
break;
case dbg_itype_char:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 1; break;
case TI_GET_BASETYPE: X(DWORD) = btChar; break;
default: WINE_FIXME("unsupported %u for char int\n", ti); return FALSE;
}
break;
case dbg_itype_astring:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagPointerType; break;
case TI_GET_LENGTH: X(DWORD64) = ADDRSIZE; break;
case TI_GET_TYPE: X(DWORD) = dbg_itype_char; break;
default: WINE_FIXME("unsupported %u for a string\n", ti); return FALSE;
}
break;
case dbg_itype_segptr:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 4; break;
case TI_GET_BASETYPE: X(DWORD) = btInt; break;
default: WINE_FIXME("unsupported %u for seg-ptr\n", ti); return FALSE;
}
break;
case dbg_itype_short_real:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 4; break;
case TI_GET_BASETYPE: X(DWORD) = btFloat; break;
default: WINE_FIXME("unsupported %u for short real\n", ti); return FALSE;
}
break;
case dbg_itype_real:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 8; break;
case TI_GET_BASETYPE: X(DWORD) = btFloat; break;
default: WINE_FIXME("unsupported %u for real\n", ti); return FALSE;
}
break;
case dbg_itype_long_real:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 10; break;
case TI_GET_BASETYPE: X(DWORD) = btFloat; break;
default: WINE_FIXME("unsupported %u for long real\n", ti); return FALSE;
}
break;
case dbg_itype_m128a:
switch (ti)
{
case TI_GET_SYMTAG: X(DWORD) = SymTagBaseType; break;
case TI_GET_LENGTH: X(DWORD64) = 16; break;
case TI_GET_BASETYPE: X(DWORD) = btUInt; break;
default: WINE_FIXME("unsupported %u for XMM register\n", ti); return FALSE;
}
break;
default: WINE_FIXME("unsupported type id 0x%lx\n", type->id);
}
#undef X
return TRUE;
}
static BOOL types_compare_name(struct dbg_type type1, struct dbg_type type2, BOOL* equal)
{
LPWSTR name1, name2;
BOOL ret;
if (types_get_info(&type1, TI_GET_SYMNAME, &name1))
{
if (types_get_info(&type2, TI_GET_SYMNAME, &name2))
{
*equal = !wcscmp(name1, name2);
ret = TRUE;
HeapFree(GetProcessHeap(), 0, name2);
}
else ret = FALSE;
HeapFree(GetProcessHeap(), 0, name1);
}
else ret = FALSE;
return ret;
}
static BOOL types_compare_children(struct dbg_type type1, struct dbg_type type2, BOOL* equal, DWORD tag)
{
DWORD count1, count2, i;
DWORD* children;
BOOL ret;
if (!types_get_info(&type1, TI_GET_CHILDRENCOUNT, &count1) ||
!types_get_info(&type2, TI_GET_CHILDRENCOUNT, &count2)) return FALSE;
if (count1 != count2) {*equal = FALSE; return TRUE;}
if (!count1) return *equal = TRUE;
if ((children = malloc(sizeof(*children) * 2 * count1)) == NULL) return FALSE;
if (types_get_info(&type1, TI_FINDCHILDREN, &children[0]) &&
types_get_info(&type2, TI_FINDCHILDREN, &children[count1]))
{
for (i = 0; i < count1; ++i)
{
type1.id = children[i];
type2.id = children[count1 + i];
switch (tag)
{
case SymTagFunctionType: ret = types_compare(type1, type2, equal); break;
case SymTagUDT:
/* each child is a SymTagData that describes the member */
ret = types_compare_name(type1, type2, equal);
if (ret && *equal)
{
/* compare type of member */
ret = types_get_info(&type1, TI_GET_TYPE, &type1.id) &&
types_get_info(&type2, TI_GET_TYPE, &type2.id);
if (ret) ret = types_compare(type1, type2, equal);
/* FIXME should compare bitfield info when present */
}
break;
default: ret = FALSE; break;
}
if (!ret || !*equal) break;
}
if (i == count1) ret = *equal = TRUE;
}
else ret = FALSE;
free(children);
return ret;
}
BOOL types_compare(struct dbg_type type1, struct dbg_type type2, BOOL* equal)
{
DWORD tag1, tag2;
DWORD64 size1, size2;
DWORD bt1, bt2;
DWORD count1, count2;
BOOL ret;
do
{
if (type1.module == type2.module && type1.id == type2.id)
return *equal = TRUE;
if (!types_get_real_type(&type1, &tag1) ||
!types_get_real_type(&type2, &tag2)) return FALSE;
if (type1.module == type2.module && type1.id == type2.id)
return *equal = TRUE;
if (tag1 != tag2) return !(*equal = FALSE);
switch (tag1)
{
case SymTagBaseType:
if (!types_get_info(&type1, TI_GET_BASETYPE, &bt1) ||
!types_get_info(&type2, TI_GET_BASETYPE, &bt2) ||
!types_get_info(&type1, TI_GET_LENGTH, &size1) ||
!types_get_info(&type2, TI_GET_LENGTH, &size2))
return FALSE;
*equal = bt1 == bt2 && size1 == size2;
return TRUE;
case SymTagPointerType:
/* compare sub types */
break;
case SymTagUDT:
case SymTagEnum:
ret = types_compare_name(type1, type2, equal);
if (!ret || !*equal) return ret;
ret = types_compare_children(type1, type2, equal, tag1);
if (!ret || !*equal) return ret;
if (tag1 == SymTagUDT) return TRUE;
/* compare underlying type for enums */
break;
case SymTagArrayType:
if (!types_get_info(&type1, TI_GET_LENGTH, &size1) ||
!types_get_info(&type2, TI_GET_LENGTH, &size2) ||
!types_get_info(&type1, TI_GET_COUNT, &count1) ||
!types_get_info(&type2, TI_GET_COUNT, &count2)) return FALSE;
if (size1 == size2 && count1 == count2)
{
struct dbg_type subtype1 = type1, subtype2 = type2;
if (!types_get_info(&type1, TI_GET_ARRAYINDEXTYPEID, &subtype1.id) ||
!types_get_info(&type2, TI_GET_ARRAYINDEXTYPEID, &subtype2.id)) return FALSE;
if (!types_compare(subtype1, subtype2, equal)) return FALSE;
if (!*equal) return TRUE;
}
else return !(*equal = FALSE);
/* compare subtypes */
break;
case SymTagFunctionType:
if (!types_compare_children(type1, type2, equal, tag1)) return FALSE;
if (!*equal) return TRUE;
/* compare return:ed type */
break;
case SymTagFunctionArgType:
/* compare argument type */
break;
default:
dbg_printf("Unsupported yet tag %ld\n", tag1);
return FALSE;
}
} while (types_get_info(&type1, TI_GET_TYPE, &type1.id) &&
types_get_info(&type2, TI_GET_TYPE, &type2.id));
return FALSE;
}
static BOOL is_basetype_char(DWORD bt)
{
return bt == btChar || bt == btWChar || bt == btChar8 || bt == btChar16 || bt == btChar32;
}
static BOOL is_basetype_integer(DWORD bt)
{
return is_basetype_char(bt) || bt == btInt || bt == btUInt || bt == btLong || bt == btULong;
}
BOOL types_is_integral_type(const struct dbg_lvalue* lv)
{
struct dbg_type type = lv->type;
DWORD tag, bt;
if (lv->bitlen) return TRUE;
if (!types_get_real_type(&type, &tag) ||
!types_get_info(&type, TI_GET_BASETYPE, &bt)) return FALSE;
return is_basetype_integer(bt);
}
BOOL types_is_float_type(const struct dbg_lvalue* lv)
{
struct dbg_type type = lv->type;
DWORD tag, bt;
if (lv->bitlen) return FALSE;
if (!types_get_real_type(&type, &tag) ||
!types_get_info(&type, TI_GET_BASETYPE, &bt)) return FALSE;
return bt == btFloat;
}