Implement Ada operator overloading
[deliverable/binutils-gdb.git] / gdb / valops.c
index aba4c70d45e2c437885cc6498231f98f44afa91d..fec821ad932c4d98d2a0e716a79439b32e48fbba 100644 (file)
@@ -1,6 +1,6 @@
 /* Perform non-arithmetic operations on values, for GDB.
 
-   Copyright (C) 1986-2020 Free Software Foundation, Inc.
+   Copyright (C) 1986-2021 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -155,7 +155,7 @@ find_function_in_inferior (const char *name, struct objfile **objf_p)
        }
       else
        {
-         if (!target_has_execution)
+         if (!target_has_execution ())
            error (_("evaluation of this expression "
                     "requires the target program to be active"));
          else
@@ -182,7 +182,7 @@ value_allocate_space_in_inferior (int len)
   val = call_function_by_hand (val, NULL, blocklen);
   if (value_logical_not (val))
     {
-      if (!target_has_execution)
+      if (!target_has_execution ())
        error (_("No memory available to program now: "
                 "you need to start the target first"));
       else
@@ -331,6 +331,75 @@ value_cast_pointers (struct type *type, struct value *arg2,
   return arg2;
 }
 
+/* See value.h.  */
+
+gdb_mpq
+value_to_gdb_mpq (struct value *value)
+{
+  struct type *type = check_typedef (value_type (value));
+
+  gdb_mpq result;
+  if (is_floating_type (type))
+    {
+      double d = target_float_to_host_double (value_contents (value),
+                                             type);
+      mpq_set_d (result.val, d);
+    }
+  else
+    {
+      gdb_assert (is_integral_type (type)
+                 || is_fixed_point_type (type));
+
+      gdb_mpz vz;
+      vz.read (gdb::make_array_view (value_contents (value),
+                                    TYPE_LENGTH (type)),
+              type_byte_order (type), type->is_unsigned ());
+      mpq_set_z (result.val, vz.val);
+
+      if (is_fixed_point_type (type))
+       mpq_mul (result.val, result.val,
+                type->fixed_point_scaling_factor ().val);
+    }
+
+  return result;
+}
+
+/* Assuming that TO_TYPE is a fixed point type, return a value
+   corresponding to the cast of FROM_VAL to that type.  */
+
+static struct value *
+value_cast_to_fixed_point (struct type *to_type, struct value *from_val)
+{
+  struct type *from_type = value_type (from_val);
+
+  if (from_type == to_type)
+    return from_val;
+
+  if (!is_floating_type (from_type)
+      && !is_integral_type (from_type)
+      && !is_fixed_point_type (from_type))
+    error (_("Invalid conversion from type %s to fixed point type %s"),
+          from_type->name (), to_type->name ());
+
+  gdb_mpq vq = value_to_gdb_mpq (from_val);
+
+  /* Divide that value by the scaling factor to obtain the unscaled
+     value, first in rational form, and then in integer form.  */
+
+  mpq_div (vq.val, vq.val, to_type->fixed_point_scaling_factor ().val);
+  gdb_mpz unscaled = vq.get_rounded ();
+
+  /* Finally, create the result value, and pack the unscaled value
+     in it.  */
+  struct value *result = allocate_value (to_type);
+  unscaled.write (gdb::make_array_view (value_contents_raw (result),
+                                       TYPE_LENGTH (to_type)),
+                 type_byte_order (to_type),
+                 to_type->is_unsigned ());
+
+  return result;
+}
+
 /* Cast value ARG2 to type TYPE and return as a value.
    More general than a C cast: accepts any two types of the same length,
    and if ARG2 is an lvalue it can be cast into anything at all.  */
@@ -349,11 +418,14 @@ value_cast (struct type *type, struct value *arg2)
   if (value_type (arg2) == type)
     return arg2;
 
+  if (is_fixed_point_type (type))
+    return value_cast_to_fixed_point (type, arg2);
+
   /* Check if we are casting struct reference to struct reference.  */
   if (TYPE_IS_REFERENCE (check_typedef (type)))
     {
       /* We dereference type; then we recurse and finally
-         we generate value of the given reference.  Nothing wrong with 
+        we generate value of the given reference.  Nothing wrong with 
         that.  */
       struct type *t1 = check_typedef (type);
       struct type *dereftype = check_typedef (TYPE_TARGET_TYPE (t1));
@@ -394,7 +466,7 @@ value_cast (struct type *type, struct value *arg2)
          int val_length = TYPE_LENGTH (type2);
          LONGEST low_bound, high_bound, new_length;
 
-         if (get_discrete_bounds (range_type, &low_bound, &high_bound) < 0)
+         if (!get_discrete_bounds (range_type, &low_bound, &high_bound))
            low_bound = 0, high_bound = 0;
          new_length = val_length / element_length;
          if (val_length % element_length != 0)
@@ -414,9 +486,9 @@ value_cast (struct type *type, struct value *arg2)
        }
     }
 
