From 003f3813535065a6b52d36b55443e43a59961238 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Fri, 9 May 2008 23:50:41 +0000 Subject: [PATCH] * ada-lang.c (ada_evaluate_subexp) [BINOP_ASSIGN]: Do not force the type of the right hand side of the assignment to the type of the left hand side if the left hand side is a convenience variable. --- gdb/ChangeLog | 7 +++++++ gdb/ada-lang.c | 9 ++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 5b614640396..8acf37a5184 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,10 @@ +2008-05-09 Joel Brobecker + + * ada-lang.c (ada_evaluate_subexp) [BINOP_ASSIGN]: Do not force + the type of the right hand side of the assignment to the type + of the left hand side if the left hand side is a convenience + variable. + 2008-05-09 Ulrich Weigand * NEWS: Mention gdbserver bi-arch capability. diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c index 8206f943023..8f710f49f49 100644 --- a/gdb/ada-lang.c +++ b/gdb/ada-lang.c @@ -8558,7 +8558,14 @@ ada_evaluate_subexp (struct type *expect_type, struct expression *exp, return arg1; return ada_value_assign (arg1, arg1); } - arg2 = evaluate_subexp (value_type (arg1), exp, pos, noside); + /* Force the evaluation of the rhs ARG2 to the type of the lhs ARG1, + except if the lhs of our assignment is a convenience variable. + In the case of assigning to a convenience variable, the lhs + should be exactly the result of the evaluation of the rhs. */ + type = value_type (arg1); + if (VALUE_LVAL (arg1) == lval_internalvar) + type = NULL; + arg2 = evaluate_subexp (type, exp, pos, noside); if (noside == EVAL_SKIP || noside == EVAL_AVOID_SIDE_EFFECTS) return arg1; if (ada_is_fixed_point_type (value_type (arg1))) -- 2.30.2