2003-07-16 Andrew Cagney <cagney@redhat.com>
[deliverable/binutils-gdb.git] / gdb / eval.c
index ceed262543ed788e587d017fce0ccb53a7427ea0..914a552070405c6c48ce7c829dc59e172694fedf 100644 (file)
@@ -1,7 +1,8 @@
 /* Evaluate expressions for GDB.
-   Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
-   1996, 1997, 1998, 1999, 2000
-   Free Software Foundation, Inc.
+
+   Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
+   1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003 Free Software
+   Foundation, Inc.
 
    This file is part of GDB.
 
 #include "frame.h"
 #include "language.h"          /* For CAST_IS_CONVERSION */
 #include "f-lang.h"            /* for array bound stuff */
+#include "cp-abi.h"
+#include "infcall.h"
+#include "objc-lang.h"
+#include "block.h"
 
 /* Defined in symtab.c */
 extern int hp_som_som_object_present;
@@ -43,25 +48,25 @@ extern int objectprint;
 
 /* Prototypes for local functions. */
 
-static value_ptr evaluate_subexp_for_sizeof (struct expression *, int *);
+static struct value *evaluate_subexp_for_sizeof (struct expression *, int *);
 
-static value_ptr evaluate_subexp_for_address (struct expression *,
-                                             int *, enum noside);
+static struct value *evaluate_subexp_for_address (struct expression *,
+                                                 int *, enum noside);
 
-static value_ptr evaluate_subexp (struct type *, struct expression *,
-                                 int *, enum noside);
+static struct value *evaluate_subexp (struct type *, struct expression *,
+                                     int *, enum noside);
 
 static char *get_label (struct expression *, int *);
 
-static value_ptr
-evaluate_struct_tuple (value_ptr, struct expression *, int *,
-                      enum noside, int);
+static struct value *evaluate_struct_tuple (struct value *,
+                                           struct expression *, int *,
+                                           enum noside, int);
 
-static LONGEST
-init_array_element (value_ptr, value_ptr, struct expression *,
-                   int *, enum noside, LONGEST, LONGEST);
+static LONGEST init_array_element (struct value *, struct value *,
+                                  struct expression *, int *, enum noside,
+                                  LONGEST, LONGEST);
 
-static value_ptr
+static struct value *
 evaluate_subexp (struct type *expect_type, register struct expression *exp,
                 register int *pos, enum noside noside)
 {
@@ -77,9 +82,9 @@ parse_and_eval_address (char *exp)
   struct expression *expr = parse_expression (exp);
   register CORE_ADDR addr;
   register struct cleanup *old_chain =
-  make_cleanup (free_current_contents, &expr);
+    make_cleanup (free_current_contents, &expr);
 
-  addr = value_as_pointer (evaluate_expression (expr));
+  addr = value_as_address (evaluate_expression (expr));
   do_cleanups (old_chain);
   return addr;
 }
@@ -93,9 +98,9 @@ parse_and_eval_address_1 (char **expptr)
   struct expression *expr = parse_exp_1 (expptr, (struct block *) 0, 0);
   register CORE_ADDR addr;
   register struct cleanup *old_chain =
-  make_cleanup (free_current_contents, &expr);
+    make_cleanup (free_current_contents, &expr);
 
-  addr = value_as_pointer (evaluate_expression (expr));
+  addr = value_as_address (evaluate_expression (expr));
   do_cleanups (old_chain);
   return addr;
 }
@@ -115,13 +120,13 @@ parse_and_eval_long (char *exp)
   return (retval);
 }
 