-  if (current_language->c_style_arrays
+  if (current_language->c_style_arrays_p ()
       && type2->code () == TYPE_CODE_ARRAY
-      && !TYPE_VECTOR (type2))
+      && !type2->is_vector ())
     arg2 = value_coerce_array (arg2);
 
   if (type2->code () == TYPE_CODE_FUNC)
@@ -439,7 +511,8 @@ value_cast (struct type *type, struct value *arg2)
 
   scalar = (code2 == TYPE_CODE_INT || code2 == TYPE_CODE_FLT
            || code2 == TYPE_CODE_DECFLOAT || code2 == TYPE_CODE_ENUM
-           || code2 == TYPE_CODE_RANGE);
+           || code2 == TYPE_CODE_RANGE
+           || is_fixed_point_type (type2));
 
   if ((code1 == TYPE_CODE_STRUCT || code1 == TYPE_CODE_UNION)
       && (code2 == TYPE_CODE_STRUCT || code2 == TYPE_CODE_UNION)
@@ -460,6 +533,20 @@ value_cast (struct type *type, struct value *arg2)
                                value_contents_raw (v), type);
          return v;
        }
+      else if (is_fixed_point_type (type2))
+       {
+         gdb_mpq fp_val;
+
+         fp_val.read_fixed_point
+           (gdb::make_array_view (value_contents (arg2), TYPE_LENGTH (type2)),
+            type_byte_order (type2), type2->is_unsigned (),
+            type2->fixed_point_scaling_factor ());
+
+         struct value *v = allocate_value (to_type);
+         target_float_from_host_double (value_contents_raw (v),
+                                        to_type, mpq_get_d (fp_val.val));
+         return v;
+       }
 
       /* The only option left is an integral type.  */
       if (type2->is_unsigned ())
@@ -475,17 +562,17 @@ value_cast (struct type *type, struct value *arg2)
       LONGEST longest;
 
       /* When we cast pointers to integers, we mustn't use
-         gdbarch_pointer_to_address to find the address the pointer
-         represents, as value_as_long would.  GDB should evaluate
-         expressions just as the compiler would --- and the compiler
-         sees a cast as a simple reinterpretation of the pointer's
-         bits.  */
+        gdbarch_pointer_to_address to find the address the pointer
+        represents, as value_as_long would.  GDB should evaluate
+        expressions just as the compiler would --- and the compiler
+        sees a cast as a simple reinterpretation of the pointer's
+        bits.  */
       if (code2 == TYPE_CODE_PTR)
-        longest = extract_unsigned_integer
+       longest = extract_unsigned_integer
                    (value_contents (arg2), TYPE_LENGTH (type2),
                     type_byte_order (type2));
       else
-        longest = value_as_long (arg2);
+       longest = value_as_long (arg2);
       return value_from_longest (to_type, convert_to_boolean ?
                                 (LONGEST) (longest ? 1 : 0) : longest);
     }
@@ -503,7 +590,7 @@ value_cast (struct type *type, struct value *arg2)
         otherwise occur when dealing with a target having two byte
         pointers and four byte addresses.  */
 
-      int addr_bit = gdbarch_addr_bit (get_type_arch (type2));
+      int addr_bit = gdbarch_addr_bit (type2->arch ());
       LONGEST longest = value_as_long (arg2);
 
       if (addr_bit < sizeof (LONGEST) * HOST_CHAR_BIT)
@@ -529,11 +616,11 @@ value_cast (struct type *type, struct value *arg2)
         minus one, instead of biasing the normal case.  */
       return value_from_longest (to_type, -1);
     }
-  else if (code1 == TYPE_CODE_ARRAY && TYPE_VECTOR (type)
-          && code2 == TYPE_CODE_ARRAY && TYPE_VECTOR (type2)
+  else if (code1 == TYPE_CODE_ARRAY && type->is_vector ()
+          && code2 == TYPE_CODE_ARRAY && type2->is_vector ()
           && TYPE_LENGTH (type) != TYPE_LENGTH (type2))
     error (_("Cannot convert between vector values of different sizes"));
-  else if (code1 == TYPE_CODE_ARRAY && TYPE_VECTOR (type) && scalar
+  else if (code1 == TYPE_CODE_ARRAY && type->is_vector () && scalar
           && TYPE_LENGTH (type) != TYPE_LENGTH (type2))
     error (_("can only cast scalar to vector of same size"));
   else if (code1 == TYPE_CODE_VOID)
@@ -611,7 +698,7 @@ value_reinterpret_cast (struct type *type, struct value *arg)
 
   if (is_ref)
     result = value_cast (type, value_ref (value_ind (result),
-                                          type->code ()));
+                                         type->code ()));
 
   return result;
 }
