From 0af8829eb1aea4fa72f1a0a2c7c749c411c8ed41 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Mon, 8 Mar 2021 07:27:57 -0700 Subject: Introduce decltype_operation This adds class decltype_operation, which implements OP_DECLTYPE. gdb/ChangeLog 2021-03-08 Tom Tromey * expop.h (class decltype_operation): New. --- gdb/ChangeLog | 4 ++++ gdb/expop.h | 47 +++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 89d3e6f..5f9e2bc 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,9 @@ 2021-03-08 Tom Tromey + * expop.h (class decltype_operation): New. + +2021-03-08 Tom Tromey + * expop.h (class typeof_operation): New. 2021-03-08 Tom Tromey diff --git a/gdb/expop.h b/gdb/expop.h index da74359..1831378 100644 --- a/gdb/expop.h +++ b/gdb/expop.h @@ -1470,6 +1470,53 @@ public: { return OP_TYPEOF; } }; +/* Implement 'decltype'. */ +class decltype_operation + : public maybe_constant_operation +{ +public: + + using maybe_constant_operation::maybe_constant_operation; + + value *evaluate (struct type *expect_type, + struct expression *exp, + enum noside noside) override + { + if (noside == EVAL_SKIP) + return eval_skip_value (exp); + else if (noside == EVAL_AVOID_SIDE_EFFECTS) + { + value *result + = std::get<0> (m_storage)->evaluate (nullptr, exp, + EVAL_AVOID_SIDE_EFFECTS); + enum exp_opcode sub_op = std::get<0> (m_storage)->opcode (); + if (sub_op == BINOP_SUBSCRIPT + || sub_op == STRUCTOP_MEMBER + || sub_op == STRUCTOP_MPTR + || sub_op == UNOP_IND + || sub_op == STRUCTOP_STRUCT + || sub_op == STRUCTOP_PTR + || sub_op == OP_SCOPE) + { + struct type *type = value_type (result); + + if (!TYPE_IS_REFERENCE (type)) + { + type = lookup_lvalue_reference_type (type); + result = allocate_value (type); + } + } + + return result; + } + else + error (_("Attempt to use a type as an expression")); + } + + enum exp_opcode opcode () const override + { return OP_DECLTYPE; } +}; + } /* namespace expr */ #endif /* EXPOP_H */ -- cgit v1.1