Jielun Wu <firmiana402@gmail.com> writes:

DWARF v5 requires the explicit size operand of DW_OP_deref_type to
match the size of the referenced base type.  The evaluator currently
passes both sizes to dwarf_expr_context::deref without validating the
encoding, and the generic dereference helper accepts the mismatch by
zero-extending the bytes read from memory.

Reject a mismatch after resolving the base type.  Add a DWARF assembler
test covering both DW_OP_deref_type and DW_OP_GNU_deref_type.

Tested on x86_64-linux.

I think we're going to need copyright assignments in order to merge this
and the other patches.

You can email 'assign@gnu.org' to get started.

Tom

Hi Tom,

Thanks for checking. I believe my copyright assignment has already been
completed and should be on file. I started the process in late June and
received the final confirmation email in early August.

Please let me know if it is not showing up in the records, or if you need
any additional information from me.

Best,
Jielun