diff options
| author | Yao Qi <yao.qi@linaro.org> | 2016-12-06 14:25:51 +0000 |
|---|---|---|
| committer | Yao Qi <yao.qi@linaro.org> | 2016-12-06 14:25:51 +0000 |
| commit | 7c2ba67e6ab10879968c938aefd4d0d0b4ce79bc (patch) | |
| tree | f654ea7bb52fc5b536c17d212c6065ba2704932c /gdb/value.c | |
| parent | 5e359a63b7a39e0ff0f750ca8fc97d27b14c0ef7 (diff) | |
| download | binutils-gdb-7c2ba67e6ab10879968c938aefd4d0d0b4ce79bc.tar.gz | |
Assert on lval_register
This patch adds asserts where the value's lval must be lval_register.
This triggers an error in frame_register_unwind because VALUE_REGNUM
is used but value's lval is not lval_register.
This also reveals a design issue in frame_register_unwind, that is
arguments addrp and realnump are mutually exclusive, we either use
addrp (for lval_memory), or use realnump (for lval_register). This
can be done in a separate patch.
gdb:
2016-12-06 Yao Qi <yao.qi@linaro.org>
* frame.c (frame_register_unwind): Set *realnump if *lvalp is
lval_register.
* value.c (deprecated_value_next_frame_id_hack): Assert
value->lval is lval_register.
(deprecated_value_regnum_hack): Likewise.
Diffstat (limited to 'gdb/value.c')
| -rw-r--r-- | gdb/value.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/value.c b/gdb/value.c index cc291cf7d95..022900ff73c 100644 --- a/gdb/value.c +++ b/gdb/value.c @@ -1576,12 +1576,14 @@ deprecated_value_internalvar_hack (struct value *value) struct frame_id * deprecated_value_next_frame_id_hack (struct value *value) { + gdb_assert (value->lval == lval_register); return &value->location.reg.next_frame_id; } int * deprecated_value_regnum_hack (struct value *value) { + gdb_assert (value->lval == lval_register); return &value->location.reg.regnum; } |