diff options
| -rw-r--r-- | gdb/ChangeLog | 7 | ||||
| -rw-r--r-- | gdb/expop.h | 34 |
2 files changed, 41 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 609e91f..053f9a9 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,12 @@ 2021-03-08 Tom Tromey <tom@tromey.com> + * expop.h (cxx_cast_ftype): New typedef. + (cxx_cast_operation): New template. + (dynamic_cast_operation, reinterpret_cast_operation): New + typedefs. + +2021-03-08 Tom Tromey <tom@tromey.com> + * expop.h (class unop_cast_type_operation): New. * ax-gdb.c (unop_cast_type_operation::do_generate_ax): New method. diff --git a/gdb/expop.h b/gdb/expop.h index 1d1ce0b..3ab412e 100644 --- a/gdb/expop.h +++ b/gdb/expop.h @@ -1895,6 +1895,40 @@ protected: override; }; +typedef value *cxx_cast_ftype (struct type *, value *); + +/* This implements dynamic_cast and reinterpret_cast. static_cast and + const_cast are handled by the ordinary case operations. */ +template<exp_opcode OP, cxx_cast_ftype FUNC> +class cxx_cast_operation + : public maybe_constant_operation<operation_up, operation_up> +{ +public: + + using maybe_constant_operation::maybe_constant_operation; + + value *evaluate (struct type *expect_type, + struct expression *exp, + enum noside noside) override + { + value *val = std::get<0> (m_storage)->evaluate (nullptr, exp, + EVAL_AVOID_SIDE_EFFECTS); + struct type *type = value_type (val); + value *rhs = std::get<1> (m_storage)->evaluate (type, exp, noside); + if (noside == EVAL_SKIP) + return eval_skip_value (exp); + return FUNC (type, rhs); + } + + enum exp_opcode opcode () const override + { return OP; } +}; + +using dynamic_cast_operation = cxx_cast_operation<UNOP_DYNAMIC_CAST, + value_dynamic_cast>; +using reinterpret_cast_operation = cxx_cast_operation<UNOP_REINTERPRET_CAST, + value_reinterpret_cast>; + } /* namespace expr */ #endif /* EXPOP_H */ |