-value_ptr
+struct value *
 parse_and_eval (char *exp)
 {
   struct expression *expr = parse_expression (exp);
-  register value_ptr val;
-  register struct cleanup *old_chain
-  = make_cleanup (free_current_contents, &expr);
+  struct value *val;
+  register struct cleanup *old_chain =
+    make_cleanup (free_current_contents, &expr);
 
   val = evaluate_expression (expr);
   do_cleanups (old_chain);
@@ -132,13 +137,13 @@ parse_and_eval (char *exp)
    in the string EXPP as an expression, evaluate it, and return the value.
    EXPP is advanced to point to the comma.  */
 
-value_ptr
+struct value *
 parse_to_comma_and_eval (char **expp)
 {
   struct expression *expr = parse_exp_1 (expp, (struct block *) 0, 1);
-  register value_ptr val;
-  register struct cleanup *old_chain
-  = make_cleanup (free_current_contents, &expr);
+  struct value *val;
+  register struct cleanup *old_chain =
+    make_cleanup (free_current_contents, &expr);
 
   val = evaluate_expression (expr);
   do_cleanups (old_chain);
@@ -150,7 +155,7 @@ parse_to_comma_and_eval (char **expp)
 
    See expression.h for info on the format of an expression.  */
 
-value_ptr
+struct value *
 evaluate_expression (struct expression *exp)
 {
   int pc = 0;
@@ -160,7 +165,7 @@ evaluate_expression (struct expression *exp)
 /* Evaluate an expression, avoiding all memory references
    and getting a value whose type alone is correct.  */
 
-value_ptr
+struct value *
 evaluate_type (struct expression *exp)
 {
   int pc = 0;
@@ -185,11 +190,12 @@ get_label (register struct expression *exp, int *pos)
     return NULL;
 }
 
-/* This function evaluates tuples (in Chill) or brace-initializers
-   (in C/C++) for structure types.  */
+/* This function evaluates tuples (in (the deleted) Chill) or
+   brace-initializers (in C/C++) for structure types.  */
 
-static value_ptr
-evaluate_struct_tuple (value_ptr struct_val, register struct expression *exp,
+static struct value *
+evaluate_struct_tuple (struct value *struct_val,
+                      register struct expression *exp,
                       register int *pos, enum noside noside, int nargs)
 {
   struct type *struct_type = check_typedef (VALUE_TYPE (struct_val));
@@ -201,7 +207,7 @@ evaluate_struct_tuple (value_ptr struct_val, register struct expression *exp,
   while (--nargs >= 0)
     {
       int pc = *pos;
-      value_ptr val = NULL;
+      struct value *val = NULL;
       int nlabels = 0;
       int bitpos, bitsize;
       char *addr;
@@ -323,16 +329,15 @@ evaluate_struct_tuple (value_ptr struct_val, register struct expression *exp,
   return struct_val;
 }
 
-/* Recursive helper function for setting elements of array tuples for Chill.
-   The target is ARRAY (which has bounds LOW_BOUND to HIGH_BOUND);
-   the element value is ELEMENT;
-   EXP, POS and NOSIDE are as usual.
-   Evaluates index expresions and sets the specified element(s) of
-   ARRAY to ELEMENT.
-   Returns last index value.  */
+/* Recursive helper function for setting elements of array tuples for
+   (the deleted) Chill.  The target is ARRAY (which has bounds
+   LOW_BOUND to HIGH_BOUND); the element value is ELEMENT; EXP, POS
+   and NOSIDE are as usual.  Evaluates index expresions and sets the
+   specified element(s) of ARRAY to ELEMENT.  Returns last index
+   value.  */
 
 static LONGEST
-init_array_element (value_ptr array, value_ptr element,
+init_array_element (struct value *array, struct value *element,
                    register struct expression *exp, register int *pos,
                    enum noside noside, LONGEST low_bound, LONGEST high_bound)
 {
@@ -372,7 +377,7 @@ init_array_element (value_ptr array, value_ptr element,
   return index;
 }
 
-value_ptr
+struct value *
 evaluate_subexp_standard (struct type *expect_type,
                          register struct expression *exp, register int *pos,
                          enum noside noside)
@@ -380,10 +385,12 @@ evaluate_subexp_standard (struct type *expect_type,
   enum exp_opcode op;
   int tem, tem2, tem3;
   register int pc, pc2 = 0, oldpos;
-  register value_ptr arg1 = NULL, arg2 = NULL, arg3;
+  struct value *arg1 = NULL;
+  struct value *arg2 = NULL;
+  struct value *arg3;
   struct type *type;
   int nargs;
-  value_ptr *argvec;
+  struct value **argvec;
   int upper, lower, retcode;
   int code;
   int ix;
@@ -443,11 +450,11 @@ evaluate_subexp_standard (struct type *expect_type,
     case OP_REGISTER:
       {
        int regno = longest_to_int (exp->elts[pc + 1].longconst);
-       value_ptr val = value_of_register (regno);
-
+       struct value *val = value_of_register (regno, get_selected_frame ());
        (*pos) += 2;
        if (val == NULL)
-         error ("Value of register %s not available.", REGISTER_NAME (regno));
+         error ("Value of register %s not available.",
+                frame_map_regnum_to_name (get_selected_frame (), regno));
        else
          return val;
       }
@@ -467,6 +474,15 @@ evaluate_subexp_standard (struct type *expect_type,
        goto nosideret;
       return value_string (&exp->elts[pc + 2].string, tem);
 
+    case OP_OBJC_NSSTRING:             /* Objective C Foundation Class NSString constant.  */
+      tem = longest_to_int (exp->elts[pc + 1].longconst);
+      (*pos) += 3 + BYTES_TO_EXP_ELEM (tem + 1);
+      if (noside == EVAL_SKIP)
+       {
+         goto nosideret;
+       }
+      return (struct value *) value_nsstring (&exp->elts[pc + 2].string, tem + 1);
+
     case OP_BITSTRING:
       tem = longest_to_int (exp->elts[pc + 1].longconst);
       (*pos)
@@ -486,7 +502,7 @@ evaluate_subexp_standard (struct type *expect_type,
       if (expect_type != NULL_TYPE && noside != EVAL_SKIP
          && TYPE_CODE (type) == TYPE_CODE_STRUCT)
        {
-         value_ptr rec = allocate_value (expect_type);
+         struct value *rec = allocate_value (expect_type);
          memset (VALUE_CONTENTS_RAW (rec), '\0', TYPE_LENGTH (type));
          return evaluate_struct_tuple (rec, exp, pos, noside, nargs);
        }
@@ -496,7 +512,7 @@ evaluate_subexp_standard (struct type *expect_type,
        {
          struct type *range_type = TYPE_FIELD_TYPE (type, 0);
          struct type *element_type = TYPE_TARGET_TYPE (type);
-         value_ptr array = allocate_value (expect_type);
+         struct value *array = allocate_value (expect_type);
          int element_size = TYPE_LENGTH (check_typedef (element_type));
          LONGEST low_bound, high_bound, index;
          if (get_discrete_bounds (range_type, &low_bound, &high_bound) < 0)
@@ -508,7 +524,7 @@ evaluate_subexp_standard (struct type *expect_type,
          memset (VALUE_CONTENTS_RAW (array), 0, TYPE_LENGTH (expect_type));
          for (tem = nargs; --nargs >= 0;)
            {
-             value_ptr element;
+             struct value *element;
              int index_pc = 0;
              if (exp->elts[*pos].opcode == BINOP_RANGE)
                {
@@ -544,7 +560,7 @@ evaluate_subexp_standard (struct type *expect_type,
       if (expect_type != NULL_TYPE && noside != EVAL_SKIP
          && TYPE_CODE (type) == TYPE_CODE_SET)
        {
-         value_ptr set = allocate_value (expect_type);
+         struct value *set = allocate_value (expect_type);
          char *valaddr = VALUE_CONTENTS_RAW (set);
          struct type *element_type = TYPE_INDEX_TYPE (type);
          struct type *check_type = element_type;
@@ -562,7 +578,7 @@ evaluate_subexp_standard (struct type *expect_type,
            {
              LONGEST range_low, range_high;
              struct type *range_low_type, *range_high_type;
-             value_ptr elem_val;
+             struct value *elem_val;
              if (exp->elts[*pos].opcode == BINOP_RANGE)
                {
                  (*pos)++;
@@ -616,7 +632,7 @@ evaluate_subexp_standard (struct type *expect_type,
          return set;
        }
 
-      argvec = (value_ptr *) alloca (sizeof (value_ptr) * nargs);
+      argvec = (struct value **) alloca (sizeof (struct value *) * nargs);
       for (tem = 0; tem < nargs; tem++)
        {
          /* Ensure that array expressions are coerced into pointer objects. */
@@ -628,7 +644,7 @@ evaluate_subexp_standard (struct type *expect_type,
 
     case TERNOP_SLICE:
       {
-       value_ptr array = evaluate_subexp (NULL_TYPE, exp, pos, noside);
+       struct value *array = evaluate_subexp (NULL_TYPE, exp, pos, noside);
        int lowbound
        = value_as_long (evaluate_subexp (NULL_TYPE, exp, pos, noside));
        int upper
@@ -640,7 +656,7 @@ evaluate_subexp_standard (struct type *expect_type,
 
     case TERNOP_SLICE_COUNT:
       {
-       value_ptr array = evaluate_subexp (NULL_TYPE, exp, pos, noside);
+       struct value *array = evaluate_subexp (NULL_TYPE, exp, pos, noside);
        int lowbound
        = value_as_long (evaluate_subexp (NULL_TYPE, exp, pos, noside));
        int length
@@ -663,13 +679,282 @@ evaluate_subexp_standard (struct type *expect_type,
          return arg2;
        }
 
+    case OP_OBJC_SELECTOR:
+      {                                /* Objective C @selector operator.  */
+       char *sel = &exp->elts[pc + 2].string;
+       int len = longest_to_int (exp->elts[pc + 1].longconst);
+
+       (*pos) += 3 + BYTES_TO_EXP_ELEM (len + 1);
+       if (noside == EVAL_SKIP)
+         goto nosideret;
+
+       if (sel[len] != 0)
+         sel[len] = 0;         /* Make sure it's terminated.  */
+       return value_from_longest (lookup_pointer_type (builtin_type_void),
+                                  lookup_child_selector (sel));
+      }
+
+    case OP_OBJC_MSGCALL:
+      {                                /* Objective C message (method) call.  */
+
+       static unsigned long responds_selector = 0;
+       static unsigned long method_selector = 0;
+
+       unsigned long selector = 0;
+
+       int using_gcc = 0;
+       int struct_return = 0;
+       int sub_no_side = 0;
+
+       static struct value *msg_send = NULL;
+       static struct value *msg_send_stret = NULL;
+       static int gnu_runtime = 0;
+
+       struct value *target = NULL;
+       struct value *method = NULL;
+       struct value *called_method = NULL; 
+
+       struct type *selector_type = NULL;
+
+       struct value *ret = NULL;
+       CORE_ADDR addr = 0;
+
+       selector = exp->elts[pc + 1].longconst;
+       nargs = exp->elts[pc + 2].longconst;
+       argvec = (struct value **) alloca (sizeof (struct value *) 
+                                          * (nargs + 5));
+
+       (*pos) += 3;
+
+       selector_type = lookup_pointer_type (builtin_type_void);
+       if (noside == EVAL_AVOID_SIDE_EFFECTS)
+         sub_no_side = EVAL_NORMAL;
+       else
+         sub_no_side = noside;
+
+       target = evaluate_subexp (selector_type, exp, pos, sub_no_side);
+
+       if (value_as_long (target) == 0)
+         return value_from_longest (builtin_type_long, 0);
+       
+       if (lookup_minimal_symbol ("objc_msg_lookup", 0, 0))
+         gnu_runtime = 1;
+       
+       /* Find the method dispatch (Apple runtime) or method lookup
+          (GNU runtime) function for Objective-C.  These will be used
+          to lookup the symbol information for the method.  If we
+          can't find any symbol information, then we'll use these to
+          call the method, otherwise we can call the method
+          directly. The msg_send_stret function is used in the special
+          case of a method that returns a structure (Apple runtime 
+          only).  */
+       if (gnu_runtime)
+         {
+           msg_send = find_function_in_inferior ("objc_msg_lookup");
+           msg_send_stret = find_function_in_inferior ("objc_msg_lookup");
+         }
+       else
+         {
+           msg_send = find_function_in_inferior ("objc_msgSend");
+           /* Special dispatcher for methods returning structs */
+           msg_send_stret = find_function_in_inferior ("objc_msgSend_stret");
+         }
+
+       /* Verify the target object responds to this method. The
+          standard top-level 'Object' class uses a different name for
+          the verification method than the non-standard, but more
+          often used, 'NSObject' class. Make sure we check for both. */
+
+       responds_selector = lookup_child_selector ("respondsToSelector:");
+       if (responds_selector == 0)
+         responds_selector = lookup_child_selector ("respondsTo:");
+       
+       if (responds_selector == 0)
+         error ("no 'respondsTo:' or 'respondsToSelector:' method");
+       
+       method_selector = lookup_child_selector ("methodForSelector:");
+       if (method_selector == 0)
+         method_selector = lookup_child_selector ("methodFor:");
+       
+       if (method_selector == 0)
+         error ("no 'methodFor:' or 'methodForSelector:' method");
+
+       /* Call the verification method, to make sure that the target
+        class implements the desired method. */
+
+       argvec[0] = msg_send;
+       argvec[1] = target;
+       argvec[2] = value_from_longest (builtin_type_long, responds_selector);
+       argvec[3] = value_from_longest (builtin_type_long, selector);
+       argvec[4] = 0;
+
+       ret = call_function_by_hand (argvec[0], 3, argvec + 1);
+       if (gnu_runtime)
+         {
+           /* Function objc_msg_lookup returns a pointer.  */
+           argvec[0] = ret;
+           ret = call_function_by_hand (argvec[0], 3, argvec + 1);
+         }
+       if (value_as_long (ret) == 0)
+         error ("Target does not respond to this message selector.");
+
+       /* Call "methodForSelector:" method, to get the address of a
+          function method that implements this selector for this
+          class.  If we can find a symbol at that address, then we
+          know the return type, parameter types etc.  (that's a good
+          thing). */
+
+       argvec[0] = msg_send;
+       argvec[1] = target;
+       argvec[2] = value_from_longest (builtin_type_long, method_selector);
+       argvec[3] = value_from_longest (builtin_type_long, selector);
+       argvec[4] = 0;
+
+       ret = call_function_by_hand (argvec[0], 3, argvec + 1);
+       if (gnu_runtime)
+         {
+           argvec[0] = ret;
+           ret = call_function_by_hand (argvec[0], 3, argvec + 1);
+         }
+
+       /* ret should now be the selector.  */
+
+       addr = value_as_long (ret);
+       if (addr)
+         {
+           struct symbol *sym = NULL;
+           /* Is it a high_level symbol?  */
+
+           sym = find_pc_function (addr);
+           if (sym != NULL) 
+             method = value_of_variable (sym, 0);
+         }
+
+       /* If we found a method with symbol information, check to see
+           if it returns a struct.  Otherwise assume it doesn't.  */
+
+       if (method)
+         {
+           struct block *b;
+           CORE_ADDR funaddr;
+           struct type *value_type;
+
+           funaddr = find_function_addr (method, &value_type);
+
+           b = block_for_pc (funaddr);
+
+           /* If compiled without -g, assume GCC 2.  */
+           using_gcc = (b == NULL ? 2 : BLOCK_GCC_COMPILED (b));
+
+           CHECK_TYPEDEF (value_type);
+         
+           if ((value_type == NULL) 
+               || (TYPE_CODE(value_type) == TYPE_CODE_ERROR))
+             {
+               if (expect_type != NULL)
+                 value_type = expect_type;
+             }
+
+           struct_return = using_struct_return (method, funaddr, value_type, using_gcc);
+         }
+       else if (expect_type != NULL)
+         {
+           struct_return = using_struct_return (NULL, addr, check_typedef (expect_type), using_gcc);
+         }
+       
+       /* Found a function symbol.  Now we will substitute its
+          value in place of the message dispatcher (obj_msgSend),
+          so that we call the method directly instead of thru
+          the dispatcher.  The main reason for doing this is that
+          we can now evaluate the return value and parameter values
+          according to their known data types, in case we need to
+          do things like promotion, dereferencing, special handling
+          of structs and doubles, etc.
+         
+          We want to use the type signature of 'method', but still
+          jump to objc_msgSend() or objc_msgSend_stret() to better
+          mimic the behavior of the runtime.  */
+       
+       if (method)
+         {
+           if (TYPE_CODE (VALUE_TYPE (method)) != TYPE_CODE_FUNC)
+             error ("method address has symbol information with non-function type; skipping");
+           if (struct_return)
+             VALUE_ADDRESS (method) = value_as_address (msg_send_stret);
+           else
+             VALUE_ADDRESS (method) = value_as_address (msg_send);
+           called_method = method;
+         }
+       else
+         {
+           if (struct_return)
+             called_method = msg_send_stret;
+           else
+             called_method = msg_send;
+         }
+
+       if (noside == EVAL_SKIP)
+         goto nosideret;
+
+       if (noside == EVAL_AVOID_SIDE_EFFECTS)
+         {
+           /* If the return type doesn't look like a function type,
+              call an error.  This can happen if somebody tries to
+              turn a variable into a function call. This is here
+              because people often want to call, eg, strcmp, which
+              gdb doesn't know is a function.  If gdb isn't asked for
+              it's opinion (ie. through "whatis"), it won't offer
+              it. */
+
+           struct type *type = VALUE_TYPE (called_method);
+           if (type && TYPE_CODE (type) == TYPE_CODE_PTR)
+             type = TYPE_TARGET_TYPE (type);
+           type = TYPE_TARGET_TYPE (type);
+
+           if (type)
+           {
+             if ((TYPE_CODE (type) == TYPE_CODE_ERROR) && expect_type)
+               return allocate_value (expect_type);
+             else
+               return allocate_value (type);
+           }
+           else
+             error ("Expression of type other than \"method returning ...\" used as a method");
+         }
+
+       /* Now depending on whether we found a symbol for the method,
+          we will either call the runtime dispatcher or the method
+          directly.  */
+
+       argvec[0] = called_method;
+       argvec[1] = target;
+       argvec[2] = value_from_longest (builtin_type_long, selector);
+       /* User-supplied arguments.  */
+       for (tem = 0; tem < nargs; tem++)
+         argvec[tem + 3] = evaluate_subexp_with_coercion (exp, pos, noside);
+       argvec[tem + 3] = 0;
+
+       if (gnu_runtime && (method != NULL))
+         {
+           ret = call_function_by_hand (argvec[0], nargs + 2, argvec + 1);
+           /* Function objc_msg_lookup returns a pointer.  */
+           argvec[0] = ret;
+           ret = call_function_by_hand (argvec[0], nargs + 2, argvec + 1);
+         }
+       else
+         ret = call_function_by_hand (argvec[0], nargs + 2, argvec + 1);
+
+       return ret;
+      }
+      break;
+
     case OP_FUNCALL:
       (*pos) += 2;
       op = exp->elts[*pos].opcode;
       nargs = longest_to_int (exp->elts[pc + 1].longconst);
       /* Allocate arg vector, including space for the function to be
          called in argvec[0] and a terminating NULL */
-      argvec = (value_ptr *) alloca (sizeof (value_ptr) * (nargs + 3));
+      argvec = (struct value **) alloca (sizeof (struct value *) * (nargs + 3));
       if (op == STRUCTOP_MEMBER || op == STRUCTOP_MPTR)
        {
          LONGEST fnptr;
@@ -727,7 +1012,7 @@ evaluate_subexp_standard (struct type *expect_type,
                    for (j = TYPE_FN_FIELDLIST_LENGTH (basetype, i) - 1; j >= 0; --j)
                      if ((int) TYPE_FN_FIELD_VOFFSET (f, j) == fnoffset)
                        {
-                         value_ptr temp = value_ind (arg2);
+                         struct value *temp = value_ind (arg2);
                          arg1 = value_virtual_fn_field (&temp, f, j, domain_type, 0);
                          arg2 = value_addr (temp);
                          goto got_it;
@@ -817,31 +1102,26 @@ evaluate_subexp_standard (struct type *expect_type,
       if (op == STRUCTOP_STRUCT || op == STRUCTOP_PTR)
        {
          int static_memfuncp;
-         value_ptr temp = arg2;
          char tstr[256];
 
          /* Method invocation : stuff "this" as first parameter */
-         /* pai: this used to have lookup_pointer_type for some reason,
-          * but temp is already a pointer to the object */
-         argvec[1]
-           = value_from_pointer (VALUE_TYPE (temp),
-                                 VALUE_ADDRESS (temp) + VALUE_OFFSET (temp));
+         argvec[1] = arg2;
          /* Name of method from expression */
          strcpy (tstr, &exp->elts[pc2 + 2].string);
 
          if (overload_resolution && (exp->language_defn->la_language == language_cplus))
            {
              /* Language is C++, do some overload resolution before evaluation */
-             value_ptr valp = NULL;
+             struct value *valp = NULL;
 
              /* Prepare list of argument types for overload resolution */
-             arg_types = (struct type **) xmalloc (nargs * (sizeof (struct type *)));
+             arg_types = (struct type **) alloca (nargs * (sizeof (struct type *)));
              for (ix = 1; ix <= nargs; ix++)
                arg_types[ix - 1] = VALUE_TYPE (argvec[ix]);
 
              (void) find_overload_match (arg_types, nargs, tstr,
                                     1 /* method */ , 0 /* strict match */ ,
-                                         arg2 /* the object */ , NULL,
+                                         &arg2 /* the object */ , NULL,
                                          &valp, NULL, &static_memfuncp);
 
 
@@ -851,11 +1131,17 @@ evaluate_subexp_standard (struct type *expect_type,
          else
            /* Non-C++ case -- or no overload resolution */
            {
-             temp = arg2;
+             struct value *temp = arg2;
              argvec[0] = value_struct_elt (&temp, argvec + 1, tstr,
                                            &static_memfuncp,
                                            op == STRUCTOP_STRUCT
                                       ? "structure" : "structure pointer");
+             /* value_struct_elt updates temp with the correct value
+                of the ``this'' pointer if necessary, so modify argvec[1] to
+                reflect any ``this'' changes.  */
+             arg2 = value_from_longest (lookup_pointer_type(VALUE_TYPE (temp)),
+                            VALUE_ADDRESS (temp) + VALUE_OFFSET (temp)
+                            + VALUE_EMBEDDED_OFFSET (temp));
              argvec[1] = arg2; /* the ``this'' pointer */
            }
 
@@ -884,7 +1170,7 @@ evaluate_subexp_standard (struct type *expect_type,
              struct symbol *symp;
 
              /* Prepare list of argument types for overload resolution */
-             arg_types = (struct type **) xmalloc (nargs * (sizeof (struct type *)));
+             arg_types = (struct type **) alloca (nargs * (sizeof (struct type *)));
              for (ix = 1; ix <= nargs; ix++)
                arg_types[ix - 1] = VALUE_TYPE (argvec[ix]);
 
@@ -913,6 +1199,8 @@ evaluate_subexp_standard (struct type *expect_type,
 
       if (noside == EVAL_SKIP)
        goto nosideret;
+      if (argvec[0] == NULL)
+       error ("Cannot evaluate function -- may be inlined");
       if (noside == EVAL_AVOID_SIDE_EFFECTS)
        {
          /* If the return type doesn't look like a function type, call an
@@ -930,8 +1218,6 @@ evaluate_subexp_standard (struct type *expect_type,
          else
            error ("Expression of type other than \"Function returning ...\" used as function");
        }
-      if (argvec[0] == NULL)
-       error ("Cannot evaluate function -- may be inlined");
       return call_function_by_hand (argvec[0], nargs, argvec + 1);
       /* pai: FIXME save value from call_function_by_hand, then adjust pc by adjust_fn_pc if +ve  */
 
@@ -965,7 +1251,7 @@ evaluate_subexp_standard (struct type *expect_type,
          /* It's a function call. */
          /* Allocate arg vector, including space for the function to be
             called in argvec[0] and a terminating NULL */
-         argvec = (value_ptr *) alloca (sizeof (value_ptr) * (nargs + 2));
+         argvec = (struct value **) alloca (sizeof (struct value *) * (nargs + 2));
          argvec[0] = arg1;
          tem = 1;
          for (; tem <= nargs; tem++)
@@ -1019,7 +1305,7 @@ evaluate_subexp_standard (struct type *expect_type,
                           lval_memory);
       else
        {
-         value_ptr temp = arg1;
+         struct value *temp = arg1;
          return value_struct_elt (&temp, NULL, &exp->elts[pc + 2].string,
                                   NULL, "structure");
        }
@@ -1062,7 +1348,7 @@ evaluate_subexp_standard (struct type *expect_type,
                           lval_memory);
       else
        {
-         value_ptr temp = arg1;
+         struct value *temp = arg1;
          return value_struct_elt (&temp, NULL, &exp->elts[pc + 2].string,
                                   NULL, "structure pointer");
        }
@@ -1636,7 +1922,7 @@ evaluate_subexp_standard (struct type *expect_type,
        }
       else
        {
-         value_ptr retvalp = evaluate_subexp_for_address (exp, pos, noside);
+         struct value *retvalp = evaluate_subexp_for_address (exp, pos, noside);
          /* If HP aCC object, use bias for pointers to members */
          if (hp_som_som_object_present &&
              (TYPE_CODE (VALUE_TYPE (retvalp)) == TYPE_CODE_PTR) &&
@@ -1675,7 +1961,7 @@ evaluate_subexp_standard (struct type *expect_type,
        return value_zero (exp->elts[pc + 1].type, lval_memory);
       else
        return value_at_lazy (exp->elts[pc + 1].type,
-                             value_as_pointer (arg1),
+                             value_as_address (arg1),
                              NULL);
 
     case UNOP_PREINCREMENT:
@@ -1744,6 +2030,10 @@ evaluate_subexp_standard (struct type *expect_type,
       (*pos) += 1;
       return value_of_this (1);
 
+    case OP_OBJC_SELF:
+      (*pos) += 1;
+      return value_of_local ("self", 1);
+
     case OP_TYPE:
       error ("Attempt to use a type name as an expression");
 
@@ -1772,7 +2062,7 @@ nosideret:
    NOSIDE may be EVAL_AVOID_SIDE_EFFECTS;
    then only the type of the result need be correct.  */
 
-static value_ptr
+static struct value *
 evaluate_subexp_for_address (register struct expression *exp, register int *pos,
                             enum noside noside)
 {
@@ -1828,7 +2118,7 @@ evaluate_subexp_for_address (register struct expression *exp, register int *pos,
     default_case:
       if (noside == EVAL_AVOID_SIDE_EFFECTS)
        {
-         value_ptr x = evaluate_subexp (NULL_TYPE, exp, pos, noside);
+         struct value *x = evaluate_subexp (NULL_TYPE, exp, pos, noside);
          if (VALUE_LVAL (x) == lval_memory)
            return value_zero (lookup_pointer_type (VALUE_TYPE (x)),
                               not_lval);
@@ -1852,13 +2142,13 @@ evaluate_subexp_for_address (register struct expression *exp, register int *pos,
 
  */
 
-value_ptr
+struct value *
 evaluate_subexp_with_coercion (register struct expression *exp,
                               register int *pos, enum noside noside)
 {
   register enum exp_opcode op;
   register int pc;
-  register value_ptr val;
+  struct value *val;
   struct symbol *var;
 
   pc = (*pos);
@@ -1889,13 +2179,13 @@ evaluate_subexp_with_coercion (register struct expression *exp,
    and return a value for the size of that subexpression.
    Advance *POS over the subexpression.  */
 
-static value_ptr
+static struct value *
 evaluate_subexp_for_sizeof (register struct expression *exp, register int *pos)
 {
   enum exp_opcode op;
   register int pc;
   struct type *type;
-  value_ptr val;
+  struct value *val;
 
   pc = (*pos);
   op = exp->elts[pc].opcode;
This page took 0.034995 seconds and 4 git commands to generate.