Re: [PATCH] [gdb/exp] Fix printing of out of bounds struct members

[Tom Tromey <tromey@adacore.com>]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

>> One thing I see here is that y.a is not one of the valid values.  So
>> I
>> wonder if this kind of corruption should be detected at a different
>> spot, like throwing an exception from compute_variant_fields_inner.
>> 

Tom> I've looked into that, but I think it requires a cleanup related to
Tom> TYPE_CODE_BOOL

In this particular test, I would have expect the variants to enumerate
the valid values, due to the 'when True' / 'when False'.

However, I see the compiler decides not to do that :-(

That is, it says:

 <4><1158>: Abbrev Number: 8 (DW_TAG_variant)
    <1159>   DW_AT_discr_value : 1
    <115a>   DW_AT_sibling     : <0x1169>
 <5><115e>: Abbrev Number: 1 (DW_TAG_member)
[...]
 <4><1169>: Abbrev Number: 9 (DW_TAG_variant)
 <5><116a>: Abbrev Number: 1 (DW_TAG_member)

Tom