Use bitpos and type to lookup a gdb.Field object when its name is 'None'.
authorSiva Chandra <sivachandra@chromium.org>
Fri, 27 Dec 2013 20:20:59 +0000 (12:20 -0800)
committerSiva Chandra <sivachandra@chromium.org>
Tue, 14 Jan 2014 01:35:56 +0000 (17:35 -0800)
PR python/15464
PR python/16113
* valops.c (value_struct_elt_bitpos): New function
* py-type.c (convert_field): Set 'name' attribute of a gdb.Field
object to 'None' if the field name is an empty string ("").
* python/py-value.c (valpy_getitem): Use 'bitpos' and 'type'
attribute to look for a field when 'name' is 'None'.
(get_field_type): New function

testsuite/
* gdb.python/py-type.c: Enhance test case.
* gdb.python/py-value-cc.cc: Likewise
* gdb.python/py-type.exp: Add new tests.
* gdb.python/py-value-cc.exp: Likewise

gdb/ChangeLog
gdb/python/py-type.c
gdb/python/py-value.c
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.python/py-type.c
gdb/testsuite/gdb.python/py-type.exp
gdb/testsuite/gdb.python/py-value-cc.cc
gdb/testsuite/gdb.python/py-value-cc.exp
gdb/valops.c
gdb/value.h

index afcce17bf606ecb3c3ba5865a0ab4b75f731d44c..c4e1301a15c99ab875130ab9327b9270b695585c 100644 (file)
@@ -1,3 +1,14 @@
+2014-01-13  Siva Chandra Reddy  <sivachandra@google.com>
+
+       PR python/15464
+       PR python/16113
+       * valops.c (value_struct_elt_bitpos): New function
+       * py-type.c (convert_field): Set 'name' attribute of a gdb.Field
+       object to 'None' if the field name is an empty string ("").
+       * python/py-value.c (valpy_getitem): Use 'bitpos' and 'type'
+       attribute to look for a field when 'name' is 'None'.
+       (get_field_type): New function
+
 2014-01-13  Doug Evans  <dje@google.com>
 
        PR symtab/16426
index 16bb4421eedb1a138320f4cdadc3c6a2bd4d10eb..c904d3af3fee0efc182db95ee3bef86bea412897 100644 (file)
@@ -206,15 +206,22 @@ convert_field (struct type *type, int field)
       Py_DECREF (arg);
     }
 
+  arg = NULL;
   if (TYPE_FIELD_NAME (type, field))
-    arg = PyString_FromString (TYPE_FIELD_NAME (type, field));
-  else
+    {
+      const char *field_name = TYPE_FIELD_NAME (type, field);
+      if (field_name[0] != '\0')
+       {
+         arg = PyString_FromString (TYPE_FIELD_NAME (type, field));
+         if (arg == NULL)
+           goto fail;
+       }
+    }
+  if (arg == NULL)
     {
       arg = Py_None;
       Py_INCREF (arg);
     }
-  if (!arg)
-    goto fail;
   if (PyObject_SetAttrString (result, "name", arg) < 0)
     goto failarg;
   Py_DECREF (arg);
index 4ab782d83c3349b63c9d6b281ca7d146aa3ff3a5..65750a4aba46052bd954634554d693b749a8f0b8 100644 (file)
@@ -563,6 +563,29 @@ get_field_flag (PyObject *field, const char *flag_name)
   return flag_value;
 }
 
+/* Return the "type" attribute of a gdb.Field object.
+   Returns NULL on error, with a Python exception set.  */
+
+static struct type *
+get_field_type (PyObject *field)
+{
+  PyObject *ftype_obj = PyObject_GetAttrString (field, "type");
+  struct type *ftype;
+
+  if (ftype_obj == NULL)
+    return NULL;
+  ftype = type_object_to_type (ftype_obj);
+  Py_DECREF (ftype_obj);
+  if (ftype == NULL)
+    {
+      PyErr_SetString (PyExc_TypeError,
+                      _("'type' attribute of gdb.Field object is not a "
+                        "gdb.Type object."));
+    }
+
+  return ftype;
+}
+
 /* Given string name or a gdb.Field object corresponding to an element inside
    a structure, return its value object.  Returns NULL on error, with a python
    exception set.  */
