* valops.c (hand_function_call): Check for method arguments in

        TYPE_ARG_TYPES(), not in TYPE_FIELD ().

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 392be63..77db668 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,10 @@
 2001-12-07  Daniel Jacobowitz  <drow@mvista.com>
 
+       * valops.c (hand_function_call): Check for method arguments in
+       TYPE_ARG_TYPES(), not in TYPE_FIELD ().
+
+2001-12-07  Daniel Jacobowitz  <drow@mvista.com>
+
        * cp-valprint.c (cp_print_value): Preserve offset if
        the virtual base is outside of this object.
 

diff --git a/gdb/valops.c b/gdb/valops.c
index aa66412..736e0e2 100644 (file)
--- a/gdb/valops.c
+++ b/gdb/valops.c
@@ -1320,6 +1320,7 @@ hand_function_call (value_ptr function, int nargs, value_ptr *args)
   CORE_ADDR real_pc;
   struct type *param_type = NULL;
   struct type *ftype = check_typedef (SYMBOL_TYPE (function));
+  int n_method_args = 0;
 
   dummy = alloca (SIZEOF_CALL_DUMMY_WORDS);
   sizeof_dummy1 = REGISTER_SIZE * SIZEOF_CALL_DUMMY_WORDS / sizeof (ULONGEST);
@@ -1424,11 +1425,31 @@ hand_function_call (value_ptr function, int nargs, value_ptr *args)
   sp = old_sp;                 /* It really is used, for some ifdef's... */
 #endif
 
-  if (nargs < TYPE_NFIELDS (ftype))
+  if (TYPE_CODE (ftype) == TYPE_CODE_METHOD)
+    {
+      i = 0;
+      while (TYPE_CODE (TYPE_ARG_TYPES (ftype)[i]) != TYPE_CODE_VOID)
+       i++;
+      n_method_args = i;
+      if (nargs < i)
+       error ("too few arguments in method call");
+    }
+  else if (nargs < TYPE_NFIELDS (ftype))
     error ("too few arguments in function call");
 
   for (i = nargs - 1; i >= 0; i--)
     {
+      /* Assume that methods are always prototyped, unless they are off the
+        end (which we should only be allowing if there is a ``...'').  
+         FIXME.  */
+      if (TYPE_CODE (ftype) == TYPE_CODE_METHOD)
+       {
+         if (i < n_method_args)
+           args[i] = value_arg_coerce (args[i], TYPE_ARG_TYPES (ftype)[i], 1);
+         else
+           args[i] = value_arg_coerce (args[i], NULL, 0);
+       }
+
       /* If we're off the end of the known arguments, do the standard
          promotions.  FIXME: if we had a prototype, this should only
          be allowed if ... were present.  */
@@ -2618,12 +2639,13 @@ value_find_oload_method_list (value_ptr *argp, char *method, int offset,
 
 int
 find_overload_match (struct type **arg_types, int nargs, char *name, int method,
-                    int lax, value_ptr obj, struct symbol *fsym,
+                    int lax, value_ptr *objp, struct symbol *fsym,
                     value_ptr *valp, struct symbol **symp, int *staticp)
 {
   int nparms;
   struct type **parm_types;
   int champ_nparms = 0;
+  struct value *obj = (objp ? *objp : NULL);
 
   short oload_champ = -1;      /* Index of best overloaded function */
   short oload_ambiguous = 0;   /* Current ambiguity state for overload resolution */
@@ -2847,6 +2869,15 @@ find_overload_match (struct type **arg_types, int nargs, char *name, int method,
       xfree (func_name);
     }
 
+  if (objp)
+    {
+      if (TYPE_CODE (VALUE_TYPE (temp)) != TYPE_CODE_PTR
+         && TYPE_CODE (VALUE_TYPE (*objp)) == TYPE_CODE_PTR)
+       {
+         temp = value_addr (temp);
+       }
+      *objp = temp;
+    }
   return oload_incompatible ? 100 : (oload_non_standard ? 10 : 0);
 }