PR pascal/11349.

	* p-valprint.c (pascal_value_print): Always dereference a value with
	type code TYPE_CODE_REF.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 9c3591cd8e5eae792f89b1bd448a60b6ad4ddbdd..e82d0176195a5c127b9299cd4e25d1b13a99f018 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2010-05-03  Pierre Muller  <muller@ics.u-strasbg.fr>
+
+       PR pascal/11349.
+       * p-valprint.c (pascal_value_print): Always dereference a value with
+       type code TYPE_CODE_REF.
+       
 2010-05-03  Pedro Alves  <pedro@codesourcery.com>
 
        * remote.c (remote_notice_signals): New.

diff --git a/gdb/p-valprint.c b/gdb/p-valprint.c
index d38aa421f1df0407167b99c574877b06b48a7036..98908afcb47e38caa3eb28ae9a0e8fda35212bca 100644 (file)
--- a/gdb/p-valprint.c
+++ b/gdb/p-valprint.c
@@ -544,6 +544,9 @@ pascal_value_print (struct value *val, struct ui_file *stream,
                    const struct value_print_options *options)
 {
   struct type *type = value_type (val);
+  struct value_print_options opts = *options;
+
+  opts.deref_ref = 1;
 
   /* If it is a pointer, indicate what it points to.
 
@@ -570,7 +573,7 @@ pascal_value_print (struct value *val, struct ui_file *stream,
          fprintf_filtered (stream, ") ");
        }
     }
-  return common_val_print (val, stream, 0, options, current_language);
+  return common_val_print (val, stream, 0, &opts, current_language);
 }