@@ -854,7 +941,7 @@ value_one (struct type *type)
     {
       val = value_from_longest (type, (LONGEST) 1);
     }
-  else if (type1->code () == TYPE_CODE_ARRAY && TYPE_VECTOR (type1))
+  else if (type1->code () == TYPE_CODE_ARRAY && type1->is_vector ())
     {
       struct type *eltype = check_typedef (TYPE_TARGET_TYPE (type1));
       int i;
@@ -1013,7 +1100,7 @@ value_assign (struct value *toval, struct value *fromval)
     {
     case lval_internalvar:
       set_internalvar (VALUE_INTERNALVAR (toval), fromval);
-      return value_of_internalvar (get_type_arch (type),
+      return value_of_internalvar (type->arch (),
                                   VALUE_INTERNALVAR (toval));
 
     case lval_internalvar_component:
@@ -1045,7 +1132,7 @@ value_assign (struct value *toval, struct value *fromval)
        const gdb_byte *dest_buffer;
        CORE_ADDR changed_addr;
        int changed_len;
-        gdb_byte buffer[sizeof (LONGEST)];
+       gdb_byte buffer[sizeof (LONGEST)];
 
        if (value_bitsize (toval))
          {
@@ -1113,7 +1200,7 @@ value_assign (struct value *toval, struct value *fromval)
          {
            struct value *parent = value_parent (toval);
            LONGEST offset = value_offset (parent) + value_offset (toval);
-           int changed_len;
+           size_t changed_len;
            gdb_byte buffer[sizeof (LONGEST)];
            int optim, unavail;
 
@@ -1122,13 +1209,13 @@ value_assign (struct value *toval, struct value *fromval)
                           + HOST_CHAR_BIT - 1)
                          / HOST_CHAR_BIT;
 
-           if (changed_len > (int) sizeof (LONGEST))
+           if (changed_len > sizeof (LONGEST))
              error (_("Can't handle bitfields which "
                       "don't fit in a %d bit word."),
                     (int) sizeof (LONGEST) * HOST_CHAR_BIT);
 
            if (!get_frame_register_bytes (frame, value_reg, offset,
-                                          changed_len, buffer,
+                                          {buffer, changed_len},
                                           &optim, &unavail))
              {
                if (optim)
@@ -1143,7 +1230,7 @@ value_assign (struct value *toval, struct value *fromval)
                          value_bitpos (toval), value_bitsize (toval));
 
            put_frame_register_bytes (frame, value_reg, offset,
-                                     changed_len, buffer);
+                                     {buffer, changed_len});
          }
        else
          {
@@ -1159,10 +1246,12 @@ value_assign (struct value *toval, struct value *fromval)
              }
            else
              {
+               gdb::array_view<const gdb_byte> contents
+                 = gdb::make_array_view (value_contents (fromval),
+                                         TYPE_LENGTH (type));
                put_frame_register_bytes (frame, value_reg,
                                          value_offset (toval),
-                                         TYPE_LENGTH (type),
-                                         value_contents (fromval));
+                                         contents);
              }
          }
 
@@ -1258,7 +1347,7 @@ value_assign (struct value *toval, struct value *fromval)
   return val;
 }
 
-/* Extend a value VAL to COUNT repetitions of its type.  */
+/* Extend a value ARG1 to COUNT repetitions of its type.  */
 
 struct value *
 value_repeat (struct value *arg1, int count)
