* 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 5b61464039614e41f67524158f5e270b94afea1d..8acf37a5184da30ad8738fd635330f8cab4d07c5 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,10 @@
+2008-05-09  Joel Brobecker  <brobecker@adacore.com>
+
+       * 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  <uweigand@de.ibm.com>
 
        * NEWS: Mention gdbserver bi-arch capability.

diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c
index 8206f943023a3f4b3736e54c8af553cebd795a05..8f710f49f491a6786347eb19ce22973a40bb1026 100644 (file)
--- 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)))