From: Joel Brobecker Date: Fri, 9 May 2008 23:50:41 +0000 (+0000) Subject: * ada-lang.c (ada_evaluate_subexp) [BINOP_ASSIGN]: Do not force X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=003f3813535065a6b52d36b55443e43a59961238;p=binutils-gdb.git * 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. --- 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)))