@@ -572,7 +595,8 @@ valpy_getitem (PyObject *self, PyObject *key)
 {
   value_object *self_value = (value_object *) self;
   char *field = NULL;
-  PyObject *base_class_type_object = NULL;
+  struct type *base_class_type = NULL, *field_type = NULL;
+  long bitpos = -1;
   volatile struct gdb_exception except;
   PyObject *result = NULL;
 
@@ -603,8 +627,8 @@ valpy_getitem (PyObject *self, PyObject *key)
        return NULL;
       else if (is_base_class > 0)
        {
-         base_class_type_object = PyObject_GetAttrString (key, "type");
-         if (base_class_type_object == NULL)
+         base_class_type = get_field_type (key);
+         if (base_class_type == NULL)
            return NULL;
        }
       else
@@ -614,10 +638,40 @@ valpy_getitem (PyObject *self, PyObject *key)
          if (name_obj == NULL)
            return NULL;
 
-         field = python_string_to_host_string (name_obj);
-         Py_DECREF (name_obj);
-         if (field == NULL)
-           return NULL;
+         if (name_obj != Py_None)
+           {
+             field = python_string_to_host_string (name_obj);
+             Py_DECREF (name_obj);
+             if (field == NULL)
+               return NULL;
+           }
+         else
+           {
+             PyObject *bitpos_obj;
+             int valid;
+
+             Py_DECREF (name_obj);
+
+             if (!PyObject_HasAttrString (key, "bitpos"))
+               {
+                 PyErr_SetString (PyExc_AttributeError,
+                                  _("gdb.Field object has no name and no "
+                                     "'bitpos' attribute."));
+
+                 return NULL;
+               }
+             bitpos_obj = PyObject_GetAttrString (key, "bitpos");
+             if (bitpos_obj == NULL)
+               return NULL;
+             valid = gdb_py_int_as_long (bitpos_obj, &bitpos);
+             Py_DECREF (bitpos_obj);
+             if (!valid)
+               return NULL;
+
+             field_type = get_field_type (key);
+             if (field_type == NULL)
+               return NULL;
+           }
        }
     }
 
@@ -629,14 +683,12 @@ valpy_getitem (PyObject *self, PyObject *key)
 
       if (field)
        res_val = value_struct_elt (&tmp, NULL, field, 0, NULL);
-      else if (base_class_type_object != NULL)
+      else if (bitpos >= 0)
+       res_val = value_struct_elt_bitpos (&tmp, bitpos, field_type,
+                                          "struct/class/union");
+      else if (base_class_type != NULL)
        {
-         struct type *base_class_type, *val_type;
-
-         base_class_type = type_object_to_type (base_class_type_object);
-         Py_DECREF (base_class_type_object);
-         if (base_class_type == NULL)
-           error (_("Field type not an instance of gdb.Type."));
+         struct type *val_type;
 
          val_type = check_typedef (value_type (tmp));
          if (TYPE_CODE (val_type) == TYPE_CODE_PTR)
index 904cca726a7f7f2f19701fccd5718dafd1a68b06..d2e011afe02c7dbeeb11cf8b66ebcdd00ed81076 100644 (file)
@@ -1,3 +1,12 @@
+2014-01-13  Siva Chandra Reddy  <sivachandra@google.com>
+
+       PR python/15464
+       PR python/16113
+       * gdb.python/py-type.c: Enhance test case.
+       * gdb.python/py-value-cc.cc: Likewise
+       * gdb.python/py-type.exp: Add new tests.
+       * gdb.python/py-value-cc.exp: Likewise
+
 2014-01-10  Andreas Arnez  <arnez@linux.vnet.ibm.com>
            Pedro Alves <palves@redhat.com>
 
index 7cee383917cb7187db708542ec99e7a9c87e5efa..697e29c26361ea41472e541f3830254a9d19715d 100644 (file)
@@ -21,6 +21,12 @@ struct s
   int b;
 };
 
