gdb: call value_ind for pointers to dynamic types in UNOP_IND evaluation
authorAndrew Burgess <andrew.burgess@embecosm.com>
Fri, 8 Jan 2021 14:00:45 +0000 (14:00 +0000)
committerAndrew Burgess <andrew.burgess@embecosm.com>
Wed, 24 Feb 2021 15:51:29 +0000 (15:51 +0000)
commitbc3c0632a2ebec04ad8c3c320dc8e9852bd2aabe
tree19271e5181a642045479585530955ec9f3a693ed
parent9d3fcfe06896afd0ef1df4b22355d3822ca89e08
gdb: call value_ind for pointers to dynamic types in UNOP_IND evaluation

When evaluating and expression containing UNOP_IND in mode
EVAL_AVOID_SIDE_EFFECTS, GDB currently (mostly) returns the result of
a call to value_zero meaning we get back an object with the correct
type, but its contents are all zero.

If the target type contains fields with dynamic type then in order to
resolve these dynamic fields GDB will need to read the value of the
field from within the parent object.  In this case the field value
will be zero as a result of the call to value_zero mentioned above.

The idea behind EVAL_AVOID_SIDE_EFFECTS is to avoid the chance that
doing something like `ptype` will modify state within the target, for
example consider: ptype i++.

However, there is already precedence within GDB that sometimes, in
order to get accurate type results, we can't avoid reading from the
target, even when EVAL_AVOID_SIDE_EFFECTS is in effect.  For example I
would point to eval.c:evaluate_var_value, the handling of OP_REGISTER,
the handling of value_x_unop in many places.  I believe the Ada
expression evaluator also ignore EVAL_AVOID_SIDE_EFFECTS in some
cases.

I am therefor proposing that, in the case where a pointer points at a
dynamic type, we allow UNOP_IND to perform the actual indirection.
This allows accurate types to be displayed in more cases.

gdb/ChangeLog:

* eval.c (evaluate_subexp_standard): Call value_ind for points to
dynamic types in UNOP_IND.

gdb/testsuite/ChangeLog:

* gdb.fortran/pointer-to-pointer.exp: Additional tests.
gdb/ChangeLog
gdb/eval.c
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.fortran/pointer-to-pointer.exp