void InfoLEB128(
dw_client cli,
dw_sconst value )
{
uint_8 buf[ MAX_LEB128 ];
uint_8 *end;
end = LEB128( buf, value );
CLIWrite( DW_DEBUG_INFO, buf, end - buf );
}
void DWENTRY DWSetFile(
dw_client cli,
const char *filename )
{
uint_8 buf[ 1 + MAX_LEB128 ];
uint_8 *end;
_Validate( filename != NULL );
buf[0] = DW_LNS_set_file;
end = LEB128( buf + 1, GetFileNumber( cli, filename ) );
CLIWrite( DW_DEBUG_LINE, buf, end - buf );
}
byte* DIECursor::getDWARFAbbrev(unsigned off, unsigned findcode)
{
if (!img->debug_abbrev)
return 0;
std::pair<unsigned, unsigned> key = std::make_pair(off, findcode);
abbrevMap_t::iterator it = abbrevMap.find(key);
if (it != abbrevMap.end())
{
return it->second;
}
byte* p = (byte*)img->debug_abbrev + off;
byte* end = (byte*)img->debug_abbrev + img->debug_abbrev_length;
while (p < end)
{
int code = LEB128(p);
if (code == findcode)
{
abbrevMap.insert(std::make_pair(key, p));
return p;
}
if (code == 0)
return 0;
int tag = LEB128(p);
int hasChild = *p++;
// skip attributes
int attr, form;
do
{
attr = LEB128(p);
form = LEB128(p);
} while (attr || form);
}
return 0;
}
void DWENTRY DWLineNum(
dw_client cli,
uint info,
dw_linenum line_num,
dw_column column,
dw_addr_offset addr )
{
uint_8 buf[ 3 + 2 * MAX_LEB128 ];
uint_8 *end;
unsigned size;
/* set the basic_block register properly */
if( info & DW_LN_BLK ) {
buf[ 0 ] = DW_LNS_set_basic_block;
CLIWrite( DW_DEBUG_LINE, buf, 1 );
}
/* set the is_stmt register properly */
if( info & DW_LN_STMT ) {
if( !cli->debug_line.is_stmt ) {
cli->debug_line.is_stmt = 1;
buf[ 0 ] = DW_LNS_negate_stmt;
CLIWrite( DW_DEBUG_LINE, buf, 1 );
}
} else if( cli->debug_line.is_stmt ) {
cli->debug_line.is_stmt = 0;
buf[ 0 ] = DW_LNS_negate_stmt;
CLIWrite( DW_DEBUG_LINE, buf, 1 );
}
if( column != cli->debug_line.column ) {
cli->debug_line.column = column;
buf[ 0 ] = DW_LNS_set_column;
end = LEB128( buf + 1, column );
CLIWrite( DW_DEBUG_LINE, buf, end - buf );
}
size = DWLineGen( line_num - cli->debug_line.line,
addr - cli->debug_line.addr, buf );
CLIWrite( DW_DEBUG_LINE, buf, size );
cli->debug_line.addr = addr;
cli->debug_line.line = line_num;
}
unsigned DWENTRY DWLineGen(
dw_linenum_delta line_incr,
dw_addr_delta addr_incr,
uint_8 *buf )
{
uint opcode;
unsigned size;
uint_8 *end;
dw_addr_delta addr;
size = 0;
if( line_incr < DWLINE_BASE || line_incr > DWLINE_BASE + DWLINE_RANGE - 1) {
/* line_incr is out of bounds... emit standard opcode */
buf[ 0 ] = DW_LNS_advance_line;
size = LEB128( buf + 1, line_incr ) - buf;
line_incr = 0;
}
if( addr_incr < 0 ) {
buf[ size ] = DW_LNS_advance_pc;
size = LEB128( buf + size + 1, addr_incr ) - buf;
addr_incr = 0;
} else {
addr_incr /= DW_MIN_INSTR_LENGTH;
}
if( addr_incr == 0 && line_incr == 0 ) {
buf[size] = DW_LNS_copy;
return size + 1;
}
/* calculate the opcode with overflow checks */
line_incr -= DWLINE_BASE;
opcode = DWLINE_RANGE * addr_incr;
if( opcode < addr_incr ) goto overflow;
if( opcode + line_incr < opcode ) goto overflow;
opcode += line_incr;
/* can we use a special opcode? */
if( opcode <= 255 - DWLINE_OPCODE_BASE ) {
buf[ size ] = opcode + DWLINE_OPCODE_BASE;
return size + 1;
}
/*
We can't use a special opcode directly... but we may be able to
use a CONST_ADD_PC followed by a special opcode. So we calculate
if addr_incr lies in this range. MAX_ADDR_INCR is the addr
increment for special opcode 255.
*/
#define MAX_ADDR_INCR ( ( 255 - DWLINE_OPCODE_BASE ) / DWLINE_RANGE )
if( addr_incr < 2*MAX_ADDR_INCR ) {
buf[ size ] = DW_LNS_const_add_pc;
size++;
buf[ size ] = opcode - MAX_ADDR_INCR*DWLINE_RANGE + DWLINE_OPCODE_BASE;
return size + 1;
}
/*
Emit an ADVANCE_PC followed by a special opcode.
We use MAX_ADDR_INCR - 1 to prevent problems if special opcode
255 - DWLINE_OPCODE_BASE - DWLINE_BASE + 1 isn't an integral multiple
of DWLINE_RANGE.
*/
overflow:
buf[ size ] = DW_LNS_advance_pc;
if( line_incr == 0 - DWLINE_BASE ) {
opcode = DW_LNS_copy;
} else {
addr = addr_incr % ( MAX_ADDR_INCR - 1 );
addr_incr -= addr;
opcode = line_incr + ( DWLINE_RANGE * addr ) + DWLINE_OPCODE_BASE;
}
end = LEB128( buf + size + 1, addr_incr );
*end++ = opcode;
return end - buf;
}
bool interpretDWARFLines(const PEImage& img, mspdb::Mod* mod)
{
for(unsigned long off = 0; off < img.debug_line_length; )
{
DWARF_LineNumberProgramHeader* hdr = (DWARF_LineNumberProgramHeader*) (img.debug_line + off);
int length = hdr->unit_length;
if(length < 0)
break;
length += sizeof(length);
unsigned char* p = (unsigned char*) (hdr + 1);
unsigned char* end = (unsigned char*) hdr + length;
std::vector<unsigned int> opcode_lengths;
opcode_lengths.resize(hdr->opcode_base);
if (hdr->opcode_base > 0)
{
opcode_lengths[0] = 0;
for(int o = 1; o < hdr->opcode_base && p < end; o++)
opcode_lengths[o] = LEB128(p);
}
DWARF_LineState state;
state.seg_offset = img.getImageBase() + img.getSection(img.codeSegment).VirtualAddress;
// dirs
while(p < end)
{
if(*p == 0)
break;
state.include_dirs.push_back((const char*) p);
p += strlen((const char*) p) + 1;
}
p++;
// files
DWARF_FileName fname;
while(p < end && *p)
{
fname.read(p);
state.files.push_back(fname);
}
p++;
state.init(hdr);
while(p < end)
{
int opcode = *p++;
if(opcode >= hdr->opcode_base)
{
// special opcode
int adjusted_opcode = opcode - hdr->opcode_base;
int operation_advance = adjusted_opcode / hdr->line_range;
state.advance_addr(hdr, operation_advance);
int line_advance = hdr->line_base + (adjusted_opcode % hdr->line_range);
state.line += line_advance;
state.addLineInfo();
state.basic_block = false;
state.prologue_end = false;
state.epilogue_end = false;
state.discriminator = 0;
}
else
{
switch(opcode)
{
case 0: // extended
{
int exlength = LEB128(p);
unsigned char* q = p + exlength;
int excode = *p++;
switch(excode)
{
case DW_LNE_end_sequence:
if((char*)p - img.debug_line >= 0xe4e0)
p = p;
state.end_sequence = true;
state.last_addr = state.address;
state.addLineInfo();
if(!_flushDWARFLines(img, mod, state))
return false;
state.init(hdr);
break;
case DW_LNE_set_address:
if (!mod && state.section == -1)
state.section = img.getRelocationInLineSegment((char*)p - img.debug_line);
if(unsigned long adr = RD4(p))
state.address = adr;
else if (!mod)
state.address = adr;
else
state.address = state.last_addr; // strange adr 0 for templates?
state.op_index = 0;
break;
case DW_LNE_define_file:
fname.read(p);
state.file_ptr = &fname;
state.file = 0;
break;
case DW_LNE_set_discriminator:
state.discriminator = LEB128(p);
break;
}
p = q;
break;
}
case DW_LNS_copy:
state.addLineInfo();
state.basic_block = false;
state.prologue_end = false;
state.epilogue_end = false;
state.discriminator = 0;
break;
case DW_LNS_advance_pc:
state.advance_addr(hdr, LEB128(p));
break;
case DW_LNS_advance_line:
state.line += SLEB128(p);
break;
case DW_LNS_set_file:
if(!_flushDWARFLines(img, mod, state))
return false;
state.file = LEB128(p);
break;
case DW_LNS_set_column:
state.column = LEB128(p);
break;
case DW_LNS_negate_stmt:
state.is_stmt = !state.is_stmt;
break;
case DW_LNS_set_basic_block:
state.basic_block = true;
break;
case DW_LNS_const_add_pc:
state.advance_addr(hdr, (255 - hdr->opcode_base) / hdr->line_range);
break;
case DW_LNS_fixed_advance_pc:
state.address += RD2(p);
state.op_index = 0;
break;
case DW_LNS_set_prologue_end:
state.prologue_end = true;
break;
case DW_LNS_set_epilogue_begin:
state.epilogue_end = true;
break;
case DW_LNS_set_isa:
state.isa = LEB128(p);
break;
default:
// unknown standard opcode
for(unsigned int arg = 0; arg < opcode_lengths[opcode]; arg++)
LEB128(p);
break;
}
}
}
if(!_flushDWARFLines(img, mod, state))
return false;
off += length;
}
return true;
}
Location decodeLocation(const DWARF_Attribute& attr, const Location* frameBase, int at)
{
static Location invalid = { Location::Invalid };
if (attr.type == Const)
return mkAbs(attr.cons);
if (attr.type != ExprLoc && attr.type != Block) // same memory layout
return invalid;
byte* p = attr.expr.ptr;
Location stack[256];
int stackDepth = 0;
if (at == DW_AT_data_member_location)
stack[stackDepth++] = Location { Location::Abs, 0, 0 };
for (;;)
{
if (p >= attr.expr.ptr + attr.expr.len)
break;
int op = *p++;
if (op == 0)
break;
switch (op)
{
case DW_OP_reg0: case DW_OP_reg1: case DW_OP_reg2: case DW_OP_reg3:
case DW_OP_reg4: case DW_OP_reg5: case DW_OP_reg6: case DW_OP_reg7:
case DW_OP_reg8: case DW_OP_reg9: case DW_OP_reg10: case DW_OP_reg11:
case DW_OP_reg12: case DW_OP_reg13: case DW_OP_reg14: case DW_OP_reg15:
case DW_OP_reg16: case DW_OP_reg17: case DW_OP_reg18: case DW_OP_reg19:
case DW_OP_reg20: case DW_OP_reg21: case DW_OP_reg22: case DW_OP_reg23:
case DW_OP_reg24: case DW_OP_reg25: case DW_OP_reg26: case DW_OP_reg27:
case DW_OP_reg28: case DW_OP_reg29: case DW_OP_reg30: case DW_OP_reg31:
stack[stackDepth++] = mkInReg(op - DW_OP_reg0);
break;
case DW_OP_regx:
stack[stackDepth++] = mkInReg(LEB128(p));
break;
case DW_OP_const1u: stack[stackDepth++] = mkAbs(*p); break;
case DW_OP_const2u: stack[stackDepth++] = mkAbs(RD2(p)); break;
case DW_OP_const4u: stack[stackDepth++] = mkAbs(RD4(p)); break;
case DW_OP_const1s: stack[stackDepth++] = mkAbs((char)*p); break;
case DW_OP_const2s: stack[stackDepth++] = mkAbs((short)RD2(p)); break;
case DW_OP_const4s: stack[stackDepth++] = mkAbs((int)RD4(p)); break;
case DW_OP_constu: stack[stackDepth++] = mkAbs(LEB128(p)); break;
case DW_OP_consts: stack[stackDepth++] = mkAbs(SLEB128(p)); break;
case DW_OP_plus_uconst:
if (stack[stackDepth - 1].is_inreg())
return invalid;
stack[stackDepth - 1].off += LEB128(p);
break;
case DW_OP_lit0: case DW_OP_lit1: case DW_OP_lit2: case DW_OP_lit3:
case DW_OP_lit4: case DW_OP_lit5: case DW_OP_lit6: case DW_OP_lit7:
case DW_OP_lit8: case DW_OP_lit9: case DW_OP_lit10: case DW_OP_lit11:
case DW_OP_lit12: case DW_OP_lit13: case DW_OP_lit14: case DW_OP_lit15:
case DW_OP_lit16: case DW_OP_lit17: case DW_OP_lit18: case DW_OP_lit19:
case DW_OP_lit20: case DW_OP_lit21: case DW_OP_lit22: case DW_OP_lit23:
stack[stackDepth++] = mkAbs(op - DW_OP_lit0);
break;
case DW_OP_breg0: case DW_OP_breg1: case DW_OP_breg2: case DW_OP_breg3:
case DW_OP_breg4: case DW_OP_breg5: case DW_OP_breg6: case DW_OP_breg7:
case DW_OP_breg8: case DW_OP_breg9: case DW_OP_breg10: case DW_OP_breg11:
case DW_OP_breg12: case DW_OP_breg13: case DW_OP_breg14: case DW_OP_breg15:
case DW_OP_breg16: case DW_OP_breg17: case DW_OP_breg18: case DW_OP_breg19:
case DW_OP_breg20: case DW_OP_breg21: case DW_OP_breg22: case DW_OP_breg23:
case DW_OP_breg24: case DW_OP_breg25: case DW_OP_breg26: case DW_OP_breg27:
case DW_OP_breg28: case DW_OP_breg29: case DW_OP_breg30: case DW_OP_breg31:
stack[stackDepth++] = mkRegRel(op - DW_OP_breg0, SLEB128(p));
break;
case DW_OP_bregx:
{
unsigned reg = LEB128(p);
stack[stackDepth++] = mkRegRel(reg, SLEB128(p));
} break;
case DW_OP_abs: case DW_OP_neg: case DW_OP_not:
{
Location& op1 = stack[stackDepth - 1];
if (!op1.is_abs())
return invalid;
switch (op)
{
case DW_OP_abs: op1 = mkAbs(abs(op1.off)); break;
case DW_OP_neg: op1 = mkAbs(-op1.off); break;
case DW_OP_not: op1 = mkAbs(~op1.off); break;
}
} break;
case DW_OP_plus: // op2 + op1
{
Location& op1 = stack[stackDepth - 1];
Location& op2 = stack[stackDepth - 2];
// Can add only two offsets or a regrel and an offset.
if (op2.is_regrel() && op1.is_abs())
op2 = mkRegRel(op2.reg, op2.off + op1.off);
else if (op2.is_abs() && op1.is_regrel())
op2 = mkRegRel(op1.reg, op2.off + op1.off);
else if (op2.is_abs() && op1.is_abs())
op2 = mkAbs(op2.off + op1.off);
else
return invalid;
--stackDepth;
} break;
case DW_OP_minus: // op2 - op1
{
Location& op1 = stack[stackDepth - 1];
Location& op2 = stack[stackDepth - 2];
if (op2.is_regrel() && op1.is_regrel() && op2.reg == op1.reg)
op2 = mkAbs(0); // X - X == 0
else if (op2.is_regrel() && op1.is_abs())
op2 = mkRegRel(op2.reg, op2.off - op1.off);
else if (op2.is_abs() && op1.is_abs())
op2 = mkAbs(op2.off - op1.off);
else
return invalid;
--stackDepth;
} break;
case DW_OP_mul:
{
Location& op1 = stack[stackDepth - 1];
Location& op2 = stack[stackDepth - 2];
if ((op1.is_abs() && op1.off == 0) || (op2.is_abs() && op2.off == 0))
op2 = mkAbs(0); // X * 0 == 0
else if (op1.is_abs() && op2.is_abs())
op2 = mkAbs(op1.off * op2.off);
else
return invalid;
--stackDepth;
} break;
case DW_OP_and:
{
Location& op1 = stack[stackDepth - 1];
Location& op2 = stack[stackDepth - 2];
if ((op1.is_abs() && op1.off == 0) || (op2.is_abs() && op2.off == 0))
op2 = mkAbs(0); // X & 0 == 0
else if (op1.is_abs() && op2.is_abs())
op2 = mkAbs(op1.off & op2.off);
else
return invalid;
--stackDepth;
} break;
case DW_OP_div: case DW_OP_mod: case DW_OP_shl:
case DW_OP_shr: case DW_OP_shra: case DW_OP_or:
case DW_OP_xor:
case DW_OP_eq: case DW_OP_ge: case DW_OP_gt:
case DW_OP_le: case DW_OP_lt: case DW_OP_ne:
{
Location& op1 = stack[stackDepth - 1];
Location& op2 = stack[stackDepth - 2];
if (!op1.is_abs() || !op2.is_abs()) // can't combine unless both are constants
return invalid;
switch (op)
{
case DW_OP_div: op2.off = op2.off / op1.off; break;
case DW_OP_mod: op2.off = op2.off % op1.off; break;
case DW_OP_shl: op2.off = op2.off << op1.off; break;
case DW_OP_shr: op2.off = op2.off >> op1.off; break;
case DW_OP_shra: op2.off = op2.off >> op1.off; break;
case DW_OP_or: op2.off = op2.off | op1.off; break;
case DW_OP_xor: op2.off = op2.off ^ op1.off; break;
case DW_OP_eq: op2.off = op2.off == op1.off; break;
case DW_OP_ge: op2.off = op2.off >= op1.off; break;
case DW_OP_gt: op2.off = op2.off > op1.off; break;
case DW_OP_le: op2.off = op2.off <= op1.off; break;
case DW_OP_lt: op2.off = op2.off < op1.off; break;
case DW_OP_ne: op2.off = op2.off != op1.off; break;
}
--stackDepth;
} break;
case DW_OP_fbreg:
{
if (!frameBase)
return invalid;
Location loc;
if (frameBase->is_inreg()) // ok in frame base specification, per DWARF4 spec #3.3.5
loc = mkRegRel(frameBase->reg, SLEB128(p));
else if (frameBase->is_regrel())
loc = mkRegRel(frameBase->reg, frameBase->off + SLEB128(p));
else
return invalid;
stack[stackDepth++] = loc;
} break;
case DW_OP_dup: stack[stackDepth] = stack[stackDepth - 1]; stackDepth++; break;
case DW_OP_drop: stackDepth--; break;
case DW_OP_over: stack[stackDepth] = stack[stackDepth - 2]; stackDepth++; break;
case DW_OP_pick: stack[stackDepth++] = stack[*p]; break;
case DW_OP_swap: { Location tmp = stack[stackDepth - 1]; stack[stackDepth - 1] = stack[stackDepth - 2]; stack[stackDepth - 2] = tmp; } break;
case DW_OP_rot: { Location tmp = stack[stackDepth - 1]; stack[stackDepth - 1] = stack[stackDepth - 2]; stack[stackDepth - 2] = stack[stackDepth - 3]; stack[stackDepth - 3] = tmp; } break;
case DW_OP_addr:
stack[stackDepth++] = mkAbs(RD4(p)); // TODO: 64-bit
break;
case DW_OP_skip:
{
unsigned off = RD2(p);
p = p + off;
} break;
case DW_OP_bra:
{
Location& op1 = stack[stackDepth - 1];
if (!op1.is_abs())
return invalid;
if (op1.off != 0)
{
unsigned off = RD2(p);
p = p + off;
}
--stackDepth;
} break;
case DW_OP_nop:
break;
case DW_OP_call_frame_cfa: // assume ebp+8/rbp+16
stack[stackDepth++] = Location{ Location::RegRel, DW_REG_CFA, 0 };
break;
case DW_OP_deref:
case DW_OP_deref_size:
case DW_OP_push_object_address:
case DW_OP_call2:
case DW_OP_call4:
case DW_OP_form_tls_address:
case DW_OP_call_ref:
case DW_OP_bit_piece:
case DW_OP_implicit_value:
case DW_OP_stack_value:
default:
return invalid;
}
}
assert(stackDepth > 0);
return stack[0];
}
bool DIECursor::readNext(DWARF_InfoData& id, bool stopAtNull)
{
id.clear();
if (hasChild)
++level;
for (;;)
{
if (level == -1)
return false; // we were already at the end of the subtree
if (ptr >= ((byte*)cu + sizeof(cu->unit_length) + cu->unit_length))
return false; // root of the tree does not have a null terminator, but we know the length
id.entryPtr = ptr;
id.entryOff = ptr - (byte*)cu;
id.code = LEB128(ptr);
if (id.code == 0)
{
--level; // pop up one level
if (stopAtNull)
{
hasChild = false;
return false;
}
continue; // read the next DIE
}
break;
}
byte* abbrev = getDWARFAbbrev(cu->debug_abbrev_offset, id.code);
assert(abbrev);
if (!abbrev)
return false;
id.abbrev = abbrev;
id.tag = LEB128(abbrev);
id.hasChild = *abbrev++;
int attr, form;
for (;;)
{
attr = LEB128(abbrev);
form = LEB128(abbrev);
if (attr == 0 && form == 0)
break;
while (form == DW_FORM_indirect)
form = LEB128(ptr);
DWARF_Attribute a;
switch (form)
{
case DW_FORM_addr: a.type = Addr; a.addr = (unsigned long)RDsize(ptr, cu->address_size); break;
case DW_FORM_block: a.type = Block; a.block.len = LEB128(ptr); a.block.ptr = ptr; ptr += a.block.len; break;
case DW_FORM_block1: a.type = Block; a.block.len = *ptr++; a.block.ptr = ptr; ptr += a.block.len; break;
case DW_FORM_block2: a.type = Block; a.block.len = RD2(ptr); a.block.ptr = ptr; ptr += a.block.len; break;
case DW_FORM_block4: a.type = Block; a.block.len = RD4(ptr); a.block.ptr = ptr; ptr += a.block.len; break;
case DW_FORM_data1: a.type = Const; a.cons = *ptr++; break;
case DW_FORM_data2: a.type = Const; a.cons = RD2(ptr); break;
case DW_FORM_data4: a.type = Const; a.cons = RD4(ptr); break;
case DW_FORM_data8: a.type = Const; a.cons = RD8(ptr); break;
case DW_FORM_sdata: a.type = Const; a.cons = SLEB128(ptr); break;
case DW_FORM_udata: a.type = Const; a.cons = LEB128(ptr); break;
case DW_FORM_string: a.type = String; a.string = (const char*)ptr; ptr += strlen(a.string) + 1; break;
case DW_FORM_strp: a.type = String; a.string = (const char*)(img->debug_str + RDsize(ptr, cu->isDWARF64() ? 8 : 4)); break;
case DW_FORM_flag: a.type = Flag; a.flag = (*ptr++ != 0); break;
case DW_FORM_flag_present: a.type = Flag; a.flag = true; break;
case DW_FORM_ref1: a.type = Ref; a.ref = (byte*)cu + *ptr++; break;
case DW_FORM_ref2: a.type = Ref; a.ref = (byte*)cu + RD2(ptr); break;
case DW_FORM_ref4: a.type = Ref; a.ref = (byte*)cu + RD4(ptr); break;
case DW_FORM_ref8: a.type = Ref; a.ref = (byte*)cu + RD8(ptr); break;
case DW_FORM_ref_udata: a.type = Ref; a.ref = (byte*)cu + LEB128(ptr); break;
case DW_FORM_ref_addr: a.type = Ref; a.ref = (byte*)img->debug_info + (cu->isDWARF64() ? RD8(ptr) : RD4(ptr)); break;
case DW_FORM_ref_sig8: a.type = Invalid; ptr += 8; break;
case DW_FORM_exprloc: a.type = ExprLoc; a.expr.len = LEB128(ptr); a.expr.ptr = ptr; ptr += a.expr.len; break;
case DW_FORM_sec_offset: a.type = SecOffset; a.sec_offset = cu->isDWARF64() ? RD8(ptr) : RD4(ptr); break;
case DW_FORM_indirect:
default: assert(false && "Unsupported DWARF attribute form"); return false;
}
switch (attr)
{
case DW_AT_byte_size:
assert(a.type == Const || a.type == Ref || a.type == ExprLoc);
if (a.type == Const) // TODO: other types not supported yet
id.byte_size = a.cons;
break;
case DW_AT_sibling: assert(a.type == Ref); id.sibling = a.ref; break;
case DW_AT_encoding: assert(a.type == Const); id.encoding = a.cons; break;
case DW_AT_name: assert(a.type == String); id.name = a.string; break;
case DW_AT_MIPS_linkage_name: assert(a.type == String); id.linkage_name = a.string; break;
case DW_AT_comp_dir: assert(a.type == String); id.dir = a.string; break;
case DW_AT_low_pc: assert(a.type == Addr); id.pclo = a.addr; break;
case DW_AT_high_pc:
if (a.type == Addr)
id.pchi = a.addr;
else if (a.type == Const)
id.pchi = id.pclo + a.cons;
else
assert(false);
break;
case DW_AT_ranges:
if (a.type == SecOffset)
id.ranges = a.sec_offset;
else if (a.type == Const)
id.ranges = a.cons;
else
assert(false);
break;
case DW_AT_type: assert(a.type == Ref); id.type = a.ref; break;
case DW_AT_inline: assert(a.type == Const); id.inlined = a.cons; break;
case DW_AT_external: assert(a.type == Flag); id.external = a.flag; break;
case DW_AT_upper_bound:
assert(a.type == Const || a.type == Ref || a.type == ExprLoc);
if (a.type == Const) // TODO: other types not supported yet
id.upper_bound = a.cons;
break;
case DW_AT_lower_bound:
assert(a.type == Const || a.type == Ref || a.type == ExprLoc);
if (a.type == Const) // TODO: other types not supported yet
id.lower_bound = a.cons;
break;
case DW_AT_containing_type: assert(a.type == Ref); id.containing_type = a.ref; break;
case DW_AT_specification: assert(a.type == Ref); id.specification = a.ref; break;
case DW_AT_data_member_location: id.member_location = a; break;
case DW_AT_location: id.location = a; break;
case DW_AT_frame_base: id.frame_base = a; break;
}
}
hasChild = id.hasChild != 0;
sibling = id.sibling;
return true;
}