+struct SS
+{
+  union { int x; char y; };
+  union { int a; char b; };
+};
+
 typedef struct s TS;
 TS ts;
 
@@ -58,6 +64,7 @@ main ()
 {
   int ar[2] = {1,2};
   struct s st;
+  struct SS ss;
 #ifdef __cplusplus
   C c;
   c.c = 1;
@@ -72,6 +79,8 @@ main ()
   st.b = 5;
 
   e = v2;
+
+  ss.x = 100;
   
   return 0;      /* break to inspect struct and array.  */
 }
index 93301d080d493070df456eaf3f2afdf8a5203613..6b61f48f0a120e2e7ab0bc3494602e2423ad9501 100644 (file)
@@ -85,6 +85,15 @@ proc test_fields {lang} {
     gdb_test "python print (fields\[0\].name)" "a" "Check structure field a name"
     gdb_test "python print (fields\[1\].name)" "b" "Check structure field b name"
 
+    # Test that unamed fields have 'None' for name.
+    gdb_py_test_silent_cmd "python ss = gdb.parse_and_eval('ss')" "init ss" 1
+    gdb_py_test_silent_cmd "python ss_fields = ss.type.fields()" \
+      "get fields from ss.type" 1
+    gdb_test "python print len(ss_fields)" "2" "Check length of ss_fields"
+    gdb_test "python print ss_fields\[0\].name is None" "True" \
+      "Check ss_fields\[0\].name"
+    gdb_test "python print ss_fields\[1\].name is None" "True" \
+      "Check ss_fields\[1\].name"
     # Regression test for
     # http://sourceware.org/bugzilla/show_bug.cgi?id=12070.
     gdb_test "python print ('type' in dir(fields\[0\]))" "True" \
index 59f1decb5c9fbaa33babf4130f6b37801285e586..ace957a14660ab06047f81f2f0310e4de7371f65 100644 (file)
@@ -30,8 +30,21 @@ class B : public A {
   char a;
 };
 
+struct X
+{
+  union { int x; char y; };
+  union { int a; char b; };
+};
+
+union UU
+{
+  union { int x; char y; };
+  union { int a; char b; };
+};
+
 typedef B Btd;
 typedef int *int_ptr;
+typedef X Xtd;
 
 int
 func (const A &a)
@@ -57,6 +70,16 @@ func (const A &a)
   U u;
   u.a = 99;
 
+  X x;
+  x.x = 101;
+  x.a = 102;
+
+  UU uu;
+  uu.x = 1000;
+
+  X *x_ptr = &x;
+  Xtd *xtd = &x;
+
   return 0; /* Break here.  */
 }
 
index 1faec5fa1a3dabd0afabeadae430172990e1d30e..e6351f654181cb277552e143ebc8bb171dec4280 100644 (file)
@@ -53,6 +53,14 @@ gdb_test_no_output "python b_ref = gdb.parse_and_eval('b_ref')" "init b_ref"
 gdb_test_no_output "python b_td = gdb.parse_and_eval('b_td')" "init b_td"
 gdb_test_no_output "python u = gdb.parse_and_eval('u')" "init u"
 gdb_test_no_output "python u_fields = u.type.fields()" "init u_fields"
+gdb_test_no_output "python x = gdb.parse_and_eval('x')" "init x"
+gdb_test_no_output "python x_fields = x.type.fields()" "init x_fields"
+gdb_test_no_output "python uu = gdb.parse_and_eval('uu')" "init uu"
+gdb_test_no_output "python uu_fields = uu.type.fields()" "init uu_fields"
+gdb_test_no_output "python x_ptr = gdb.parse_and_eval('x_ptr')" "init x_ptr"
+gdb_test_no_output "python xtd = gdb.parse_and_eval('xtd')" "init xtd"
+
+gdb_test "python print(b\[b_fields\[1\]\])" "97 'a'" "b.a via field"
 
 gdb_test "python print(b\[b_fields\[1\]\])" "97 'a'" "b.a via field"
 gdb_test "python print(b\[b_fields\[0\]\].type)" "A" \
