* jv-valprint.c (java_value_print): Look at TYPE_TAG_NAME, not

	TYPE_NAME, when printing a String value.  PR java/1075.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index fc1aa3a..ee6a0bc 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2003-02-20  Tom Tromey  <tromey@redhat.com>
+
+       * jv-valprint.c (java_value_print): Look at TYPE_TAG_NAME, not
+       TYPE_NAME, when printing a String value.  PR java/1075.
+
 2003-02-20  Adam Fedor  <fedor@gnu.org>
 
        * objc-lang.h (find_methods): Remove declaration.

diff --git a/gdb/jv-valprint.c b/gdb/jv-valprint.c
index 1ddfcb5..f25cd09 100644 (file)
--- a/gdb/jv-valprint.c
+++ b/gdb/jv-valprint.c
@@ -199,8 +199,9 @@ java_value_print (struct value *val, struct ui_file *stream, int format,
 
   if (TYPE_CODE (type) == TYPE_CODE_PTR
       && TYPE_TARGET_TYPE (type)
-      && TYPE_NAME (TYPE_TARGET_TYPE (type))
-      && strcmp (TYPE_NAME (TYPE_TARGET_TYPE (type)), "java.lang.String") == 0
+      && TYPE_TAG_NAME (TYPE_TARGET_TYPE (type))
+      && strcmp (TYPE_TAG_NAME (TYPE_TARGET_TYPE (type)),
+                "java.lang.String") == 0
       && (format == 0 || format == 's')
       && address != 0
       && value_as_address (val) != 0)