public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
* RE: [PING 5] [PATCH v3 1/1] gdb: Use a typedef's scoped type name to identify local typedefs
@ 2022-03-01  7:54 Schimpe, Christina
  0 siblings, 0 replies; only message in thread
From: Schimpe, Christina @ 2022-03-01  7:54 UTC (permalink / raw)
  To: gdb-patches

Kindly pinging.

Thanks,
Christina

> -----Original Message-----
> From: Schimpe, Christina
> Sent: Thursday, February 17, 2022 1:48 PM
> To: 'gdb-patches@sourceware.org' <gdb-patches@sourceware.org>
> Subject: RE: [PING 4] [PATCH v3 1/1] gdb: Use a typedef's scoped type name
> to identify local typedefs
> 
> Kindly pinging.
> 
> Thanks,
> Christina
> 
> > -----Original Message-----
> > From: Schimpe, Christina
> > Sent: Wednesday, February 9, 2022 8:41 AM
> > To: 'gdb-patches@sourceware.org' <gdb-patches@sourceware.org>
> > Subject: RE: [PING 3] [PATCH v3 1/1] gdb: Use a typedef's scoped type
> > name to identify local typedefs
> >
> > Ping.
> >
> > > -----Original Message-----
> > > From: Schimpe, Christina
> > > Sent: Wednesday, February 2, 2022 9:51 AM
> > > To: 'gdb-patches@sourceware.org' <gdb-patches@sourceware.org>
> > > Subject: RE: [PING 2] [PATCH v3 1/1] gdb: Use a typedef's scoped
> > > type name to identify local typedefs
> > >
> > > Kindly pinging.
> > > The changes made for V3 of this patch are described here:
> > > https://sourceware.org/pipermail/gdb-patches/2021-
> > > December/184601.html
> > >
> > > Thanks,
> > > Christina
> > >
> > > > -----Original Message-----
> > > > From: Schimpe, Christina
> > > > Sent: Tuesday, January 18, 2022 8:11 PM
> > > > To: gdb-patches@sourceware.org
> > > > Subject: [PING] [PATCH v3 1/1] gdb: Use a typedef's scoped type
> > > > name to identify local typedefs
> > > >
> > > > Kindly pinging for this patch.
> > > >
> > > > Thanks,
> > > > Christina
> > > >
> > > > -----Original Message-----
> > > > From: Schimpe, Christina <christina.schimpe@intel.com>
> > > > Sent: Monday, December 20, 2021 2:15 PM
> > > > To: gdb-patches@sourceware.org
> > > > Cc: Schimpe, Christina <christina.schimpe@intel.com>
> > > > Subject: [PATCH v3 1/1] gdb: Use a typedef's scoped type name to
> > > > identify local typedefs
> > > >
> > > > GDB prints the wrong type for typedefs in case there is another
> > > > typedef available for the same raw type (gdb/16040).  The reason
> > > > is that the current hashmap based substitution mechanism always
> > > > compares the target type of a typedef and not its scoped name.
> > > >
> > > > The original output of GDB for a program like
> > > >
> > > > ~~~~
> > > > namespace ns
> > > > {
> > > >   typedef double scoped_double;
> > > > }
> > > >
> > > > typedef double global_double;
> > > >
> > > > class TypedefHolder
> > > > {
> > > > public:
> > > >   double a;
> > > >   ns::scoped_double b;
> > > >   global_double c;
> > > >
> > > > private:
> > > >   typedef double class_double;
> > > >   class_double d;
> > > >
> > > >   double method1(ns::scoped_double) { return 24.0; }
> > > >   double method2(global_double) { return 24.0; } };
> > > >
> > > > int main()
> > > > {
> > > >   TypedefHolder th;
> > > >   return 0;
> > > > }
> > > > ~~~~
> > > >
> > > > is
> > > > ~~~~
> > > >
> > > > (gdb) b 27
> > > > Breakpoint 1 at 0x1131: file TypedefHolder.cc, line 27.
> > > > (gdb) r
> > > > Starting program: /tmp/typedefholder
> > > >
> > > > Breakpoint 1, main () at TypedefHolder.cc:27
> > > > 27	  return 0;
> > > > (gdb) ptype th
> > > > type = class TypedefHolder {
> > > >   public:
> > > >     class_double a;
> > > >     class_double b;
> > > >     class_double c;
> > > >   private:
> > > >     class_double d;
> > > >
> > > >     class_double method1(class_double);
> > > >     class_double method2(class_double);
> > > >
> > > >     typedef double class_double;
> > > > }
> > > > ~~~~
> > > >
> > > > Basically all attributes of a class which have the raw type "double"
> > > > are substituted by "class_double".
> > > >
> > > > With the patch the output is the following
> > > >
> > > > ~~~~
> > > > type = class TypedefHolder {
> > > >   public:
> > > >     double a;
> > > >     ns::scoped_double b;
> > > >     global_double c;
> > > >   private:
> > > >     class_double d;
> > > >
> > > >     double method1(ns::scoped_double);
> > > >     double method2(global_double);
> > > >
> > > >     typedef double class_double;
> > > > }
> > > > ~~~~
> > > > ---
> > > >  gdb/testsuite/gdb.cp/ptype-flags.cc  | 23 ++++++++
> > > > gdb/testsuite/gdb.cp/ptype-flags.exp | 88
> ++++++++++++++++++++++--
> > --
> > > --
> > > >  gdb/typeprint.c                      |  3 +-
> > > >  3 files changed, 95 insertions(+), 19 deletions(-)
> > > >
> > > > diff --git a/gdb/testsuite/gdb.cp/ptype-flags.cc
> > > > b/gdb/testsuite/gdb.cp/ptype-flags.cc
> > > > index fc92d3950c..564d272e57 100644
> > > > --- a/gdb/testsuite/gdb.cp/ptype-flags.cc
> > > > +++ b/gdb/testsuite/gdb.cp/ptype-flags.cc
> > > > @@ -38,7 +38,30 @@ public:
> > > >    double method(void) { return 23.0; }  };
> > > >
> > > > +namespace ns
> > > > +{
> > > > +  typedef double scoped_double;
> > > > +}
> > > > +
> > > > +typedef double global_double;
> > > > +
> > > > +class TypedefHolder
> > > > +{
> > > > +public:
> > > > +  double a;
> > > > +  ns::scoped_double b;
> > > > +  global_double c;
> > > > +
> > > > +private:
> > > > +  typedef double class_double;
> > > > +  class_double d;
> > > > +
> > > > +  double method1(ns::scoped_double) { return 24.0; }  double
> > > > + method2(global_double) { return 24.0; } };
> > > > +
> > > >  Holder<int> value;
> > > > +TypedefHolder value2;
> > > >
> > > >  int main()
> > > >  {
> > > > diff --git a/gdb/testsuite/gdb.cp/ptype-flags.exp
> > > > b/gdb/testsuite/gdb.cp/ptype-flags.exp
> > > > index c368415793..9734a70ee2 100644
> > > > --- a/gdb/testsuite/gdb.cp/ptype-flags.exp
> > > > +++ b/gdb/testsuite/gdb.cp/ptype-flags.exp
> > > > @@ -33,7 +33,9 @@ if ![runto_main] then {  gdb_test_no_output "set
> > > > language c++" ""
> > > >  gdb_test_no_output "set width 0" ""
> > > >
> > > > -proc do_check {name {flags ""} {show_typedefs 1} {show_methods 1}
> > > > {raw 0}} {
> > > > +proc do_check_holder {name {flags ""} {show_typedefs 1}
> > > {show_methods
> > > > 1}
> > > > +		      {raw 0}} {
> > > > +
> > > >      set contents {
> > > >  	{ base "public Base<T>" }
> > > >  	{ field public "Simple<T> t;" }
> > > > @@ -62,24 +64,76 @@ proc do_check {name {flags ""} {show_typedefs
> > > > 1} {show_methods 1} {raw 0}} {
> > > >  	"" {} $flags
> > > >  }
> > > >
> > > > -do_check "basic test"
> > > > -do_check "no methods" "/m" 1 0
> > > > -do_check "no typedefs" "/t" 0 1
> > > > -do_check "no methods or typedefs" "/mt" 0 0
> > > > +proc do_check_typedef_holder {name {flags ""} {show_typedefs 1}
> > > > {show_methods 1}
> > > > +			      {raw 0}} {
> > > > +
> > > > +    set contents {
> > > > +	{ field public "double a;" }
> > > > +	{ field public "ns::scoped_double b;" }
> > > > +	{ field public "global_double c;" }
> > > > +    }
> > > > +
> > > > +    if {$show_typedefs} {
> > > > +	lappend contents { typedef private "typedef double class_double;" }
> > > > +    }
> > > > +
> > > > +    if {$show_methods} {
> > > > +	lappend contents { method private "double
> > > > method1(ns::scoped_double);" }
> > > > +	lappend contents { method private "double
> > > > method2(global_double);" }
> > > > +    }
> > > > +
> > > > +    if {$raw} {
> > > > +	lappend contents { field private "TypedefHolder::class_double d;" }
> > > > +    } else {
> > > > +	lappend contents { field private "class_double d;" }
> > > > +    }
> > > > +
> > > > +    cp_test_ptype_class value2 $name "class" "TypedefHolder"
> > > > + $contents
> > \
> > > > +	"" {} $flags
> > > > +}
> > > >
> > > > -do_check "raw" "/r" 1 1 1
> > > > -do_check "raw no methods" "/rm" 1 0 1 -do_check "raw no typedefs"
> > > > "/rt" 0 1 1 -do_check "raw no methods or typedefs" "/rmt" 0 0 1
> > > > +do_check_holder "basic test"
> > > > +do_check_holder "no methods" "/m" 1 0 do_check_holder "no
> > typedefs"
> > > > +"/t" 0 1 do_check_holder "no methods or typedefs" "/mt" 0 0
> > > > +do_check_typedef_holder "typdefs class: basic test"
> > > > +do_check_typedef_holder "typdefs class: no methods" "/m" 1 0
> > > > +do_check_typedef_holder "typdefs class: no typedefs" "/t" 0 1 0
> > > > +do_check_typedef_holder "typdefs class:no methods or typedefs"
> > "/mt"
> > > > +0
> > > > +0
> > > > +
> > > > +do_check_holder "raw" "/r" 1 1 1
> > > > +do_check_holder "raw no methods" "/rm" 1 0 1 do_check_holder
> "raw
> > > > +no typedefs" "/rt" 0 1 1 do_check_holder "raw no methods or
> typedefs"
> > > > +"/rmt" 0 0 1 do_check_typedef_holder "typedef class: raw" "/r" 1
> > > > +1
> > > > +1 do_check_typedef_holder "typedef class: raw no methods" "/rm" 1
> > > > +0
> > > > +1 do_check_typedef_holder "typedef class: raw no typedefs" "/rt"
> > > > +0
> > > > +1 1 do_check_typedef_holder "typedef class: raw no methods or
> > typedefs"
> > > > +"/rmt" 0 0 1
> > > >
> > > >  gdb_test_no_output "set print type methods off"
> > > > -do_check "basic test, default methods off" "" 1 0 -do_check
> > > > "methods, default methods off" "/M" 1 1 -do_check "no typedefs,
> > > > default methods
> > > off"
> > > > "/t" 0 0 -do_check "methods, no typedefs, default methods off" "/Mt"
> > > > 0
> > > > 1
> > > > +do_check_holder "basic test, default methods off" "" 1 0
> > > > +do_check_holder "methods, default methods off" "/M" 1 1
> > > > do_check_holder
> > > > +"no typedefs, default methods off" "/t" 0 0 do_check_holder
> > > > +"methods, no typedefs, default methods off" "/Mt" 0 1
> > do_check_typedef_holder \
> > > > +    "typedef class: basic test, default methods off" "" 1 0
> > > > +do_check_typedef_holder \
> > > > +    "typedef class: methods, default methods off" "/M" 1 1
> > > > +do_check_typedef_holder \
> > > > +    "typedef class: no typedefs, default methods off" "/t" 0 0
> > > > +do_check_typedef_holder \
> > > > +    "typedef class: methods, no typedefs, default methods off" "/Mt"
> > > > +0
> > > > +1
> > > >
> > > >  gdb_test_no_output "set print type typedefs off"
> > > > -do_check "basic test, default methods+typedefs off" "" 0 0
> > > > -do_check "methods, default methods+typedefs off" "/M" 0 1
> > > > -do_check "typedefs, default methods+typedefs off" "/T" 1 0
> > > > -do_check "methods typedefs, default methods+typedefs off" "/MT" 1
> > > > 1
> > > > +do_check_holder "basic test, default methods+typedefs off" "" 0 0
> > > > +do_check_holder "methods, default methods+typedefs off" "/M" 0 1
> > > > +do_check_holder "typedefs, default methods+typedefs off" "/T" 1 0
> > > > +do_check_holder "methods typedefs, default methods+typedefs off"
> > > > "/MT"
> > > > +1 1 do_check_typedef_holder \
> > > > +    "typedef class: basic test, default methods+typedefs off" ""
> > > > +0
> > > > +0 do_check_typedef_holder \
> > > > +    "typedef class: methods, default methods+typedefs off" "/M" 0
> > > > +1 do_check_typedef_holder \
> > > > +    "typedef class: typedefs, default methods+typedefs off" "/T"
> > > > +1
> > > > +0 do_check_typedef_holder \
> > > > +    "typedef class: methods typedefs, default methods+typedefs off"
> > > > +"/MT" 1 1
> > > > diff --git a/gdb/typeprint.c b/gdb/typeprint.c index
> > > > 1312111b60..98f6af4104
> > > > 100644
> > > > --- a/gdb/typeprint.c
> > > > +++ b/gdb/typeprint.c
> > > > @@ -201,9 +201,8 @@ static hashval_t  hash_typedef_field (const
> > > > void
> > > > *p)  {
> > > >    const struct decl_field *tf = (const struct decl_field *) p;
> > > > -  struct type *t = check_typedef (tf->type);
> > > >
> > > > -  return htab_hash_string (TYPE_SAFE_NAME (t));
> > > > +  return htab_hash_string (TYPE_SAFE_NAME (tf->type));
> > > >  }
> > > >
> > > >  /* An equality function for a typedef field.  */
> > > > --
> > > > 2.25.1

Intel Deutschland GmbH
Registered Address: Am Campeon 10, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de <http://www.intel.de>
Managing Directors: Christin Eisenschmid, Sharon Heck, Tiffany Doon Silva  
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-03-01  7:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-01  7:54 [PING 5] [PATCH v3 1/1] gdb: Use a typedef's scoped type name to identify local typedefs Schimpe, Christina

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).