@@ -1361,7 +1450,7 @@ value_must_coerce_to_target (struct value *val)
   switch (valtype->code ())
     {
     case TYPE_CODE_ARRAY:
-      return TYPE_VECTOR (valtype) ? 0 : 1;
+      return valtype->is_vector () ? 0 : 1;
     case TYPE_CODE_STRING:
       return true;
     default:
@@ -1555,7 +1644,7 @@ value_ind (struct value *arg1)
       struct type *enc_type;
 
       /* We may be pointing to something embedded in a larger object.
-         Get the real type of the enclosing object.  */
+        Get the real type of the enclosing object.  */
       enc_type = check_typedef (value_enclosing_type (arg1));
       enc_type = TYPE_TARGET_TYPE (enc_type);
 
@@ -1622,7 +1711,7 @@ value_array (int lowbound, int highbound, struct value **elemvec)
   arraytype = lookup_array_range_type (value_enclosing_type (elemvec[0]),
                                       lowbound, highbound);
 
-  if (!current_language->c_style_arrays)
+  if (!current_language->c_style_arrays_p ())
     {
       val = allocate_value (arraytype);
       for (idx = 0; idx < nelem; idx++)
@@ -1644,7 +1733,7 @@ struct value *
 value_cstring (const char *ptr, ssize_t len, struct type *char_type)
 {
   struct value *val;
-  int lowbound = current_language->string_lower_bound;
+  int lowbound = current_language->string_lower_bound ();
   ssize_t highbound = len / TYPE_LENGTH (char_type);
   struct type *stringtype
     = lookup_array_range_type (char_type, lowbound, highbound + lowbound - 1);
@@ -1667,7 +1756,7 @@ struct value *
 value_string (const char *ptr, ssize_t len, struct type *char_type)
 {
   struct value *val;
-  int lowbound = current_language->string_lower_bound;
+  int lowbound = current_language->string_lower_bound ();
   ssize_t highbound = len / TYPE_LENGTH (char_type);
   struct type *stringtype
     = lookup_string_range_type (char_type, lowbound, highbound + lowbound - 1);
@@ -1756,8 +1845,8 @@ typecmp (int staticp, int varargs, int nargs,
         ARM.  */
 
       /* We should be doing much hairier argument matching (see
-         section 13.2 of the ARM), but as a quick kludge, just check
-         for the same type code.  */
+        section 13.2 of the ARM), but as a quick kludge, just check
+        for the same type code.  */
       if (t1[i].type ()->code () != value_type (t2[i])->code ())
        return i + 1;
     }
@@ -1766,54 +1855,132 @@ typecmp (int staticp, int varargs, int nargs,
   return i + 1;
 }
 
-/* Helper class for do_search_struct_field that updates *RESULT_PTR
-   and *LAST_BOFFSET, and possibly throws an exception if the field
-   search has yielded ambiguous results.  */
+/* Helper class for search_struct_field that keeps track of found
+   results and possibly throws an exception if the search yields
+   ambiguous results.  See search_struct_field for description of
+   LOOKING_FOR_BASECLASS.  */
 
-static void
-update_search_result (struct value **result_ptr, struct value *v,
-                     LONGEST *last_boffset, LONGEST boffset,
-                     const char *name, struct type *type)
+struct struct_field_searcher
+{
+  /* A found field.  */
+  struct found_field
+  {
+    /* Path to the structure where the field was found.  */
+    std::vector<struct type *> path;
+
+    /* The field found.  */
+    struct value *field_value;
+  };
+
+  /* See corresponding fields for description of parameters.  */
+  struct_field_searcher (const char *name,
+                        struct type *outermost_type,
+                        bool looking_for_baseclass)
+    : m_name (name),
+      m_looking_for_baseclass (looking_for_baseclass),
+      m_outermost_type (outermost_type)
+  {
+  }
+
+  /* The search entry point.  If LOOKING_FOR_BASECLASS is true and the
+     base class search yields ambiguous results, this throws an
+     exception.  If LOOKING_FOR_BASECLASS is false, the found fields
+     are accumulated and the caller (search_struct_field) takes care
+     of throwing an error if the field search yields ambiguous
+     results.  The latter is done that way so that the error message
+     can include a list of all the found candidates.  */
+  void search (struct value *arg, LONGEST offset, struct type *type);
+
+  const std::vector<found_field> &fields ()
+  {
+    return m_fields;
+  }
+
+  struct value *baseclass ()
+  {
+    return m_baseclass;
+  }
+
+private:
+  /* Update results to include V, a found field/baseclass.  */
+  void update_result (struct value *v, LONGEST boffset);
+
+  /* The name of the field/baseclass we're searching for.  */
+  const char *m_name;
+
+  /* Whether we're looking for a baseclass, or a field.  */
+  const bool m_looking_for_baseclass;
+
+  /* The offset of the baseclass containing the field/baseclass we
+     last recorded.  */
+  LONGEST m_last_boffset = 0;
+
+  /* If looking for a baseclass, then the result is stored here.  */
+  struct value *m_baseclass = nullptr;
+
+  /* When looking for fields, the found candidates are stored
+     here.  */
+  std::vector<found_field> m_fields;
+
+  /* The type of the initial type passed to search_struct_field; this
+     is used for error reporting when the lookup is ambiguous.  */
+  struct type *m_outermost_type;
+
+  /* The full path to the struct being inspected.  E.g. for field 'x'
+     defined in class B inherited by class A, we have A and B pushed
+     on the path.  */
+  std::vector <struct type *> m_struct_path;
+};
+
+void
+struct_field_searcher::update_result (struct value *v, LONGEST boffset)
 {
   if (v != NULL)
     {
-      if (*result_ptr != NULL
-         /* The result is not ambiguous if all the classes that are
-            found occupy the same space.  */
-         && *last_boffset != boffset)
-       error (_("base class '%s' is ambiguous in type '%s'"),
-              name, TYPE_SAFE_NAME (type));
-      *result_ptr = v;
-      *last_boffset = boffset;
+      if (m_looking_for_baseclass)
+       {
+         if (m_baseclass != nullptr
+             /* The result is not ambiguous if all the classes that are
+                found occupy the same space.  */
+             && m_last_boffset != boffset)
+           error (_("base class '%s' is ambiguous in type '%s'"),
+                  m_name, TYPE_SAFE_NAME (m_outermost_type));
+
+         m_baseclass = v;
+         m_last_boffset = boffset;
+       }
+      else
+       {
+         /* The field is not ambiguous if it occupies the same
+            space.  */
+         if (m_fields.empty () || m_last_boffset != boffset)
+           m_fields.push_back ({m_struct_path, v});
+       }
     }
 }
 
 /* A helper for search_struct_field.  This does all the work; most
-   arguments are as passed to search_struct_field.  The result is
-   stored in *RESULT_PTR, which must be initialized to NULL.
-   OUTERMOST_TYPE is the type of the initial type passed to
-   search_struct_field; this is used for error reporting when the
-   lookup is ambiguous.  */
+   arguments are as passed to search_struct_field.  */
 
-static void
-do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
-                       struct type *type, int looking_for_baseclass,
-                       struct value **result_ptr,
-                       LONGEST *last_boffset,
-                       struct type *outermost_type)
+void
+struct_field_searcher::search (struct value *arg1, LONGEST offset,
+                              struct type *type)
 {
   int i;
   int nbases;
 
+  m_struct_path.push_back (type);
+  SCOPE_EXIT { m_struct_path.pop_back (); };
+
   type = check_typedef (type);
   nbases = TYPE_N_BASECLASSES (type);
 
-  if (!looking_for_baseclass)
+  if (!m_looking_for_baseclass)
     for (i = type->num_fields () - 1; i >= nbases; i--)
       {
        const char *t_field_name = TYPE_FIELD_NAME (type, i);
 
-       if (t_field_name && (strcmp_iw (t_field_name, name) == 0))
+       if (t_field_name && (strcmp_iw (t_field_name, m_name) == 0))
          {
            struct value *v;
 
@@ -1821,7 +1988,8 @@ do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
              v = value_static_field (type, i);
            else
              v = value_primitive_field (arg1, offset, i, type);
-           *result_ptr = v;
+
+           update_result (v, offset);
            return;
          }
 
@@ -1845,7 +2013,6 @@ do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
                   represented as a struct, with a member for each
                   <variant field>.  */
 
-               struct value *v = NULL;
                LONGEST new_offset = offset;
 
                /* This is pretty gross.  In G++, the offset in an
@@ -1859,16 +2026,7 @@ do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
                        && TYPE_FIELD_BITPOS (field_type, 0) == 0))
                  new_offset += TYPE_FIELD_BITPOS (type, i) / 8;
 
-               do_search_struct_field (name, arg1, new_offset, 
-                                       field_type,
-                                       looking_for_baseclass, &v,
-                                       last_boffset,
-                                       outermost_type);
-               if (v)
-                 {
-                   *result_ptr = v;
-                   return;
-                 }
+               search (arg1, new_offset, field_type);
              }
          }
       }
@@ -1878,12 +2036,12 @@ do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
       struct value *v = NULL;
       struct type *basetype = check_typedef (TYPE_BASECLASS (type, i));
       /* If we are looking for baseclasses, this is what we get when
-         we hit them.  But it could happen that the base part's member
-         name is not yet filled in.  */
-      int found_baseclass = (looking_for_baseclass
+        we hit them.  But it could happen that the base part's member
+        name is not yet filled in.  */
+      int found_baseclass = (m_looking_for_baseclass
                             && TYPE_BASECLASS_NAME (type, i) != NULL
-                            && (strcmp_iw (name, 
-                                           TYPE_BASECLASS_NAME (type, 
+                            && (strcmp_iw (m_name,
+                                           TYPE_BASECLASS_NAME (type,
                                                                 i)) == 0));
       LONGEST boffset = value_embedded_offset (arg1) + offset;
 
@@ -1924,28 +2082,17 @@ do_search_struct_field (const char *name, struct value *arg1, LONGEST offset,
          if (found_baseclass)
            v = v2;
          else
-           {
-             do_search_struct_field (name, v2, 0,
-                                     TYPE_BASECLASS (type, i),
-                                     looking_for_baseclass,
-                                     result_ptr, last_boffset,
-                                     outermost_type);
-           }
+           search (v2, 0, TYPE_BASECLASS (type, i));
        }
       else if (found_baseclass)
        v = value_primitive_field (arg1, offset, i, type);
       else
        {
-         do_search_struct_field (name, arg1,
-                                 offset + TYPE_BASECLASS_BITPOS (type, 
-                                                                 i) / 8,
-                                 basetype, looking_for_baseclass,
-                                 result_ptr, last_boffset,
-                                 outermost_type);
+         search (arg1, offset + TYPE_BASECLASS_BITPOS (type, i) / 8,
+                 basetype);
        }
 
-      update_search_result (result_ptr, v, last_boffset,
-                           boffset, name, outermost_type);
+      update_result (v, boffset);
     }
 }
 
@@ -1960,12 +2107,55 @@ static struct value *
 search_struct_field (const char *name, struct value *arg1,
                     struct type *type, int looking_for_baseclass)
 {
-  struct value *result = NULL;
-  LONGEST boffset = 0;
+  struct_field_searcher searcher (name, type, looking_for_baseclass);
 
-  do_search_struct_field (name, arg1, 0, type, looking_for_baseclass,
-                         &result, &boffset, type);
-  return result;
+  searcher.search (arg1, 0, type);
+
+  if (!looking_for_baseclass)
+    {
+      const auto &fields = searcher.fields ();
+
+      if (fields.empty ())
+       return nullptr;
+      else if (fields.size () == 1)
+       return fields[0].field_value;
+      else
+       {
+         std::string candidates;
+
+         for (auto &&candidate : fields)
+           {
+             gdb_assert (!candidate.path.empty ());
+
+             struct type *field_type = value_type (candidate.field_value);
+             struct type *struct_type = candidate.path.back ();
+
+             std::string path;
+             bool first = true;
+             for (struct type *t : candidate.path)
+               {
+                 if (first)
+                   first = false;
+                 else
+                   path += " -> ";
+                 path += t->name ();
+               }
+
+             candidates += string_printf ("\n  '%s %s::%s' (%s)",
+                                          TYPE_SAFE_NAME (field_type),
+                                          TYPE_SAFE_NAME (struct_type),
+                                          name,
+                                          path.c_str ());
+           }
+
+         error (_("Request for member '%s' is ambiguous in type '%s'."
+                  " Candidates are:%s"),
+                name, TYPE_SAFE_NAME (type),
+                candidates.c_str ());
+       }
+    }
+  else
+    return searcher.baseclass ();
 }
 
 /* Helper function used by value_struct_elt to recurse through
@@ -2146,13 +2336,13 @@ value_struct_elt (struct value **argp, struct value **args,
       /* if there are no arguments ...do this...  */
 
       /* Try as a field first, because if we succeed, there is less
-         work to be done.  */
+        work to be done.  */
       v = search_struct_field (name, *argp, t, 0);
       if (v)
        return v;
 
       /* C++: If it was not found as a data field, then try to
-         return it as a pointer to a method.  */
+        return it as a pointer to a method.  */
       v = search_struct_method (name, argp, args, 0, 
                                static_memfuncp, t);
 
@@ -2179,8 +2369,8 @@ value_struct_elt (struct value **argp, struct value **args,
   else if (v == 0)
     {
       /* See if user tried to invoke data as function.  If so, hand it
-         back.  If it's not callable (i.e., a pointer to function),
-         gdb should give an error.  */
+        back.  If it's not callable (i.e., a pointer to function),
+        gdb should give an error.  */
       v = search_struct_field (name, *argp, t, 0);
       /* If we found an ordinary field, then it is not a method call.
         So, treat it as if it were a static member function.  */
@@ -2190,7 +2380,7 @@ value_struct_elt (struct value **argp, struct value **args,
 
   if (!v)
     throw_error (NOT_FOUND_ERROR,
-                 _("Structure has no component named %s."), name);
+                _("Structure has no component named %s."), name);
   return v;
 }
 
@@ -2502,7 +2692,7 @@ find_overload_match (gdb::array_view<value *> args,
       value_find_oload_method_list (&temp, name, 0, &methods,
                                    &xmethods, &basetype, &boffset);
       /* If this is a method only search, and no methods were found
-         the search has failed.  */
+        the search has failed.  */
       if (method == METHOD && methods.empty () && xmethods.empty ())
        error (_("Couldn't find method %s%s%s"),
               obj_type_name,
@@ -2597,27 +2787,27 @@ find_overload_match (gdb::array_view<value *> args,
       const char *qualified_name = NULL;
 
       /* If the overload match is being search for both as a method
-         and non member function, the first argument must now be
-         dereferenced.  */
+        and non member function, the first argument must now be
+        dereferenced.  */
       if (method == BOTH)
        args[0] = value_ind (args[0]);
 
       if (fsym)
-        {
-          qualified_name = fsym->natural_name ();
+       {
+         qualified_name = fsym->natural_name ();
 
-          /* If we have a function with a C++ name, try to extract just
+         /* If we have a function with a C++ name, try to extract just
             the function part.  Do not try this for non-functions (e.g.
             function pointers).  */
-          if (qualified_name
-              && (check_typedef (SYMBOL_TYPE (fsym))->code ()
+         if (qualified_name
+             && (check_typedef (SYMBOL_TYPE (fsym))->code ()
                  == TYPE_CODE_FUNC))
-            {
+           {
              temp_func = cp_func_name (qualified_name);
 
              /* If cp_func_name did not remove anything, the name of the
-                symbol did not include scope or argument types - it was
-                probably a C-style function.  */
+                symbol did not include scope or argument types - it was
+                probably a C-style function.  */
              if (temp_func != nullptr)
                {
                  if (strcmp (temp_func.get (), qualified_name) == 0)
@@ -2625,8 +2815,8 @@ find_overload_match (gdb::array_view<value *> args,
                  else
                    func_name = temp_func.get ();
                }
-            }
-        }
+           }
+       }
       else
        {
          func_name = name;
@@ -2637,17 +2827,17 @@ find_overload_match (gdb::array_view<value *> args,
         not a function at all.  Just return the same symbol.  Do the
         same if cp_func_name fails for some reason.  */
       if (func_name == NULL)
-        {
+       {
          *symp = fsym;
-          return 0;
-        }
+         return 0;
+       }
 
       func_oload_champ = find_oload_champ_namespace (args,
-                                                     func_name,
-                                                     qualified_name,
-                                                     &functions,
-                                                     &func_badness,
-                                                     no_adl);
+                                                    func_name,
+                                                    qualified_name,
+                                                    &functions,
+                                                    &func_badness,
+                                                    no_adl);
 
       if (func_oload_champ >= 0)
        func_match_quality = classify_oload_match (func_badness,
@@ -2657,8 +2847,8 @@ find_overload_match (gdb::array_view<value *> args,
   /* Did we find a match ?  */
   if (method_oload_champ == -1 && func_oload_champ == -1)
     throw_error (NOT_FOUND_ERROR,
-                 _("No symbol \"%s\" in current context."),
-                 name);
+                _("No symbol \"%s\" in current context."),
+                name);
 
   /* If we have found both a method match and a function
      match, find out which one is better, and calculate match
@@ -2666,7 +2856,7 @@ find_overload_match (gdb::array_view<value *> args,
   if (method_oload_champ >= 0 && func_oload_champ >= 0)
     {
       switch (compare_badness (func_badness, method_badness))
-        {
+       {
          case 0: /* Top two contenders are equally good.  */
            /* FIXME: GDB does not support the general ambiguous case.
             All candidates should be collected and presented the
@@ -2690,7 +2880,7 @@ find_overload_match (gdb::array_view<value *> args,
          default:
            error (_("Internal error: unexpected overload comparison result"));
            break;
-        }
+       }
     }
   else
     {
@@ -2978,7 +3168,7 @@ find_oload_champ (gdb::array_view<value *> args,
        }
 
       /* Compare parameter types to supplied argument types.  Skip
-         THIS for static methods.  */
+        THIS for static methods.  */
       bv = rank_function (parm_types,
                          args.slice (static_offset));
 
@@ -3067,14 +3257,14 @@ classify_oload_match (const badness_vector &oload_champ_bv,
   for (ix = 1; ix <= nargs - static_offset; ix++)
     {
       /* If this conversion is as bad as INCOMPATIBLE_TYPE_BADNESS
-         or worse return INCOMPATIBLE.  */
+        or worse return INCOMPATIBLE.  */
       if (compare_ranks (oload_champ_bv[ix],
-                         INCOMPATIBLE_TYPE_BADNESS) <= 0)
+                        INCOMPATIBLE_TYPE_BADNESS) <= 0)
        return INCOMPATIBLE;    /* Truly mismatched types.  */
       /* Otherwise If this conversion is as bad as
-         NS_POINTER_CONVERSION_BADNESS or worse return NON_STANDARD.  */
+        NS_POINTER_CONVERSION_BADNESS or worse return NON_STANDARD.  */
       else if (compare_ranks (oload_champ_bv[ix],
-                              NS_POINTER_CONVERSION_BADNESS) <= 0)
+                             NS_POINTER_CONVERSION_BADNESS) <= 0)
        worst = NON_STANDARD;   /* Non-standard type conversions
                                   needed.  */
     }
@@ -3220,7 +3410,7 @@ compare_parameters (struct type *t1, struct type *t2, int skip_artificial)
        {
          if (compare_ranks (rank_one_type (t1->field (start + i).type (),
                                            t2->field (i).type (), NULL),
-                            EXACT_MATCH_BADNESS) != 0)
+                            EXACT_MATCH_BADNESS) != 0)
            return 0;
        }
 
@@ -3245,21 +3435,21 @@ get_baseclass_offset (struct type *vt, struct type *cls,
     {
       struct type *t = vt->field (i).type ();
       if (types_equal (t, cls))
-        {
-          if (BASETYPE_VIA_VIRTUAL (vt, i))
-            {
+       {
+         if (BASETYPE_VIA_VIRTUAL (vt, i))
+           {
              const gdb_byte *adr = value_contents_for_printing (v);
              *boffs = baseclass_offset (vt, i, adr, value_offset (v),
                                         value_as_long (v), v);
              *isvirt = true;
-            }
-          else
+           }
+         else
            *isvirt = false;
-          return true;
-        }
+         return true;
+       }
 
       if (get_baseclass_offset (check_typedef (t), cls, v, boffs, isvirt))
-        {
+       {
          if (*isvirt == false) /* Add non-virtual base offset.  */
            {
              const gdb_byte *adr = value_contents_for_printing (v);
@@ -3345,15 +3535,15 @@ value_struct_elt_for_reference (struct type *domain, int offset,
                      bool isvirt = false;
                      if (get_baseclass_offset (domain, curtype, v, &boff,
                                                &isvirt))
-                       mem_offset += boff;
+                       mem_offset += boff;
                      else
-                       {
-                         struct type *p = check_typedef (value_type (this_v));
-                         p = check_typedef (TYPE_TARGET_TYPE (p));
-                         if (get_baseclass_offset (p, curtype, this_v,
+                       {
+                         struct type *p = check_typedef (value_type (this_v));
+                         p = check_typedef (TYPE_TARGET_TYPE (p));
+                         if (get_baseclass_offset (p, curtype, this_v,
                                                    &boff, &isvirt))
-                           mem_offset += boff;
-                       }
+                           mem_offset += boff;
+                       }
                    }
                  tmp = lookup_pointer_type (TYPE_TARGET_TYPE (type));
                  result = value_from_pointer (tmp,
@@ -3588,16 +3778,16 @@ value_rtti_indirect_type (struct value *v, int *full,
     {
 
       try
-        {
+       {
          target = value_ind (v);
-        }
+       }
       catch (const gdb_exception_error &except)
        {
          if (except.error == MEMORY_ERROR)
            {
              /* value_ind threw a memory error. The pointer is NULL or
-                contains an uninitialized value: we can't determine any
-                type.  */
+                contains an uninitialized value: we can't determine any
+                type.  */
              return NULL;
            }
          throw;
@@ -3615,11 +3805,11 @@ value_rtti_indirect_type (struct value *v, int *full,
       real_type = make_cv_type (TYPE_CONST (target_type),
                                TYPE_VOLATILE (target_type), real_type, NULL);
       if (TYPE_IS_REFERENCE (type))
-        real_type = lookup_reference_type (real_type, type->code ());
+       real_type = lookup_reference_type (real_type, type->code ());
       else if (type->code () == TYPE_CODE_PTR)
-        real_type = lookup_pointer_type (real_type);
+       real_type = lookup_pointer_type (real_type);
       else
-        internal_error (__FILE__, __LINE__, _("Unexpected value type."));
+       internal_error (__FILE__, __LINE__, _("Unexpected value type."));
 
       /* Copy qualifiers to the pointer/reference.  */
       real_type = make_cv_type (TYPE_CONST (type), TYPE_VOLATILE (type),
@@ -3716,7 +3906,7 @@ value_of_this (const struct language_defn *lang)
   const struct block *b;
   struct frame_info *frame;
 
-  if (!lang->la_name_of_this)
+  if (lang->name_of_this () == NULL)
     error (_("no `this' in current language"));
 
   frame = get_selected_frame (_("no frame selected"));
@@ -3726,7 +3916,7 @@ value_of_this (const struct language_defn *lang)
   sym = lookup_language_this (lang, b);
   if (sym.symbol == NULL)
     error (_("current stack frame does not contain a variable named `%s'"),
-          lang->la_name_of_this);
+          lang->name_of_this ());
 
   return read_var_value (sym.symbol, sym.block, frame);
 }
@@ -3773,7 +3963,7 @@ value_slice (struct value *array, int lowbound, int length)
     error (_("array not associated"));
 
   range_type = array_type->index_type ();
-  if (get_discrete_bounds (range_type, &lowerbound, &upperbound) < 0)
+  if (!get_discrete_bounds (range_type, &lowerbound, &upperbound))
     error (_("slice from bad array or bitstring"));
 
   if (lowbound < lowerbound || length < 0
This page took 0.03798 seconds and 4 git commands to generate.