410a0ff2df
This commit removes the "expout*" globals from our parser code, turning them into a structure that is passed when an expression needs to be evaluated. This is the initial step to make our parser less "globalized". This is mostly a mechanical patch, which creates a structure containing the "expout*" globals and then modify all the functions that handle them in order to take the structure as argument. It is big, and has been reviewed at least 4 times, so I think everything is covered. Below you can see the message links from the discussions: - First attempt: <https://sourceware.org/ml/gdb-patches/2012-01/msg00522.html> Message-ID: <m3k44s7qej.fsf@gmail.com> - Second attempt: <https://sourceware.org/ml/gdb-patches/2012-06/msg00054.html> Message-Id: <1338665528-5932-1-git-send-email-sergiodj@redhat.com> - Third attempt: <https://sourceware.org/ml/gdb-patches/2014-01/msg00949.html> Message-Id: <1390629467-27139-1-git-send-email-sergiodj@redhat.com> - Fourth (last) attempt: <https://sourceware.org/ml/gdb-patches/2014-03/msg00546.html> Message-Id: <1395463432-29750-1-git-send-email-sergiodj@redhat.com> gdb/ 2014-03-27 Sergio Durigan Junior <sergiodj@redhat.com> Remove some globals from our parser. * language.c (unk_lang_parser): Add "struct parser_state" argument. * language.h (struct language_defn) <la_parser>: Likewise. * parse.c (expout, expout_size, expout_ptr): Remove variables. (initialize_expout): Add "struct parser_state" argument. Rewrite function to use the parser state. (reallocate_expout, write_exp_elt, write_exp_elt_opcode, write_exp_elt_sym, write_exp_elt_block, write_exp_elt_objfile, write_exp_elt_longcst, write_exp_elt_dblcst, write_exp_elt_decfloatcst, write_exp_elt_type, write_exp_elt_intern, write_exp_string, write_exp_string_vector, write_exp_bitstring, write_exp_msymbol, mark_struct_expression, write_dollar_variable): Likewise. (parse_exp_in_context_1): Use parser state. (insert_type_address_space): Add "struct parser_state" argument. Use parser state. (increase_expout_size): New function. * parser-defs.h: Forward declare "struct language_defn" and "struct parser_state". (expout, expout_size, expout_ptr): Remove extern declarations. (parse_gdbarch, parse_language): Rewrite macro declarations to accept the parser state. (struct parser_state): New struct. (initialize_expout, reallocate_expout, write_exp_elt_opcode, write_exp_elt_sym, write_exp_elt_longcst, write_exp_elt_dblcst, write_exp_elt_decfloatcst, write_exp_elt_type, write_exp_elt_intern, write_exp_string, write_exp_string_vector, write_exp_bitstring, write_exp_elt_block, write_exp_elt_objfile, write_exp_msymbol, write_dollar_variable, mark_struct_expression, insert_type_address_space): Add "struct parser_state" argument. (increase_expout_size): New function. * utils.c (do_clear_parser_state): New function. (make_cleanup_clear_parser_state): Likewise. * utils.h (make_cleanup_clear_parser_state): New function prototype. * aarch64-linux-tdep.c (aarch64_stap_parse_special_token): Update calls to write_exp* in order to pass the parser state. * arm-linux-tdep.c (arm_stap_parse_special_token): Likewise. * i386-tdep.c (i386_stap_parse_special_token_triplet): Likewise. (i386_stap_parse_special_token_three_arg_disp): Likewise. * ppc-linux-tdep.c (ppc_stap_parse_special_token): Likewise. * stap-probe.c (stap_parse_register_operand): Likewise. (stap_parse_single_operand): Likewise. (stap_parse_argument_1): Likewise. (stap_parse_argument): Use parser state. * stap-probe.h: Include "parser-defs.h". (struct stap_parse_info) <pstate>: New field. * c-exp.y (parse_type): Rewrite to use parser state. (yyparse): Redefine to c_parse_internal. (pstate): New global variable. (parse_number): Add "struct parser_state" argument. (write_destructor_name): Likewise. (type_exp): Update calls to write_exp* and similars in order to use parser state. (exp1, exp, variable, qualified_name, space_identifier, typename, typebase): Likewise. (write_destructor_name, parse_number, lex_one_token, classify_name, classify_inner_name, c_parse): Add "struct parser_state" argument. Update function to use parser state. * c-lang.h: Forward declare "struct parser_state". (c_parse): Add "struct parser_state" argument. * ada-exp.y (parse_type): Rewrite macro to use parser state. (yyparse): Redefine macro to ada_parse_internal. (pstate): New variable. (write_int, write_object_renaming, write_var_or_type, write_name_assoc, write_exp_op_with_string, write_ambiguous_var, type_int, type_long, type_long_long, type_float, type_double, type_long_double, type_char, type_boolean, type_system_address): Add "struct parser_state" argument. (exp1, primary, simple_exp, relation, and_exp, and_then_exp, or_exp, or_else_exp, xor_exp, type_prefix, opt_type_prefix, var_or_type, aggregate, aggregate_component_list, positional_list, others, component_group, component_associations): Update calls to write_exp* and similar functions in order to use parser state. (ada_parse, write_var_from_sym, write_int, write_exp_op_with_string, write_object_renaming, find_primitive_type, write_selectors, write_ambiguous_var, write_var_or_type, write_name_assoc, type_int, type_long, type_long_long, type_float, type_double, type_long_double, type_char, type_boolean, type_system_address): Add "struct parser_state" argument. Adjust function to use parser state. * ada-lang.c (parse): Likewise. * ada-lang.h: Forward declare "struct parser_state". (ada_parse): Add "struct parser_state" argument. * ada-lex.l (processInt, processReal): Likewise. Adjust all calls to both functions. * f-exp.y (parse_type, parse_f_type): Rewrite macros to use parser state. (yyparse): Redefine macro to f_parse_internal. (pstate): New variable. (parse_number): Add "struct parser_state" argument. (type_exp, exp, subrange, typebase): Update calls to write_exp* and similars in order to use parser state. (parse_number): Adjust code to use parser state. (yylex): Likewise. (f_parse): New function. * f-lang.h: Forward declare "struct parser_state". (f_parse): Add "struct parser_state" argument. * jv-exp.y (parse_type, parse_java_type): Rewrite macros to use parser state. (yyparse): Redefine macro for java_parse_internal. (pstate): New variable. (push_expression_name, push_expression_name, insert_exp): Add "struct parser_state" argument. (type_exp, StringLiteral, Literal, PrimitiveType, IntegralType, FloatingPointType, exp1, PrimaryNoNewArray, FieldAccess, FuncStart, MethodInvocation, ArrayAccess, PostfixExpression, PostIncrementExpression, PostDecrementExpression, UnaryExpression, PreIncrementExpression, PreDecrementExpression, UnaryExpressionNotPlusMinus, CastExpression, MultiplicativeExpression, AdditiveExpression, ShiftExpression, RelationalExpression, EqualityExpression, AndExpression, ExclusiveOrExpression, InclusiveOrExpression, ConditionalAndExpression, ConditionalOrExpression, ConditionalExpression, Assignment, LeftHandSide): Update calls to write_exp* and similars in order to use parser state. (parse_number): Ajust code to use parser state. (yylex): Likewise. (java_parse): New function. (push_variable): Add "struct parser_state" argument. Adjust code to user parser state. (push_fieldnames, push_qualified_expression_name, push_expression_name, insert_exp): Likewise. * jv-lang.h: Forward declare "struct parser_state". (java_parse): Add "struct parser_state" argument. * m2-exp.y (parse_type, parse_m2_type): Rewrite macros to use parser state. (yyparse): Redefine macro to m2_parse_internal. (pstate): New variable. (type_exp, exp, fblock, variable, type): Update calls to write_exp* and similars to use parser state. (yylex): Likewise. (m2_parse): New function. * m2-lang.h: Forward declare "struct parser_state". (m2_parse): Add "struct parser_state" argument. * objc-lang.c (end_msglist): Add "struct parser_state" argument. * objc-lang.h: Forward declare "struct parser_state". (end_msglist): Add "struct parser_state" argument. * p-exp.y (parse_type): Rewrite macro to use parser state. (yyparse): Redefine macro to pascal_parse_internal. (pstate): New variable. (parse_number): Add "struct parser_state" argument. (type_exp, exp1, exp, qualified_name, variable): Update calls to write_exp* and similars in order to use parser state. (parse_number, yylex): Adjust code to use parser state. (pascal_parse): New function. * p-lang.h: Forward declare "struct parser_state". (pascal_parse): Add "struct parser_state" argument. * go-exp.y (parse_type): Rewrite macro to use parser state. (yyparse): Redefine macro to go_parse_internal. (pstate): New variable. (parse_number): Add "struct parser_state" argument. (type_exp, exp1, exp, variable, type): Update calls to write_exp* and similars in order to use parser state. (parse_number, lex_one_token, classify_name, yylex): Adjust code to use parser state. (go_parse): Likewise. * go-lang.h: Forward declare "struct parser_state". (go_parse): Add "struct parser_state" argument.
1619 lines
43 KiB
C
1619 lines
43 KiB
C
/* Objective-C language support routines for GDB, the GNU debugger.
|
|
|
|
Copyright (C) 2002-2014 Free Software Foundation, Inc.
|
|
|
|
Contributed by Apple Computer, Inc.
|
|
Written by Michael Snyder.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#include "defs.h"
|
|
#include "symtab.h"
|
|
#include "gdbtypes.h"
|
|
#include "expression.h"
|
|
#include "parser-defs.h"
|
|
#include "language.h"
|
|
#include "varobj.h"
|
|
#include "c-lang.h"
|
|
#include "objc-lang.h"
|
|
#include "exceptions.h"
|
|
#include "complaints.h"
|
|
#include "value.h"
|
|
#include "symfile.h"
|
|
#include "objfiles.h"
|
|
#include <string.h> /* for strchr */
|
|
#include "target.h" /* for target_has_execution */
|
|
#include "gdbcore.h"
|
|
#include "gdbcmd.h"
|
|
#include "frame.h"
|
|
#include "gdb_regex.h"
|
|
#include "regcache.h"
|
|
#include "block.h"
|
|
#include "infcall.h"
|
|
#include "valprint.h"
|
|
#include "gdb_assert.h"
|
|
#include "cli/cli-utils.h"
|
|
|
|
#include <ctype.h>
|
|
|
|
struct objc_object {
|
|
CORE_ADDR isa;
|
|
};
|
|
|
|
struct objc_class {
|
|
CORE_ADDR isa;
|
|
CORE_ADDR super_class;
|
|
CORE_ADDR name;
|
|
long version;
|
|
long info;
|
|
long instance_size;
|
|
CORE_ADDR ivars;
|
|
CORE_ADDR methods;
|
|
CORE_ADDR cache;
|
|
CORE_ADDR protocols;
|
|
};
|
|
|
|
struct objc_super {
|
|
CORE_ADDR receiver;
|
|
CORE_ADDR class;
|
|
};
|
|
|
|
struct objc_method {
|
|
CORE_ADDR name;
|
|
CORE_ADDR types;
|
|
CORE_ADDR imp;
|
|
};
|
|
|
|
static const struct objfile_data *objc_objfile_data;
|
|
|
|
/* Lookup a structure type named "struct NAME", visible in lexical
|
|
block BLOCK. If NOERR is nonzero, return zero if NAME is not
|
|
suitably defined. */
|
|
|
|
struct symbol *
|
|
lookup_struct_typedef (char *name, const struct block *block, int noerr)
|
|
{
|
|
struct symbol *sym;
|
|
|
|
sym = lookup_symbol (name, block, STRUCT_DOMAIN, 0);
|
|
|
|
if (sym == NULL)
|
|
{
|
|
if (noerr)
|
|
return 0;
|
|
else
|
|
error (_("No struct type named %s."), name);
|
|
}
|
|
if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_STRUCT)
|
|
{
|
|
if (noerr)
|
|
return 0;
|
|
else
|
|
error (_("This context has class, union or enum %s, not a struct."),
|
|
name);
|
|
}
|
|
return sym;
|
|
}
|
|
|
|
CORE_ADDR
|
|
lookup_objc_class (struct gdbarch *gdbarch, char *classname)
|
|
{
|
|
struct type *char_type = builtin_type (gdbarch)->builtin_char;
|
|
struct value * function, *classval;
|
|
|
|
if (! target_has_execution)
|
|
{
|
|
/* Can't call into inferior to lookup class. */
|
|
return 0;
|
|
}
|
|
|
|
if (lookup_minimal_symbol("objc_lookUpClass", 0, 0).minsym)
|
|
function = find_function_in_inferior("objc_lookUpClass", NULL);
|
|
else if (lookup_minimal_symbol ("objc_lookup_class", 0, 0).minsym)
|
|
function = find_function_in_inferior("objc_lookup_class", NULL);
|
|
else
|
|
{
|
|
complaint (&symfile_complaints,
|
|
_("no way to lookup Objective-C classes"));
|
|
return 0;
|
|
}
|
|
|
|
classval = value_string (classname, strlen (classname) + 1, char_type);
|
|
classval = value_coerce_array (classval);
|
|
return (CORE_ADDR) value_as_long (call_function_by_hand (function,
|
|
1, &classval));
|
|
}
|
|
|
|
CORE_ADDR
|
|
lookup_child_selector (struct gdbarch *gdbarch, char *selname)
|
|
{
|
|
struct type *char_type = builtin_type (gdbarch)->builtin_char;
|
|
struct value * function, *selstring;
|
|
|
|
if (! target_has_execution)
|
|
{
|
|
/* Can't call into inferior to lookup selector. */
|
|
return 0;
|
|
}
|
|
|
|
if (lookup_minimal_symbol("sel_getUid", 0, 0).minsym)
|
|
function = find_function_in_inferior("sel_getUid", NULL);
|
|
else if (lookup_minimal_symbol ("sel_get_any_uid", 0, 0).minsym)
|
|
function = find_function_in_inferior("sel_get_any_uid", NULL);
|
|
else
|
|
{
|
|
complaint (&symfile_complaints,
|
|
_("no way to lookup Objective-C selectors"));
|
|
return 0;
|
|
}
|
|
|
|
selstring = value_coerce_array (value_string (selname,
|
|
strlen (selname) + 1,
|
|
char_type));
|
|
return value_as_long (call_function_by_hand (function, 1, &selstring));
|
|
}
|
|
|
|
struct value *
|
|
value_nsstring (struct gdbarch *gdbarch, char *ptr, int len)
|
|
{
|
|
struct type *char_type = builtin_type (gdbarch)->builtin_char;
|
|
struct value *stringValue[3];
|
|
struct value *function, *nsstringValue;
|
|
struct symbol *sym;
|
|
struct type *type;
|
|
|
|
if (!target_has_execution)
|
|
return 0; /* Can't call into inferior to create NSString. */
|
|
|
|
stringValue[2] = value_string(ptr, len, char_type);
|
|
stringValue[2] = value_coerce_array(stringValue[2]);
|
|
/* _NSNewStringFromCString replaces "istr" after Lantern2A. */
|
|
if (lookup_minimal_symbol("_NSNewStringFromCString", 0, 0).minsym)
|
|
{
|
|
function = find_function_in_inferior("_NSNewStringFromCString", NULL);
|
|
nsstringValue = call_function_by_hand(function, 1, &stringValue[2]);
|
|
}
|
|
else if (lookup_minimal_symbol("istr", 0, 0).minsym)
|
|
{
|
|
function = find_function_in_inferior("istr", NULL);
|
|
nsstringValue = call_function_by_hand(function, 1, &stringValue[2]);
|
|
}
|
|
else if (lookup_minimal_symbol("+[NSString stringWithCString:]", 0, 0).minsym)
|
|
{
|
|
function
|
|
= find_function_in_inferior("+[NSString stringWithCString:]", NULL);
|
|
type = builtin_type (gdbarch)->builtin_long;
|
|
|
|
stringValue[0] = value_from_longest
|
|
(type, lookup_objc_class (gdbarch, "NSString"));
|
|
stringValue[1] = value_from_longest
|
|
(type, lookup_child_selector (gdbarch, "stringWithCString:"));
|
|
nsstringValue = call_function_by_hand(function, 3, &stringValue[0]);
|
|
}
|
|
else
|
|
error (_("NSString: internal error -- no way to create new NSString"));
|
|
|
|
sym = lookup_struct_typedef("NSString", 0, 1);
|
|
if (sym == NULL)
|
|
sym = lookup_struct_typedef("NXString", 0, 1);
|
|
if (sym == NULL)
|
|
type = builtin_type (gdbarch)->builtin_data_ptr;
|
|
else
|
|
type = lookup_pointer_type(SYMBOL_TYPE (sym));
|
|
|
|
deprecated_set_value_type (nsstringValue, type);
|
|
return nsstringValue;
|
|
}
|
|
|
|
/* Objective-C name demangling. */
|
|
|
|
char *
|
|
objc_demangle (const char *mangled, int options)
|
|
{
|
|
char *demangled, *cp;
|
|
|
|
if (mangled[0] == '_' &&
|
|
(mangled[1] == 'i' || mangled[1] == 'c') &&
|
|
mangled[2] == '_')
|
|
{
|
|
cp = demangled = xmalloc(strlen(mangled) + 2);
|
|
|
|
if (mangled[1] == 'i')
|
|
*cp++ = '-'; /* for instance method */
|
|
else
|
|
*cp++ = '+'; /* for class method */
|
|
|
|
*cp++ = '['; /* opening left brace */
|
|
strcpy(cp, mangled+3); /* Tack on the rest of the mangled name. */
|
|
|
|
while (*cp && *cp == '_')
|
|
cp++; /* Skip any initial underbars in class
|
|
name. */
|
|
|
|
cp = strchr(cp, '_');
|
|
if (!cp) /* Find first non-initial underbar. */
|
|
{
|
|
xfree(demangled); /* not mangled name */
|
|
return NULL;
|
|
}
|
|
if (cp[1] == '_') /* Easy case: no category name. */
|
|
{
|
|
*cp++ = ' '; /* Replace two '_' with one ' '. */
|
|
strcpy(cp, mangled + (cp - demangled) + 2);
|
|
}
|
|
else
|
|
{
|
|
*cp++ = '('; /* Less easy case: category name. */
|
|
cp = strchr(cp, '_');
|
|
if (!cp)
|
|
{
|
|
xfree(demangled); /* not mangled name */
|
|
return NULL;
|
|
}
|
|
*cp++ = ')';
|
|
*cp++ = ' '; /* Overwriting 1st char of method name... */
|
|
strcpy(cp, mangled + (cp - demangled)); /* Get it back. */
|
|
}
|
|
|
|
while (*cp && *cp == '_')
|
|
cp++; /* Skip any initial underbars in
|
|
method name. */
|
|
|
|
for (; *cp; cp++)
|
|
if (*cp == '_')
|
|
*cp = ':'; /* Replace remaining '_' with ':'. */
|
|
|
|
*cp++ = ']'; /* closing right brace */
|
|
*cp++ = 0; /* string terminator */
|
|
return demangled;
|
|
}
|
|
else
|
|
return NULL; /* Not an objc mangled name. */
|
|
}
|
|
|
|
/* Determine if we are currently in the Objective-C dispatch function.
|
|
If so, get the address of the method function that the dispatcher
|
|
would call and use that as the function to step into instead. Also
|
|
skip over the trampoline for the function (if any). This is better
|
|
for the user since they are only interested in stepping into the
|
|
method function anyway. */
|
|
static CORE_ADDR
|
|
objc_skip_trampoline (struct frame_info *frame, CORE_ADDR stop_pc)
|
|
{
|
|
struct gdbarch *gdbarch = get_frame_arch (frame);
|
|
CORE_ADDR real_stop_pc;
|
|
CORE_ADDR method_stop_pc;
|
|
|
|
real_stop_pc = gdbarch_skip_trampoline_code (gdbarch, frame, stop_pc);
|
|
|
|
if (real_stop_pc != 0)
|
|
find_objc_msgcall (real_stop_pc, &method_stop_pc);
|
|
else
|
|
find_objc_msgcall (stop_pc, &method_stop_pc);
|
|
|
|
if (method_stop_pc)
|
|
{
|
|
real_stop_pc = gdbarch_skip_trampoline_code
|
|
(gdbarch, frame, method_stop_pc);
|
|
if (real_stop_pc == 0)
|
|
real_stop_pc = method_stop_pc;
|
|
}
|
|
|
|
return real_stop_pc;
|
|
}
|
|
|
|
|
|
/* Table mapping opcodes into strings for printing operators
|
|
and precedences of the operators. */
|
|
|
|
static const struct op_print objc_op_print_tab[] =
|
|
{
|
|
{",", BINOP_COMMA, PREC_COMMA, 0},
|
|
{"=", BINOP_ASSIGN, PREC_ASSIGN, 1},
|
|
{"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
|
|
{"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
|
|
{"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
|
|
{"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
|
|
{"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
|
|
{"==", BINOP_EQUAL, PREC_EQUAL, 0},
|
|
{"!=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
|
|
{"<=", BINOP_LEQ, PREC_ORDER, 0},
|
|
{">=", BINOP_GEQ, PREC_ORDER, 0},
|
|
{">", BINOP_GTR, PREC_ORDER, 0},
|
|
{"<", BINOP_LESS, PREC_ORDER, 0},
|
|
{">>", BINOP_RSH, PREC_SHIFT, 0},
|
|
{"<<", BINOP_LSH, PREC_SHIFT, 0},
|
|
{"+", BINOP_ADD, PREC_ADD, 0},
|
|
{"-", BINOP_SUB, PREC_ADD, 0},
|
|
{"*", BINOP_MUL, PREC_MUL, 0},
|
|
{"/", BINOP_DIV, PREC_MUL, 0},
|
|
{"%", BINOP_REM, PREC_MUL, 0},
|
|
{"@", BINOP_REPEAT, PREC_REPEAT, 0},
|
|
{"-", UNOP_NEG, PREC_PREFIX, 0},
|
|
{"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
|
|
{"~", UNOP_COMPLEMENT, PREC_PREFIX, 0},
|
|
{"*", UNOP_IND, PREC_PREFIX, 0},
|
|
{"&", UNOP_ADDR, PREC_PREFIX, 0},
|
|
{"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
|
|
{"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
|
|
{"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
|
|
{NULL, OP_NULL, PREC_NULL, 0}
|
|
};
|
|
|
|
const struct language_defn objc_language_defn = {
|
|
"objective-c", /* Language name */
|
|
"Objective-C",
|
|
language_objc,
|
|
range_check_off,
|
|
case_sensitive_on,
|
|
array_row_major,
|
|
macro_expansion_c,
|
|
&exp_descriptor_standard,
|
|
c_parse,
|
|
c_error,
|
|
null_post_parser,
|
|
c_printchar, /* Print a character constant */
|
|
c_printstr, /* Function to print string constant */
|
|
c_emit_char,
|
|
c_print_type, /* Print a type using appropriate syntax */
|
|
c_print_typedef, /* Print a typedef using appropriate syntax */
|
|
c_val_print, /* Print a value using appropriate syntax */
|
|
c_value_print, /* Print a top-level value */
|
|
default_read_var_value, /* la_read_var_value */
|
|
objc_skip_trampoline, /* Language specific skip_trampoline */
|
|
"self", /* name_of_this */
|
|
basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
|
|
basic_lookup_transparent_type,/* lookup_transparent_type */
|
|
objc_demangle, /* Language specific symbol demangler */
|
|
NULL, /* Language specific
|
|
class_name_from_physname */
|
|
objc_op_print_tab, /* Expression operators for printing */
|
|
1, /* C-style arrays */
|
|
0, /* String lower bound */
|
|
default_word_break_characters,
|
|
default_make_symbol_completion_list,
|
|
c_language_arch_info,
|
|
default_print_array_index,
|
|
default_pass_by_reference,
|
|
default_get_string,
|
|
NULL, /* la_get_symbol_name_cmp */
|
|
iterate_over_symbols,
|
|
&default_varobj_ops,
|
|
LANG_MAGIC
|
|
};
|
|
|
|
/*
|
|
* ObjC:
|
|
* Following functions help construct Objective-C message calls.
|
|
*/
|
|
|
|
struct selname /* For parsing Objective-C. */
|
|
{
|
|
struct selname *next;
|
|
char *msglist_sel;
|
|
int msglist_len;
|
|
};
|
|
|
|
static int msglist_len;
|
|
static struct selname *selname_chain;
|
|
static char *msglist_sel;
|
|
|
|
void
|
|
start_msglist(void)
|
|
{
|
|
struct selname *new =
|
|
(struct selname *) xmalloc (sizeof (struct selname));
|
|
|
|
new->next = selname_chain;
|
|
new->msglist_len = msglist_len;
|
|
new->msglist_sel = msglist_sel;
|
|
msglist_len = 0;
|
|
msglist_sel = (char *)xmalloc(1);
|
|
*msglist_sel = 0;
|
|
selname_chain = new;
|
|
}
|
|
|
|
void
|
|
add_msglist(struct stoken *str, int addcolon)
|
|
{
|
|
char *s;
|
|
const char *p;
|
|
int len, plen;
|
|
|
|
if (str == 0) /* Unnamed arg, or... */
|
|
{
|
|
if (addcolon == 0) /* variable number of args. */
|
|
{
|
|
msglist_len++;
|
|
return;
|
|
}
|
|
p = "";
|
|
plen = 0;
|
|
}
|
|
else
|
|
{
|
|
p = str->ptr;
|
|
plen = str->length;
|
|
}
|
|
len = plen + strlen(msglist_sel) + 2;
|
|
s = (char *)xmalloc(len);
|
|
strcpy(s, msglist_sel);
|
|
strncat(s, p, plen);
|
|
xfree(msglist_sel);
|
|
msglist_sel = s;
|
|
if (addcolon)
|
|
{
|
|
s[len-2] = ':';
|
|
s[len-1] = 0;
|
|
msglist_len++;
|
|
}
|
|
else
|
|
s[len-2] = '\0';
|
|
}
|
|
|
|
int
|
|
end_msglist (struct parser_state *ps)
|
|
{
|
|
int val = msglist_len;
|
|
struct selname *sel = selname_chain;
|
|
char *p = msglist_sel;
|
|
CORE_ADDR selid;
|
|
|
|
selname_chain = sel->next;
|
|
msglist_len = sel->msglist_len;
|
|
msglist_sel = sel->msglist_sel;
|
|
selid = lookup_child_selector (parse_gdbarch (ps), p);
|
|
if (!selid)
|
|
error (_("Can't find selector \"%s\""), p);
|
|
write_exp_elt_longcst (ps, selid);
|
|
xfree(p);
|
|
write_exp_elt_longcst (ps, val); /* Number of args */
|
|
xfree(sel);
|
|
|
|
return val;
|
|
}
|
|
|
|
/*
|
|
* Function: specialcmp (const char *a, const char *b)
|
|
*
|
|
* Special strcmp: treats ']' and ' ' as end-of-string.
|
|
* Used for qsorting lists of objc methods (either by class or selector).
|
|
*/
|
|
|
|
static int
|
|
specialcmp (const char *a, const char *b)
|
|
{
|
|
while (*a && *a != ' ' && *a != ']' && *b && *b != ' ' && *b != ']')
|
|
{
|
|
if (*a != *b)
|
|
return *a - *b;
|
|
a++, b++;
|
|
}
|
|
if (*a && *a != ' ' && *a != ']')
|
|
return 1; /* a is longer therefore greater. */
|
|
if (*b && *b != ' ' && *b != ']')
|
|
return -1; /* a is shorter therefore lesser. */
|
|
return 0; /* a and b are identical. */
|
|
}
|
|
|
|
/*
|
|
* Function: compare_selectors (const void *, const void *)
|
|
*
|
|
* Comparison function for use with qsort. Arguments are symbols or
|
|
* msymbols Compares selector part of objc method name alphabetically.
|
|
*/
|
|
|
|
static int
|
|
compare_selectors (const void *a, const void *b)
|
|
{
|
|
const char *aname, *bname;
|
|
|
|
aname = SYMBOL_PRINT_NAME (*(struct symbol **) a);
|
|
bname = SYMBOL_PRINT_NAME (*(struct symbol **) b);
|
|
if (aname == NULL || bname == NULL)
|
|
error (_("internal: compare_selectors(1)"));
|
|
|
|
aname = strchr(aname, ' ');
|
|
bname = strchr(bname, ' ');
|
|
if (aname == NULL || bname == NULL)
|
|
error (_("internal: compare_selectors(2)"));
|
|
|
|
return specialcmp (aname+1, bname+1);
|
|
}
|
|
|
|
/*
|
|
* Function: selectors_info (regexp, from_tty)
|
|
*
|
|
* Implements the "Info selectors" command. Takes an optional regexp
|
|
* arg. Lists all objective c selectors that match the regexp. Works
|
|
* by grepping thru all symbols for objective c methods. Output list
|
|
* is sorted and uniqued.
|
|
*/
|
|
|
|
static void
|
|
selectors_info (char *regexp, int from_tty)
|
|
{
|
|
struct objfile *objfile;
|
|
struct minimal_symbol *msymbol;
|
|
const char *name;
|
|
char *val;
|
|
int matches = 0;
|
|
int maxlen = 0;
|
|
int ix;
|
|
char myregexp[2048];
|
|
char asel[256];
|
|
struct symbol **sym_arr;
|
|
int plusminus = 0;
|
|
|
|
if (regexp == NULL)
|
|
strcpy(myregexp, ".*]"); /* Null input, match all objc methods. */
|
|
else
|
|
{
|
|
if (*regexp == '+' || *regexp == '-')
|
|
{ /* User wants only class methods or only instance methods. */
|
|
plusminus = *regexp++;
|
|
while (*regexp == ' ' || *regexp == '\t')
|
|
regexp++;
|
|
}
|
|
if (*regexp == '\0')
|
|
strcpy(myregexp, ".*]");
|
|
else
|
|
{
|
|
/* Allow a few extra bytes because of the strcat below. */
|
|
if (sizeof (myregexp) < strlen (regexp) + 4)
|
|
error (_("Regexp is too long: %s"), regexp);
|
|
strcpy(myregexp, regexp);
|
|
if (myregexp[strlen(myregexp) - 1] == '$') /* end of selector */
|
|
myregexp[strlen(myregexp) - 1] = ']'; /* end of method name */
|
|
else
|
|
strcat(myregexp, ".*]");
|
|
}
|
|
}
|
|
|
|
if (regexp != NULL)
|
|
{
|
|
val = re_comp (myregexp);
|
|
if (val != 0)
|
|
error (_("Invalid regexp (%s): %s"), val, regexp);
|
|
}
|
|
|
|
/* First time thru is JUST to get max length and count. */
|
|
ALL_MSYMBOLS (objfile, msymbol)
|
|
{
|
|
QUIT;
|
|
name = MSYMBOL_NATURAL_NAME (msymbol);
|
|
if (name
|
|
&& (name[0] == '-' || name[0] == '+')
|
|
&& name[1] == '[') /* Got a method name. */
|
|
{
|
|
/* Filter for class/instance methods. */
|
|
if (plusminus && name[0] != plusminus)
|
|
continue;
|
|
/* Find selector part. */
|
|
name = (char *) strchr (name+2, ' ');
|
|
if (name == NULL)
|
|
{
|
|
complaint (&symfile_complaints,
|
|
_("Bad method name '%s'"),
|
|
MSYMBOL_NATURAL_NAME (msymbol));
|
|
continue;
|
|
}
|
|
if (regexp == NULL || re_exec(++name) != 0)
|
|
{
|
|
const char *mystart = name;
|
|
const char *myend = strchr (mystart, ']');
|
|
|
|
if (myend && (myend - mystart > maxlen))
|
|
maxlen = myend - mystart; /* Get longest selector. */
|
|
matches++;
|
|
}
|
|
}
|
|
}
|
|
if (matches)
|
|
{
|
|
printf_filtered (_("Selectors matching \"%s\":\n\n"),
|
|
regexp ? regexp : "*");
|
|
|
|
sym_arr = alloca (matches * sizeof (struct symbol *));
|
|
matches = 0;
|
|
ALL_MSYMBOLS (objfile, msymbol)
|
|
{
|
|
QUIT;
|
|
name = MSYMBOL_NATURAL_NAME (msymbol);
|
|
if (name &&
|
|
(name[0] == '-' || name[0] == '+') &&
|
|
name[1] == '[') /* Got a method name. */
|
|
{
|
|
/* Filter for class/instance methods. */
|
|
if (plusminus && name[0] != plusminus)
|
|
continue;
|
|
/* Find selector part. */
|
|
name = (char *) strchr(name+2, ' ');
|
|
if (regexp == NULL || re_exec(++name) != 0)
|
|
sym_arr[matches++] = (struct symbol *) msymbol;
|
|
}
|
|
}
|
|
|
|
qsort (sym_arr, matches, sizeof (struct minimal_symbol *),
|
|
compare_selectors);
|
|
/* Prevent compare on first iteration. */
|
|
asel[0] = 0;
|
|
for (ix = 0; ix < matches; ix++) /* Now do the output. */
|
|
{
|
|
char *p = asel;
|
|
|
|
QUIT;
|
|
name = SYMBOL_NATURAL_NAME (sym_arr[ix]);
|
|
name = strchr (name, ' ') + 1;
|
|
if (p[0] && specialcmp(name, p) == 0)
|
|
continue; /* Seen this one already (not unique). */
|
|
|
|
/* Copy selector part. */
|
|
while (*name && *name != ']')
|
|
*p++ = *name++;
|
|
*p++ = '\0';
|
|
/* Print in columns. */
|
|
puts_filtered_tabular(asel, maxlen + 1, 0);
|
|
}
|
|
begin_line();
|
|
}
|
|
else
|
|
printf_filtered (_("No selectors matching \"%s\"\n"),
|
|
regexp ? regexp : "*");
|
|
}
|
|
|
|
/*
|
|
* Function: compare_classes (const void *, const void *)
|
|
*
|
|
* Comparison function for use with qsort. Arguments are symbols or
|
|
* msymbols Compares class part of objc method name alphabetically.
|
|
*/
|
|
|
|
static int
|
|
compare_classes (const void *a, const void *b)
|
|
{
|
|
const char *aname, *bname;
|
|
|
|
aname = SYMBOL_PRINT_NAME (*(struct symbol **) a);
|
|
bname = SYMBOL_PRINT_NAME (*(struct symbol **) b);
|
|
if (aname == NULL || bname == NULL)
|
|
error (_("internal: compare_classes(1)"));
|
|
|
|
return specialcmp (aname+1, bname+1);
|
|
}
|
|
|
|
/*
|
|
* Function: classes_info(regexp, from_tty)
|
|
*
|
|
* Implements the "info classes" command for objective c classes.
|
|
* Lists all objective c classes that match the optional regexp.
|
|
* Works by grepping thru the list of objective c methods. List will
|
|
* be sorted and uniqued (since one class may have many methods).
|
|
* BUGS: will not list a class that has no methods.
|
|
*/
|
|
|
|
static void
|
|
classes_info (char *regexp, int from_tty)
|
|
{
|
|
struct objfile *objfile;
|
|
struct minimal_symbol *msymbol;
|
|
const char *name;
|
|
char *val;
|
|
int matches = 0;
|
|
int maxlen = 0;
|
|
int ix;
|
|
char myregexp[2048];
|
|
char aclass[256];
|
|
struct symbol **sym_arr;
|
|
|
|
if (regexp == NULL)
|
|
strcpy(myregexp, ".* "); /* Null input: match all objc classes. */
|
|
else
|
|
{
|
|
/* Allow a few extra bytes because of the strcat below. */
|
|
if (sizeof (myregexp) < strlen (regexp) + 4)
|
|
error (_("Regexp is too long: %s"), regexp);
|
|
strcpy(myregexp, regexp);
|
|
if (myregexp[strlen(myregexp) - 1] == '$')
|
|
/* In the method name, the end of the class name is marked by ' '. */
|
|
myregexp[strlen(myregexp) - 1] = ' ';
|
|
else
|
|
strcat(myregexp, ".* ");
|
|
}
|
|
|
|
if (regexp != NULL)
|
|
{
|
|
val = re_comp (myregexp);
|
|
if (val != 0)
|
|
error (_("Invalid regexp (%s): %s"), val, regexp);
|
|
}
|
|
|
|
/* First time thru is JUST to get max length and count. */
|
|
ALL_MSYMBOLS (objfile, msymbol)
|
|
{
|
|
QUIT;
|
|
name = MSYMBOL_NATURAL_NAME (msymbol);
|
|
if (name &&
|
|
(name[0] == '-' || name[0] == '+') &&
|
|
name[1] == '[') /* Got a method name. */
|
|
if (regexp == NULL || re_exec(name+2) != 0)
|
|
{
|
|
/* Compute length of classname part. */
|
|
const char *mystart = name + 2;
|
|
const char *myend = strchr (mystart, ' ');
|
|
|
|
if (myend && (myend - mystart > maxlen))
|
|
maxlen = myend - mystart;
|
|
matches++;
|
|
}
|
|
}
|
|
if (matches)
|
|
{
|
|
printf_filtered (_("Classes matching \"%s\":\n\n"),
|
|
regexp ? regexp : "*");
|
|
sym_arr = alloca (matches * sizeof (struct symbol *));
|
|
matches = 0;
|
|
ALL_MSYMBOLS (objfile, msymbol)
|
|
{
|
|
QUIT;
|
|
name = MSYMBOL_NATURAL_NAME (msymbol);
|
|
if (name &&
|
|
(name[0] == '-' || name[0] == '+') &&
|
|
name[1] == '[') /* Got a method name. */
|
|
if (regexp == NULL || re_exec(name+2) != 0)
|
|
sym_arr[matches++] = (struct symbol *) msymbol;
|
|
}
|
|
|
|
qsort (sym_arr, matches, sizeof (struct minimal_symbol *),
|
|
compare_classes);
|
|
/* Prevent compare on first iteration. */
|
|
aclass[0] = 0;
|
|
for (ix = 0; ix < matches; ix++) /* Now do the output. */
|
|
{
|
|
char *p = aclass;
|
|
|
|
QUIT;
|
|
name = SYMBOL_NATURAL_NAME (sym_arr[ix]);
|
|
name += 2;
|
|
if (p[0] && specialcmp(name, p) == 0)
|
|
continue; /* Seen this one already (not unique). */
|
|
|
|
/* Copy class part of method name. */
|
|
while (*name && *name != ' ')
|
|
*p++ = *name++;
|
|
*p++ = '\0';
|
|
/* Print in columns. */
|
|
puts_filtered_tabular(aclass, maxlen + 1, 0);
|
|
}
|
|
begin_line();
|
|
}
|
|
else
|
|
printf_filtered (_("No classes matching \"%s\"\n"), regexp ? regexp : "*");
|
|
}
|
|
|
|
static char *
|
|
parse_selector (char *method, char **selector)
|
|
{
|
|
char *s1 = NULL;
|
|
char *s2 = NULL;
|
|
int found_quote = 0;
|
|
|
|
char *nselector = NULL;
|
|
|
|
gdb_assert (selector != NULL);
|
|
|
|
s1 = method;
|
|
|
|
s1 = skip_spaces (s1);
|
|
if (*s1 == '\'')
|
|
{
|
|
found_quote = 1;
|
|
s1++;
|
|
}
|
|
s1 = skip_spaces (s1);
|
|
|
|
nselector = s1;
|
|
s2 = s1;
|
|
|
|
for (;;)
|
|
{
|
|
if (isalnum (*s2) || (*s2 == '_') || (*s2 == ':'))
|
|
*s1++ = *s2;
|
|
else if (isspace (*s2))
|
|
;
|
|
else if ((*s2 == '\0') || (*s2 == '\''))
|
|
break;
|
|
else
|
|
return NULL;
|
|
s2++;
|
|
}
|
|
*s1++ = '\0';
|
|
|
|
s2 = skip_spaces (s2);
|
|
if (found_quote)
|
|
{
|
|
if (*s2 == '\'')
|
|
s2++;
|
|
s2 = skip_spaces (s2);
|
|
}
|
|
|
|
if (selector != NULL)
|
|
*selector = nselector;
|
|
|
|
return s2;
|
|
}
|
|
|
|
static char *
|
|
parse_method (char *method, char *type, char **class,
|
|
char **category, char **selector)
|
|
{
|
|
char *s1 = NULL;
|
|
char *s2 = NULL;
|
|
int found_quote = 0;
|
|
|
|
char ntype = '\0';
|
|
char *nclass = NULL;
|
|
char *ncategory = NULL;
|
|
char *nselector = NULL;
|
|
|
|
gdb_assert (type != NULL);
|
|
gdb_assert (class != NULL);
|
|
gdb_assert (category != NULL);
|
|
gdb_assert (selector != NULL);
|
|
|
|
s1 = method;
|
|
|
|
s1 = skip_spaces (s1);
|
|
if (*s1 == '\'')
|
|
{
|
|
found_quote = 1;
|
|
s1++;
|
|
}
|
|
s1 = skip_spaces (s1);
|
|
|
|
if ((s1[0] == '+') || (s1[0] == '-'))
|
|
ntype = *s1++;
|
|
|
|
s1 = skip_spaces (s1);
|
|
|
|
if (*s1 != '[')
|
|
return NULL;
|
|
s1++;
|
|
|
|
nclass = s1;
|
|
while (isalnum (*s1) || (*s1 == '_'))
|
|
s1++;
|
|
|
|
s2 = s1;
|
|
s2 = skip_spaces (s2);
|
|
|
|
if (*s2 == '(')
|
|
{
|
|
s2++;
|
|
s2 = skip_spaces (s2);
|
|
ncategory = s2;
|
|
while (isalnum (*s2) || (*s2 == '_'))
|
|
s2++;
|
|
*s2++ = '\0';
|
|
}
|
|
|
|
/* Truncate the class name now that we're not using the open paren. */
|
|
*s1++ = '\0';
|
|
|
|
nselector = s2;
|
|
s1 = s2;
|
|
|
|
for (;;)
|
|
{
|
|
if (isalnum (*s2) || (*s2 == '_') || (*s2 == ':'))
|
|
*s1++ = *s2;
|
|
else if (isspace (*s2))
|
|
;
|
|
else if (*s2 == ']')
|
|
break;
|
|
else
|
|
return NULL;
|
|
s2++;
|
|
}
|
|
*s1++ = '\0';
|
|
s2++;
|
|
|
|
s2 = skip_spaces (s2);
|
|
if (found_quote)
|
|
{
|
|
if (*s2 != '\'')
|
|
return NULL;
|
|
s2++;
|
|
s2 = skip_spaces (s2);
|
|
}
|
|
|
|
if (type != NULL)
|
|
*type = ntype;
|
|
if (class != NULL)
|
|
*class = nclass;
|
|
if (category != NULL)
|
|
*category = ncategory;
|
|
if (selector != NULL)
|
|
*selector = nselector;
|
|
|
|
return s2;
|
|
}
|
|
|
|
static void
|
|
find_methods (char type, const char *class, const char *category,
|
|
const char *selector,
|
|
VEC (const_char_ptr) **symbol_names)
|
|
{
|
|
struct objfile *objfile = NULL;
|
|
|
|
const char *symname = NULL;
|
|
|
|
char ntype = '\0';
|
|
char *nclass = NULL;
|
|
char *ncategory = NULL;
|
|
char *nselector = NULL;
|
|
|
|
static char *tmp = NULL;
|
|
static unsigned int tmplen = 0;
|
|
|
|
gdb_assert (symbol_names != NULL);
|
|
|
|
ALL_OBJFILES (objfile)
|
|
{
|
|
unsigned int *objc_csym;
|
|
struct minimal_symbol *msymbol = NULL;
|
|
|
|
/* The objfile_csym variable counts the number of ObjC methods
|
|
that this objfile defines. We save that count as a private
|
|
objfile data. If we have already determined that this objfile
|
|
provides no ObjC methods, we can skip it entirely. */
|
|
|
|
unsigned int objfile_csym = 0;
|
|
|
|
objc_csym = objfile_data (objfile, objc_objfile_data);
|
|
if (objc_csym != NULL && *objc_csym == 0)
|
|
/* There are no ObjC symbols in this objfile. Skip it entirely. */
|
|
continue;
|
|
|
|
ALL_OBJFILE_MSYMBOLS (objfile, msymbol)
|
|
{
|
|
QUIT;
|
|
|
|
/* Check the symbol name first as this can be done entirely without
|
|
sending any query to the target. */
|
|
symname = MSYMBOL_NATURAL_NAME (msymbol);
|
|
if (symname == NULL)
|
|
continue;
|
|
|
|
if ((symname[0] != '-' && symname[0] != '+') || (symname[1] != '['))
|
|
/* Not a method name. */
|
|
continue;
|
|
|
|
objfile_csym++;
|
|
|
|
/* Now that thinks are a bit sane, clean up the symname. */
|
|
while ((strlen (symname) + 1) >= tmplen)
|
|
{
|
|
tmplen = (tmplen == 0) ? 1024 : tmplen * 2;
|
|
tmp = xrealloc (tmp, tmplen);
|
|
}
|
|
strcpy (tmp, symname);
|
|
|
|
if (parse_method (tmp, &ntype, &nclass,
|
|
&ncategory, &nselector) == NULL)
|
|
continue;
|
|
|
|
if ((type != '\0') && (ntype != type))
|
|
continue;
|
|
|
|
if ((class != NULL)
|
|
&& ((nclass == NULL) || (strcmp (class, nclass) != 0)))
|
|
continue;
|
|
|
|
if ((category != NULL) &&
|
|
((ncategory == NULL) || (strcmp (category, ncategory) != 0)))
|
|
continue;
|
|
|
|
if ((selector != NULL) &&
|
|
((nselector == NULL) || (strcmp (selector, nselector) != 0)))
|
|
continue;
|
|
|
|
VEC_safe_push (const_char_ptr, *symbol_names, symname);
|
|
}
|
|
|
|
if (objc_csym == NULL)
|
|
{
|
|
objc_csym = obstack_alloc (&objfile->objfile_obstack,
|
|
sizeof (*objc_csym));
|
|
*objc_csym = objfile_csym;
|
|
set_objfile_data (objfile, objc_objfile_data, objc_csym);
|
|
}
|
|
else
|
|
/* Count of ObjC methods in this objfile should be constant. */
|
|
gdb_assert (*objc_csym == objfile_csym);
|
|
}
|
|
}
|
|
|
|
/* Uniquify a VEC of strings. */
|
|
|
|
static void
|
|
uniquify_strings (VEC (const_char_ptr) **strings)
|
|
{
|
|
int ix;
|
|
const char *elem, *last = NULL;
|
|
int out;
|
|
|
|
/* If the vector is empty, there's nothing to do. This explicit
|
|
check is needed to avoid invoking qsort with NULL. */
|
|
if (VEC_empty (const_char_ptr, *strings))
|
|
return;
|
|
|
|
qsort (VEC_address (const_char_ptr, *strings),
|
|
VEC_length (const_char_ptr, *strings),
|
|
sizeof (const_char_ptr),
|
|
compare_strings);
|
|
out = 0;
|
|
for (ix = 0; VEC_iterate (const_char_ptr, *strings, ix, elem); ++ix)
|
|
{
|
|
if (last == NULL || strcmp (last, elem) != 0)
|
|
{
|
|
/* Keep ELEM. */
|
|
VEC_replace (const_char_ptr, *strings, out, elem);
|
|
++out;
|
|
}
|
|
last = elem;
|
|
}
|
|
VEC_truncate (const_char_ptr, *strings, out);
|
|
}
|
|
|
|
/*
|
|
* Function: find_imps (const char *selector, struct symbol **sym_arr)
|
|
*
|
|
* Input: a string representing a selector
|
|
* a pointer to an array of symbol pointers
|
|
* possibly a pointer to a symbol found by the caller.
|
|
*
|
|
* Output: number of methods that implement that selector. Side
|
|
* effects: The array of symbol pointers is filled with matching syms.
|
|
*
|
|
* By analogy with function "find_methods" (symtab.c), builds a list
|
|
* of symbols matching the ambiguous input, so that "decode_line_2"
|
|
* (symtab.c) can list them and ask the user to choose one or more.
|
|
* In this case the matches are objective c methods
|
|
* ("implementations") matching an objective c selector.
|
|
*
|
|
* Note that it is possible for a normal (c-style) function to have
|
|
* the same name as an objective c selector. To prevent the selector
|
|
* from eclipsing the function, we allow the caller (decode_line_1) to
|
|
* search for such a function first, and if it finds one, pass it in
|
|
* to us. We will then integrate it into the list. We also search
|
|
* for one here, among the minsyms.
|
|
*
|
|
* NOTE: if NUM_DEBUGGABLE is non-zero, the sym_arr will be divided
|
|
* into two parts: debuggable (struct symbol) syms, and
|
|
* non_debuggable (struct minimal_symbol) syms. The debuggable
|
|
* ones will come first, before NUM_DEBUGGABLE (which will thus
|
|
* be the index of the first non-debuggable one).
|
|
*/
|
|
|
|
const char *
|
|
find_imps (const char *method, VEC (const_char_ptr) **symbol_names)
|
|
{
|
|
char type = '\0';
|
|
char *class = NULL;
|
|
char *category = NULL;
|
|
char *selector = NULL;
|
|
|
|
char *buf = NULL;
|
|
char *tmp = NULL;
|
|
|
|
int selector_case = 0;
|
|
|
|
gdb_assert (symbol_names != NULL);
|
|
|
|
buf = (char *) alloca (strlen (method) + 1);
|
|
strcpy (buf, method);
|
|
tmp = parse_method (buf, &type, &class, &category, &selector);
|
|
|
|
if (tmp == NULL)
|
|
{
|
|
strcpy (buf, method);
|
|
tmp = parse_selector (buf, &selector);
|
|
|
|
if (tmp == NULL)
|
|
return NULL;
|
|
|
|
selector_case = 1;
|
|
}
|
|
|
|
find_methods (type, class, category, selector, symbol_names);
|
|
|
|
/* If we hit the "selector" case, and we found some methods, then
|
|
add the selector itself as a symbol, if it exists. */
|
|
if (selector_case && !VEC_empty (const_char_ptr, *symbol_names))
|
|
{
|
|
struct symbol *sym = lookup_symbol (selector, NULL, VAR_DOMAIN, 0);
|
|
|
|
if (sym != NULL)
|
|
VEC_safe_push (const_char_ptr, *symbol_names,
|
|
SYMBOL_NATURAL_NAME (sym));
|
|
else
|
|
{
|
|
struct bound_minimal_symbol msym
|
|
= lookup_minimal_symbol (selector, 0, 0);
|
|
|
|
if (msym.minsym != NULL)
|
|
VEC_safe_push (const_char_ptr, *symbol_names,
|
|
MSYMBOL_NATURAL_NAME (msym.minsym));
|
|
}
|
|
}
|
|
|
|
uniquify_strings (symbol_names);
|
|
|
|
return method + (tmp - buf);
|
|
}
|
|
|
|
static void
|
|
print_object_command (char *args, int from_tty)
|
|
{
|
|
struct value *object, *function, *description;
|
|
CORE_ADDR string_addr, object_addr;
|
|
int i = 0;
|
|
gdb_byte c = 0;
|
|
|
|
if (!args || !*args)
|
|
error (
|
|
"The 'print-object' command requires an argument (an Objective-C object)");
|
|
|
|
{
|
|
struct expression *expr = parse_expression (args);
|
|
struct cleanup *old_chain =
|
|
make_cleanup (free_current_contents, &expr);
|
|
int pc = 0;
|
|
|
|
object = evaluate_subexp (builtin_type (expr->gdbarch)->builtin_data_ptr,
|
|
expr, &pc, EVAL_NORMAL);
|
|
do_cleanups (old_chain);
|
|
}
|
|
|
|
/* Validate the address for sanity. */
|
|
object_addr = value_as_long (object);
|
|
read_memory (object_addr, &c, 1);
|
|
|
|
function = find_function_in_inferior ("_NSPrintForDebugger", NULL);
|
|
if (function == NULL)
|
|
error (_("Unable to locate _NSPrintForDebugger in child process"));
|
|
|
|
description = call_function_by_hand (function, 1, &object);
|
|
|
|
string_addr = value_as_long (description);
|
|
if (string_addr == 0)
|
|
error (_("object returns null description"));
|
|
|
|
read_memory (string_addr + i++, &c, 1);
|
|
if (c != 0)
|
|
do
|
|
{ /* Read and print characters up to EOS. */
|
|
QUIT;
|
|
printf_filtered ("%c", c);
|
|
read_memory (string_addr + i++, &c, 1);
|
|
} while (c != 0);
|
|
else
|
|
printf_filtered(_("<object returns empty description>"));
|
|
printf_filtered ("\n");
|
|
}
|
|
|
|
/* The data structure 'methcalls' is used to detect method calls (thru
|
|
* ObjC runtime lib functions objc_msgSend, objc_msgSendSuper, etc.),
|
|
* and ultimately find the method being called.
|
|
*/
|
|
|
|
struct objc_methcall {
|
|
char *name;
|
|
/* Return instance method to be called. */
|
|
int (*stop_at) (CORE_ADDR, CORE_ADDR *);
|
|
/* Start of pc range corresponding to method invocation. */
|
|
CORE_ADDR begin;
|
|
/* End of pc range corresponding to method invocation. */
|
|
CORE_ADDR end;
|
|
};
|
|
|
|
static int resolve_msgsend (CORE_ADDR pc, CORE_ADDR *new_pc);
|
|
static int resolve_msgsend_stret (CORE_ADDR pc, CORE_ADDR *new_pc);
|
|
static int resolve_msgsend_super (CORE_ADDR pc, CORE_ADDR *new_pc);
|
|
static int resolve_msgsend_super_stret (CORE_ADDR pc, CORE_ADDR *new_pc);
|
|
|
|
static struct objc_methcall methcalls[] = {
|
|
{ "_objc_msgSend", resolve_msgsend, 0, 0},
|
|
{ "_objc_msgSend_stret", resolve_msgsend_stret, 0, 0},
|
|
{ "_objc_msgSendSuper", resolve_msgsend_super, 0, 0},
|
|
{ "_objc_msgSendSuper_stret", resolve_msgsend_super_stret, 0, 0},
|
|
{ "_objc_getClass", NULL, 0, 0},
|
|
{ "_objc_getMetaClass", NULL, 0, 0}
|
|
};
|
|
|
|
#define nmethcalls (sizeof (methcalls) / sizeof (methcalls[0]))
|
|
|
|
/* The following function, "find_objc_msgsend", fills in the data
|
|
* structure "objc_msgs" by finding the addresses of each of the
|
|
* (currently four) functions that it holds (of which objc_msgSend is
|
|
* the first). This must be called each time symbols are loaded, in
|
|
* case the functions have moved for some reason.
|
|
*/
|
|
|
|
static void
|
|
find_objc_msgsend (void)
|
|
{
|
|
unsigned int i;
|
|
|
|
for (i = 0; i < nmethcalls; i++)
|
|
{
|
|
struct bound_minimal_symbol func;
|
|
|
|
/* Try both with and without underscore. */
|
|
func = lookup_bound_minimal_symbol (methcalls[i].name);
|
|
if ((func.minsym == NULL) && (methcalls[i].name[0] == '_'))
|
|
{
|
|
func = lookup_bound_minimal_symbol (methcalls[i].name + 1);
|
|
}
|
|
if (func.minsym == NULL)
|
|
{
|
|
methcalls[i].begin = 0;
|
|
methcalls[i].end = 0;
|
|
continue;
|
|
}
|
|
|
|
methcalls[i].begin = BMSYMBOL_VALUE_ADDRESS (func);
|
|
methcalls[i].end = minimal_symbol_upper_bound (func);
|
|
}
|
|
}
|
|
|
|
/* find_objc_msgcall (replaces pc_off_limits)
|
|
*
|
|
* ALL that this function now does is to determine whether the input
|
|
* address ("pc") is the address of one of the Objective-C message
|
|
* dispatch functions (mainly objc_msgSend or objc_msgSendSuper), and
|
|
* if so, it returns the address of the method that will be called.
|
|
*
|
|
* The old function "pc_off_limits" used to do a lot of other things
|
|
* in addition, such as detecting shared library jump stubs and
|
|
* returning the address of the shlib function that would be called.
|
|
* That functionality has been moved into the gdbarch_skip_trampoline_code and
|
|
* IN_SOLIB_TRAMPOLINE macros, which are resolved in the target-
|
|
* dependent modules.
|
|
*/
|
|
|
|
struct objc_submethod_helper_data {
|
|
int (*f) (CORE_ADDR, CORE_ADDR *);
|
|
CORE_ADDR pc;
|
|
CORE_ADDR *new_pc;
|
|
};
|
|
|
|
static int
|
|
find_objc_msgcall_submethod_helper (void * arg)
|
|
{
|
|
struct objc_submethod_helper_data *s =
|
|
(struct objc_submethod_helper_data *) arg;
|
|
|
|
if (s->f (s->pc, s->new_pc) == 0)
|
|
return 1;
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
find_objc_msgcall_submethod (int (*f) (CORE_ADDR, CORE_ADDR *),
|
|
CORE_ADDR pc,
|
|
CORE_ADDR *new_pc)
|
|
{
|
|
struct objc_submethod_helper_data s;
|
|
|
|
s.f = f;
|
|
s.pc = pc;
|
|
s.new_pc = new_pc;
|
|
|
|
if (catch_errors (find_objc_msgcall_submethod_helper,
|
|
(void *) &s,
|
|
"Unable to determine target of "
|
|
"Objective-C method call (ignoring):\n",
|
|
RETURN_MASK_ALL) == 0)
|
|
return 1;
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
find_objc_msgcall (CORE_ADDR pc, CORE_ADDR *new_pc)
|
|
{
|
|
unsigned int i;
|
|
|
|
find_objc_msgsend ();
|
|
if (new_pc != NULL)
|
|
{
|
|
*new_pc = 0;
|
|
}
|
|
|
|
for (i = 0; i < nmethcalls; i++)
|
|
if ((pc >= methcalls[i].begin) && (pc < methcalls[i].end))
|
|
{
|
|
if (methcalls[i].stop_at != NULL)
|
|
return find_objc_msgcall_submethod (methcalls[i].stop_at,
|
|
pc, new_pc);
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* -Wmissing-prototypes */
|
|
extern initialize_file_ftype _initialize_objc_language;
|
|
|
|
void
|
|
_initialize_objc_language (void)
|
|
{
|
|
add_language (&objc_language_defn);
|
|
add_info ("selectors", selectors_info, /* INFO SELECTORS command. */
|
|
_("All Objective-C selectors, or those matching REGEXP."));
|
|
add_info ("classes", classes_info, /* INFO CLASSES command. */
|
|
_("All Objective-C classes, or those matching REGEXP."));
|
|
add_com ("print-object", class_vars, print_object_command,
|
|
_("Ask an Objective-C object to print itself."));
|
|
add_com_alias ("po", "print-object", class_vars, 1);
|
|
}
|
|
|
|
static void
|
|
read_objc_method (struct gdbarch *gdbarch, CORE_ADDR addr,
|
|
struct objc_method *method)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
|
|
method->name = read_memory_unsigned_integer (addr + 0, 4, byte_order);
|
|
method->types = read_memory_unsigned_integer (addr + 4, 4, byte_order);
|
|
method->imp = read_memory_unsigned_integer (addr + 8, 4, byte_order);
|
|
}
|
|
|
|
static unsigned long
|
|
read_objc_methlist_nmethods (struct gdbarch *gdbarch, CORE_ADDR addr)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
|
|
return read_memory_unsigned_integer (addr + 4, 4, byte_order);
|
|
}
|
|
|
|
static void
|
|
read_objc_methlist_method (struct gdbarch *gdbarch, CORE_ADDR addr,
|
|
unsigned long num, struct objc_method *method)
|
|
{
|
|
gdb_assert (num < read_objc_methlist_nmethods (gdbarch, addr));
|
|
read_objc_method (gdbarch, addr + 8 + (12 * num), method);
|
|
}
|
|
|
|
static void
|
|
read_objc_object (struct gdbarch *gdbarch, CORE_ADDR addr,
|
|
struct objc_object *object)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
|
|
object->isa = read_memory_unsigned_integer (addr, 4, byte_order);
|
|
}
|
|
|
|
static void
|
|
read_objc_super (struct gdbarch *gdbarch, CORE_ADDR addr,
|
|
struct objc_super *super)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
|
|
super->receiver = read_memory_unsigned_integer (addr, 4, byte_order);
|
|
super->class = read_memory_unsigned_integer (addr + 4, 4, byte_order);
|
|
};
|
|
|
|
static void
|
|
read_objc_class (struct gdbarch *gdbarch, CORE_ADDR addr,
|
|
struct objc_class *class)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
|
|
class->isa = read_memory_unsigned_integer (addr, 4, byte_order);
|
|
class->super_class = read_memory_unsigned_integer (addr + 4, 4, byte_order);
|
|
class->name = read_memory_unsigned_integer (addr + 8, 4, byte_order);
|
|
class->version = read_memory_unsigned_integer (addr + 12, 4, byte_order);
|
|
class->info = read_memory_unsigned_integer (addr + 16, 4, byte_order);
|
|
class->instance_size = read_memory_unsigned_integer (addr + 18, 4,
|
|
byte_order);
|
|
class->ivars = read_memory_unsigned_integer (addr + 24, 4, byte_order);
|
|
class->methods = read_memory_unsigned_integer (addr + 28, 4, byte_order);
|
|
class->cache = read_memory_unsigned_integer (addr + 32, 4, byte_order);
|
|
class->protocols = read_memory_unsigned_integer (addr + 36, 4, byte_order);
|
|
}
|
|
|
|
static CORE_ADDR
|
|
find_implementation_from_class (struct gdbarch *gdbarch,
|
|
CORE_ADDR class, CORE_ADDR sel)
|
|
{
|
|
enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
|
|
CORE_ADDR subclass = class;
|
|
|
|
while (subclass != 0)
|
|
{
|
|
|
|
struct objc_class class_str;
|
|
unsigned mlistnum = 0;
|
|
|
|
read_objc_class (gdbarch, subclass, &class_str);
|
|
|
|
for (;;)
|
|
{
|
|
CORE_ADDR mlist;
|
|
unsigned long nmethods;
|
|
unsigned long i;
|
|
|
|
mlist = read_memory_unsigned_integer (class_str.methods +
|
|
(4 * mlistnum),
|
|
4, byte_order);
|
|
if (mlist == 0)
|
|
break;
|
|
|
|
nmethods = read_objc_methlist_nmethods (gdbarch, mlist);
|
|
|
|
for (i = 0; i < nmethods; i++)
|
|
{
|
|
struct objc_method meth_str;
|
|
|
|
read_objc_methlist_method (gdbarch, mlist, i, &meth_str);
|
|
#if 0
|
|
fprintf (stderr,
|
|
"checking method 0x%lx against selector 0x%lx\n",
|
|
meth_str.name, sel);
|
|
#endif
|
|
|
|
if (meth_str.name == sel)
|
|
/* FIXME: hppa arch was doing a pointer dereference
|
|
here. There needs to be a better way to do that. */
|
|
return meth_str.imp;
|
|
}
|
|
mlistnum++;
|
|
}
|
|
subclass = class_str.super_class;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static CORE_ADDR
|
|
find_implementation (struct gdbarch *gdbarch,
|
|
CORE_ADDR object, CORE_ADDR sel)
|
|
{
|
|
struct objc_object ostr;
|
|
|
|
if (object == 0)
|
|
return 0;
|
|
read_objc_object (gdbarch, object, &ostr);
|
|
if (ostr.isa == 0)
|
|
return 0;
|
|
|
|
return find_implementation_from_class (gdbarch, ostr.isa, sel);
|
|
}
|
|
|
|
static int
|
|
resolve_msgsend (CORE_ADDR pc, CORE_ADDR *new_pc)
|
|
{
|
|
struct frame_info *frame = get_current_frame ();
|
|
struct gdbarch *gdbarch = get_frame_arch (frame);
|
|
struct type *ptr_type = builtin_type (gdbarch)->builtin_func_ptr;
|
|
|
|
CORE_ADDR object;
|
|
CORE_ADDR sel;
|
|
CORE_ADDR res;
|
|
|
|
object = gdbarch_fetch_pointer_argument (gdbarch, frame, 0, ptr_type);
|
|
sel = gdbarch_fetch_pointer_argument (gdbarch, frame, 1, ptr_type);
|
|
|
|
res = find_implementation (gdbarch, object, sel);
|
|
if (new_pc != 0)
|
|
*new_pc = res;
|
|
if (res == 0)
|
|
return 1;
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
resolve_msgsend_stret (CORE_ADDR pc, CORE_ADDR *new_pc)
|
|
{
|
|
struct frame_info *frame = get_current_frame ();
|
|
struct gdbarch *gdbarch = get_frame_arch (frame);
|
|
struct type *ptr_type = builtin_type (gdbarch)->builtin_func_ptr;
|
|
|
|
CORE_ADDR object;
|
|
CORE_ADDR sel;
|
|
CORE_ADDR res;
|
|
|
|
object = gdbarch_fetch_pointer_argument (gdbarch, frame, 1, ptr_type);
|
|
sel = gdbarch_fetch_pointer_argument (gdbarch, frame, 2, ptr_type);
|
|
|
|
res = find_implementation (gdbarch, object, sel);
|
|
if (new_pc != 0)
|
|
*new_pc = res;
|
|
if (res == 0)
|
|
return 1;
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
resolve_msgsend_super (CORE_ADDR pc, CORE_ADDR *new_pc)
|
|
{
|
|
struct frame_info *frame = get_current_frame ();
|
|
struct gdbarch *gdbarch = get_frame_arch (frame);
|
|
struct type *ptr_type = builtin_type (gdbarch)->builtin_func_ptr;
|
|
|
|
struct objc_super sstr;
|
|
|
|
CORE_ADDR super;
|
|
CORE_ADDR sel;
|
|
CORE_ADDR res;
|
|
|
|
super = gdbarch_fetch_pointer_argument (gdbarch, frame, 0, ptr_type);
|
|
sel = gdbarch_fetch_pointer_argument (gdbarch, frame, 1, ptr_type);
|
|
|
|
read_objc_super (gdbarch, super, &sstr);
|
|
if (sstr.class == 0)
|
|
return 0;
|
|
|
|
res = find_implementation_from_class (gdbarch, sstr.class, sel);
|
|
if (new_pc != 0)
|
|
*new_pc = res;
|
|
if (res == 0)
|
|
return 1;
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
resolve_msgsend_super_stret (CORE_ADDR pc, CORE_ADDR *new_pc)
|
|
{
|
|
struct frame_info *frame = get_current_frame ();
|
|
struct gdbarch *gdbarch = get_frame_arch (frame);
|
|
struct type *ptr_type = builtin_type (gdbarch)->builtin_func_ptr;
|
|
|
|
struct objc_super sstr;
|
|
|
|
CORE_ADDR super;
|
|
CORE_ADDR sel;
|
|
CORE_ADDR res;
|
|
|
|
super = gdbarch_fetch_pointer_argument (gdbarch, frame, 1, ptr_type);
|
|
sel = gdbarch_fetch_pointer_argument (gdbarch, frame, 2, ptr_type);
|
|
|
|
read_objc_super (gdbarch, super, &sstr);
|
|
if (sstr.class == 0)
|
|
return 0;
|
|
|
|
res = find_implementation_from_class (gdbarch, sstr.class, sel);
|
|
if (new_pc != 0)
|
|
*new_pc = res;
|
|
if (res == 0)
|
|
return 1;
|
|
return 0;
|
|
}
|
|
|
|
/* Provide a prototype to silence -Wmissing-prototypes. */
|
|
extern initialize_file_ftype _initialize_objc_lang;
|
|
|
|
void
|
|
_initialize_objc_lang (void)
|
|
{
|
|
objc_objfile_data = register_objfile_data ();
|
|
}
|