Introduce ada_var_msym_value_operation

This adds class ada_var_msym_value_operation, which implements
OP_VAR_MSYM_VALUE for Ada.

gdb/ChangeLog
2021-03-08  Tom Tromey  <tom@tromey.com>

	* ada-lang.c (ada_var_msym_value_operation::evaluate_for_cast):
	New method.
	* ada-exp.h (class ada_var_msym_value_operation): New.
This commit is contained in:
Tom Tromey 2021-03-08 07:27:57 -07:00
parent 99a3b1e77b
commit 3f4a0053d9
3 changed files with 48 additions and 0 deletions

View file

@ -1,3 +1,9 @@
2021-03-08 Tom Tromey <tom@tromey.com>
* ada-lang.c (ada_var_msym_value_operation::evaluate_for_cast):
New method.
* ada-exp.h (class ada_var_msym_value_operation): New.
2021-03-08 Tom Tromey <tom@tromey.com>
* ada-lang.c (ada_var_value_operation::evaluate_for_cast)

View file

@ -304,6 +304,23 @@ protected:
using operation::do_generate_ax;
};
/* Variant of var_msym_value_operation for Ada. */
class ada_var_msym_value_operation
: public var_msym_value_operation
{
public:
using var_msym_value_operation::var_msym_value_operation;
value *evaluate_for_cast (struct type *expect_type,
struct expression *exp,
enum noside noside) override;
protected:
using operation::do_generate_ax;
};
} /* namespace expr */
#endif /* ADA_EXP_H */

View file

@ -10553,6 +10553,31 @@ ada_unop_atr_operation::evaluate (struct type *expect_type,
val, type_arg, std::get<2> (m_storage));
}
value *
ada_var_msym_value_operation::evaluate_for_cast (struct type *expect_type,
struct expression *exp,
enum noside noside)
{
if (noside == EVAL_AVOID_SIDE_EFFECTS)
return value_zero (expect_type, not_lval);
value *val = evaluate_var_msym_value (noside,
std::get<1> (m_storage),
std::get<0> (m_storage));
val = ada_value_cast (expect_type, val);
/* Follow the Ada language semantics that do not allow taking
an address of the result of a cast (view conversion in Ada). */
if (VALUE_LVAL (val) == lval_memory)
{
if (value_lazy (val))
value_fetch_lazy (val);
VALUE_LVAL (val) = not_lval;
}
return val;
}
value *
ada_var_value_operation::evaluate_for_cast (struct type *expect_type,
struct expression *exp,