2000-10-26 Elena Zannoni <ezannoni@kwikemart.cygnus.com>

* stabsread.c (define_symbol): Update comment.

2000-10-26 Pierre Muller <muller@ics.u-strasbg.fr>

     	* stabsread.c (define_symbol): Set the type_name of the type
	of the new symbol to the symbol name for type symbol, if the
	language is Pascal.

gdb/ChangeLog

@@ -1,3 +1,13 @@
+2000-10-26  Elena Zannoni  <ezannoni@kwikemart.cygnus.com>
+
+	* stabsread.c (define_symbol): Update comment.
+
+2000-10-26 Pierre Muller <muller@ics.u-strasbg.fr>
+
+     	* stabsread.c (define_symbol): Set the type_name of the type
+	of the new symbol to the symbol name for type symbol, if the
+	language is Pascal.
+	
 2000-10-26  Peter Schauer  <pes@regent.e-technik.tu-muenchen.de>
 
 	* arch-utils.c, arch-utils.h (default_convert_from_func_ptr_addr):

gdb/stabsread.c

@@ -1953,6 +1953,27 @@ define_symbol (CORE_ADDR valu, char *string, int desc, int type,
 
 	         Fortunately, this check seems not to be necessary
 	         for anything except pointers or functions.  */
+              /* ezannoni: 2000-10-26. This seems to apply for
+		 versions of gcc older than 2.8. This was the original
+		 problem: with the following code gdb would tell that
+		 the type for name1 is caddr_t, and func is char()
+	         typedef char *caddr_t;
+		 char *name2;
+		 struct x
+		 {
+		 char *name1;
+		 } xx;
+		 char *func()
+		 {
+		 }
+		 main () {}
+		 */
+
+	      /* Pascal accepts names for pointer types. */
+	      if (current_subfile->language == language_pascal)
+		{
+		  TYPE_NAME (SYMBOL_TYPE (sym)) = SYMBOL_NAME (sym);
+          	}
 	    }
 	  else
 	    TYPE_NAME (SYMBOL_TYPE (sym)) = SYMBOL_NAME (sym);