@@ -79,3 +87,15 @@ gdb_test "python print(b_td\[b_fields\[0\]\]\['a'\])" "100" \
 
 gdb_test "python print(u\[u_fields\[0\]\])" "99.*" "u's first field via field"
 gdb_test "python print(u\[u_fields\[1\]\])" "99.*" "u's second field via field"
+
+gdb_test "python print len(x_fields)" "2" "number for fields in u"
+gdb_test "python print x\[x_fields\[0\]\]\['x'\]" "101" "x.x via field"
+gdb_test "python print x\[x_fields\[1\]\]\['a'\]" "102" "x.a via field"
+gdb_test "python print x_ptr\[x_fields\[0\]\]\['x'\]" "101" "x_ptr->x via field"
+gdb_test "python print x_ptr\[x_fields\[1\]\]\['a'\]" "102" "x_ptr->a via field"
+gdb_test "python print xtd\[x_fields\[0\]\]\['x'\]" "101" "xtd->x via field"
+gdb_test "python print xtd\[x_fields\[1\]\]\['a'\]" "102" "xtd->a via field"
+
+gdb_test "python print len(uu_fields)" "2" "number of fields in uu"
+gdb_test "python print uu\[uu_fields\[0\]\]\['x'\]" "1000" "uu.x via field"
+gdb_test "python print uu\[uu_fields\[1\]\]\['a'\]" "1000" "uu.a via field"
index 5382c4942b55b37c3dbb6665d6458859435d387e..deb01cbad88f6e9016b84198ff09d9ab747040bc 100644 (file)
@@ -2246,6 +2246,51 @@ value_struct_elt (struct value **argp, struct value **args,
   return v;
 }
 
+/* Given *ARGP, a value of type structure or union, or a pointer/reference
+   to a structure or union, extract and return its component (field) of
+   type FTYPE at the specified BITPOS.
+   Throw an exception on error.  */
+
+struct value *
+value_struct_elt_bitpos (struct value **argp, int bitpos, struct type *ftype,
+                        const char *err)
+{
+  struct type *t;
+  struct value *v;
+  int i;
+  int nbases;
+
+  *argp = coerce_array (*argp);
+
+  t = check_typedef (value_type (*argp));
+
+  while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
+    {
+      *argp = value_ind (*argp);
+      if (TYPE_CODE (check_typedef (value_type (*argp))) != TYPE_CODE_FUNC)
+       *argp = coerce_array (*argp);
+      t = check_typedef (value_type (*argp));
+    }
+
+  if (TYPE_CODE (t) != TYPE_CODE_STRUCT
+      && TYPE_CODE (t) != TYPE_CODE_UNION)
+    error (_("Attempt to extract a component of a value that is not a %s."),
+          err);
+
+  for (i = TYPE_N_BASECLASSES (t); i < TYPE_NFIELDS (t); i++)
+    {
+      if (!field_is_static (&TYPE_FIELD (t, i))
+         && bitpos == TYPE_FIELD_BITPOS (t, i)
+         && types_equal (ftype, TYPE_FIELD_TYPE (t, i)))
+       return value_primitive_field (*argp, 0, i, t);
+    }
+
+  error (_("No field with matching bitpos and type."));
+
+  /* Never hit.  */
+  return NULL;
+}
+
 /* Search through the methods of an object (and its bases) to find a
    specified method.  Return the pointer to the fn_field list of
    overloaded instances.
index 5924b2f5b21e24f84b539aaffbef374365f1424b..f8466690e0d306bb9904a25fba8f9b7881edcc66 100644 (file)
@@ -670,6 +670,11 @@ extern struct value *value_struct_elt (struct value **argp,
                                       const char *name, int *static_memfuncp,
                                       const char *err);
 
+extern struct value *value_struct_elt_bitpos (struct value **argp,
+                                             int bitpos,
+                                             struct type *field_type,
+                                             const char *err);
+
 extern struct value *value_aggregate_elt (struct type *curtype,
                                          char *name,
                                          struct type *expect_type,