This makes it so that the Ada compiler emits named pointer types in the debug info (DW_TAG_typedef in DWARF) for pointer types declared in the sources. Tested on i586-suse-linux, applied on the mainline. 2011-04-02 Eric Botcazou * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a distinct copy. -- Eric Botcazou