Re: [Dwarf-discuss] Default Lower Bound for Ada{2005,2012}

2024-11-22 Thread Tom Tromey via Dwarf-discuss
> "Jakub" == Jakub Jelinek writes: Jakub> DW_LANG_Ada950x000d 1 Jakub> I admit I know nothing about Ada (CCing Tom if he can clarify), but I'd find it Jakub> unexpected if Ada 83/95 defaulted to lower bound 1 and Ada 2005/2012 all of Jakub> sudden switched to lower bound 0. In Ada, t

Re: [Dwarf-discuss] DW_AT_discr_value improvement

2025-01-20 Thread Tom Tromey via Dwarf-discuss
> "John" == John DelSignore writes: John> Is the discriminant value always a constant? Perhaps DWARF should say, John> "The value of this attribute is of class constant." Table 2.3 defines John> attribute class constant as, "One, two, four, eight or sixteen bytes John> of uninterpreted data,

[Dwarf-discuss] DW_AT_discr_value improvement

2025-01-18 Thread Tom Tromey via Dwarf-discuss
This comes from a Rust bug: https://github.com/rust-lang/rust/issues/125147 DW_AT_discr_value (section 5.7 page 123) says: The variant entry may have a DW_AT_discr_value attribute whose value represents the discriminant value selecting this variant. The value of this attribute is enc

[Dwarf-discuss] Enhancement: Dynamic DW_AT_data_bit_offset

2025-04-17 Thread Tom Tromey via Dwarf-discuss
Consider the appended Ada program. Here, the offset of "Another_Field" is a non-constant number of bits from the start of the object. I think there is no way to represent this in DWARF 5. Section 5.7.6, page 119 says: For a DW_AT_data_bit_offset attribute, the value is an integer consta

Re: [Dwarf-discuss] Enhancement: Dynamic DW_AT_data_bit_offset

2025-04-29 Thread Tom Tromey via Dwarf-discuss
> "Simon" == Simon Marchi writes: Simon> Just to make sure I understand, can you clarify how Simon> DW_AT_data_member_location and DW_AT_bit_offset are used in this Simon> case? In particular, which one is constant and which one is an Simon> evaluated expression? Dynamic DW_AT_data_member_l