* c-typeprint.c (c_print_typedef): Append new type name for typedefs.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 009c16a52bcc93fdc9e139cb7bab1b7bb1862b5d..a644848496dd6ce7ef69c0eef99940ed1aefffb4 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2010-06-25  Pierre Muller  <muller@ics.u-strasbg.fr>
+
+       * c-typeprint.c (c_print_typedef): Append new type name for typedefs.
+
 2010-06-24  Joel Brobecker  <brobecker@adacore.com>
 
        * python/python.c (_initialize_python): Add new "constant"

diff --git a/gdb/c-typeprint.c b/gdb/c-typeprint.c
index d07fb8f5dd66b8315668c3c6aa29669f74b0b742..f7a305cead02c7074877162ea9445190dd5996e2 100644 (file)
--- a/gdb/c-typeprint.c
+++ b/gdb/c-typeprint.c
@@ -107,7 +107,8 @@ c_print_typedef (struct type *type, struct symbol *new_symbol,
   type_print (type, "", stream, 0);
   if (TYPE_NAME ((SYMBOL_TYPE (new_symbol))) == 0
       || strcmp (TYPE_NAME ((SYMBOL_TYPE (new_symbol))),
-                SYMBOL_LINKAGE_NAME (new_symbol)) != 0)
+                SYMBOL_LINKAGE_NAME (new_symbol)) != 0
+      || TYPE_CODE (SYMBOL_TYPE (new_symbol)) == TYPE_CODE_TYPEDEF)
     fprintf_filtered (stream, " %s", SYMBOL_PRINT_NAME (new_symbol));
   fprintf_filtered (stream, ";\n");
 }