1 /* Symbol table lookup for the GNU debugger, GDB. 2 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995 3 Free Software Foundation, Inc. 4 5 This file is part of GDB. 6 7 This program is free software; you can redistribute it and/or modify 8 it under the terms of the GNU General Public License as published by 9 the Free Software Foundation; either version 2 of the License, or 10 (at your option) any later version. 11 12 This program is distributed in the hope that it will be useful, 13 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 GNU General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with this program; if not, write to the Free Software 19 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ 20 21 #include "defs.h" 22 #include "symtab.h" 23 #include "gdbtypes.h" 24 #include "gdbcore.h" 25 #include "frame.h" 26 #include "target.h" 27 #include "value.h" 28 #include "symfile.h" 29 #include "objfiles.h" 30 #include "gdbcmd.h" 31 #include "call-cmds.h" 32 #include "gnu-regex.h" 33 #include "expression.h" 34 #include "language.h" 35 #include "demangle.h" 36 37 #include "obstack.h" 38 39 #include <sys/types.h> 40 #include <fcntl.h> 41 #include "gdb_string.h" 42 #include "gdb_stat.h" 43 #include <ctype.h> 44 45 /* Prototypes for local functions */ 46 47 extern int 48 find_methods PARAMS ((struct type *, char *, struct symbol **)); 49 50 static void 51 completion_list_add_name PARAMS ((char *, char *, int, char *, char *)); 52 53 static void 54 build_canonical_line_spec PARAMS ((struct symtab_and_line *, char *, char ***)); 55 56 static struct symtabs_and_lines 57 decode_line_2 PARAMS ((struct symbol *[], int, int, char ***)); 58 59 static void 60 rbreak_command PARAMS ((char *, int)); 61 62 static void 63 types_info PARAMS ((char *, int)); 64 65 static void 66 functions_info PARAMS ((char *, int)); 67 68 static void 69 variables_info PARAMS ((char *, int)); 70 71 static void 72 sources_info PARAMS ((char *, int)); 73 74 static void 75 list_symbols PARAMS ((char *, int, int, int)); 76 77 static void 78 output_source_filename PARAMS ((char *, int *)); 79 80 char * 81 operator_chars PARAMS ((char *, char **)); 82 83 static int find_line_common PARAMS ((struct linetable *, int, int *)); 84 85 static struct partial_symbol * 86 lookup_partial_symbol PARAMS ((struct partial_symtab *, const char *, 87 int, namespace_enum)); 88 89 static struct symtab * 90 lookup_symtab_1 PARAMS ((char *)); 91 92 static void 93 cplusplus_hint PARAMS ((char *)); 94 95 /* */ 96 97 /* The single non-language-specific builtin type */ 98 struct type *builtin_type_error; 99 100 /* Block in which the most recently searched-for symbol was found. 101 Might be better to make this a parameter to lookup_symbol and 102 value_of_this. */ 103 104 const struct block *block_found; 105 106 char no_symtab_msg[] = "No symbol table is loaded. Use the \"file\" command."; 107 108 /* While the C++ support is still in flux, issue a possibly helpful hint on 109 using the new command completion feature on single quoted demangled C++ 110 symbols. Remove when loose ends are cleaned up. FIXME -fnf */ 111 112 static void 113 cplusplus_hint (name) 114 char *name; 115 { 116 while (*name == '\'') 117 name++; 118 printf_filtered ("Hint: try '%s<TAB> or '%s<ESC-?>\n", name, name); 119 printf_filtered ("(Note leading single quote.)\n"); 120 } 121 122 /* Check for a symtab of a specific name; first in symtabs, then in 123 psymtabs. *If* there is no '/' in the name, a match after a '/' 124 in the symtab filename will also work. */ 125 126 static struct symtab * 127 lookup_symtab_1 (name) 128 char *name; 129 { 130 register struct symtab *s; 131 register struct partial_symtab *ps; 132 register char *slash; 133 register struct objfile *objfile; 134 135 got_symtab: 136 137 /* First, search for an exact match */ 138 139 ALL_SYMTABS (objfile, s) 140 if (STREQ (name, s->filename)) 141 return s; 142 143 slash = strchr (name, '/'); 144 145 /* Now, search for a matching tail (only if name doesn't have any dirs) */ 146 147 if (!slash) 148 ALL_SYMTABS (objfile, s) 149 { 150 char *p = s -> filename; 151 char *tail = strrchr (p, '/'); 152 153 if (tail) 154 p = tail + 1; 155 156 if (STREQ (p, name)) 157 return s; 158 } 159 160 /* Same search rules as above apply here, but now we look thru the 161 psymtabs. */ 162 163 ps = lookup_partial_symtab (name); 164 if (!ps) 165 return (NULL); 166 167 if (ps -> readin) 168 error ("Internal: readin %s pst for `%s' found when no symtab found.", 169 ps -> filename, name); 170 171 s = PSYMTAB_TO_SYMTAB (ps); 172 173 if (s) 174 return s; 175 176 /* At this point, we have located the psymtab for this file, but 177 the conversion to a symtab has failed. This usually happens 178 when we are looking up an include file. In this case, 179 PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has 180 been created. So, we need to run through the symtabs again in 181 order to find the file. 182 XXX - This is a crock, and should be fixed inside of the the 183 symbol parsing routines. */ 184 goto got_symtab; 185 } 186 187 /* Lookup the symbol table of a source file named NAME. Try a couple 188 of variations if the first lookup doesn't work. */ 189 190 struct symtab * 191 lookup_symtab (name) 192 char *name; 193 { 194 register struct symtab *s; 195 #if 0 196 register char *copy; 197 #endif 198 199 s = lookup_symtab_1 (name); 200 if (s) return s; 201 202 #if 0 203 /* This screws c-exp.y:yylex if there is both a type "tree" and a symtab 204 "tree.c". */ 205 206 /* If name not found as specified, see if adding ".c" helps. */ 207 /* Why is this? Is it just a user convenience? (If so, it's pretty 208 questionable in the presence of C++, FORTRAN, etc.). It's not in 209 the GDB manual. */ 210 211 copy = (char *) alloca (strlen (name) + 3); 212 strcpy (copy, name); 213 strcat (copy, ".c"); 214 s = lookup_symtab_1 (copy); 215 if (s) return s; 216 #endif /* 0 */ 217 218 /* We didn't find anything; die. */ 219 return 0; 220 } 221 222 /* Lookup the partial symbol table of a source file named NAME. 223 *If* there is no '/' in the name, a match after a '/' 224 in the psymtab filename will also work. */ 225 226 struct partial_symtab * 227 lookup_partial_symtab (name) 228 char *name; 229 { 230 register struct partial_symtab *pst; 231 register struct objfile *objfile; 232 233 ALL_PSYMTABS (objfile, pst) 234 { 235 if (STREQ (name, pst -> filename)) 236 { 237 return (pst); 238 } 239 } 240 241 /* Now, search for a matching tail (only if name doesn't have any dirs) */ 242 243 if (!strchr (name, '/')) 244 ALL_PSYMTABS (objfile, pst) 245 { 246 char *p = pst -> filename; 247 char *tail = strrchr (p, '/'); 248 249 if (tail) 250 p = tail + 1; 251 252 if (STREQ (p, name)) 253 return (pst); 254 } 255 256 return (NULL); 257 } 258 259 /* Demangle a GDB method stub type. 260 Note that this function is g++ specific. */ 261 262 char * 263 gdb_mangle_name (type, i, j) 264 struct type *type; 265 int i, j; 266 { 267 int mangled_name_len; 268 char *mangled_name; 269 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i); 270 struct fn_field *method = &f[j]; 271 char *field_name = TYPE_FN_FIELDLIST_NAME (type, i); 272 char *physname = TYPE_FN_FIELD_PHYSNAME (f, j); 273 char *newname = type_name_no_tag (type); 274 275 /* Does the form of physname indicate that it is the full mangled name 276 of a constructor (not just the args)? */ 277 int is_full_physname_constructor; 278 279 int is_constructor; 280 int is_destructor = DESTRUCTOR_PREFIX_P (physname); 281 /* Need a new type prefix. */ 282 char *const_prefix = method->is_const ? "C" : ""; 283 char *volatile_prefix = method->is_volatile ? "V" : ""; 284 char buf[20]; 285 int len = (newname == NULL ? 0 : strlen (newname)); 286 287 is_full_physname_constructor = 288 ((physname[0]=='_' && physname[1]=='_' && 289 (isdigit(physname[2]) || physname[2]=='Q' || physname[2]=='t')) 290 || (strncmp(physname, "__ct", 4) == 0)); 291 292 is_constructor = 293 is_full_physname_constructor || (newname && STREQ(field_name, newname)); 294 295 if (!is_destructor) 296 is_destructor = (strncmp(physname, "__dt", 4) == 0); 297 298 if (is_destructor || is_full_physname_constructor) 299 { 300 mangled_name = (char*) xmalloc(strlen(physname)+1); 301 strcpy(mangled_name, physname); 302 return mangled_name; 303 } 304 305 if (len == 0) 306 { 307 sprintf (buf, "__%s%s", const_prefix, volatile_prefix); 308 if (strcmp(buf, "__") == 0) 309 buf[0] = '\0'; 310 } 311 else if (newname != NULL && strchr (newname, '<') != NULL) 312 { 313 /* Template methods are fully mangled. */ 314 sprintf (buf, "__%s%s", const_prefix, volatile_prefix); 315 newname = NULL; 316 len = 0; 317 } 318 else 319 { 320 sprintf (buf, "__%s%s%d", const_prefix, volatile_prefix, len); 321 } 322 mangled_name_len = ((is_constructor ? 0 : strlen (field_name)) 323 + strlen (buf) + len 324 + strlen (physname) 325 + 1); 326 327 /* Only needed for GNU-mangled names. ANSI-mangled names 328 work with the normal mechanisms. */ 329 if (OPNAME_PREFIX_P (field_name)) 330 { 331 const char *opname = cplus_mangle_opname (field_name + 3, 0); 332 if (opname == NULL) 333 error ("No mangling for \"%s\"", field_name); 334 mangled_name_len += strlen (opname); 335 mangled_name = (char *)xmalloc (mangled_name_len); 336 337 strncpy (mangled_name, field_name, 3); 338 mangled_name[3] = '\0'; 339 strcat (mangled_name, opname); 340 } 341 else 342 { 343 mangled_name = (char *)xmalloc (mangled_name_len); 344 if (is_constructor) 345 mangled_name[0] = '\0'; 346 else 347 strcpy (mangled_name, field_name); 348 } 349 strcat (mangled_name, buf); 350 /* If the class doesn't have a name, i.e. newname NULL, then we just 351 mangle it using 0 for the length of the class. Thus it gets mangled 352 as something starting with `::' rather than `classname::'. */ 353 if (newname != NULL) 354 strcat (mangled_name, newname); 355 356 strcat (mangled_name, physname); 357 return (mangled_name); 358 } 359 360 361 /* Find which partial symtab on contains PC. Return 0 if none. */ 362 363 struct partial_symtab * 364 find_pc_psymtab (pc) 365 register CORE_ADDR pc; 366 { 367 register struct partial_symtab *pst; 368 register struct objfile *objfile; 369 370 ALL_PSYMTABS (objfile, pst) 371 { 372 if (pc >= pst->textlow && pc < pst->texthigh) 373 { 374 struct minimal_symbol *msymbol; 375 struct partial_symtab *tpst; 376 377 /* An objfile that has its functions reordered might have 378 many partial symbol tables containing the PC, but 379 we want the partial symbol table that contains the 380 function containing the PC. */ 381 if (!(objfile->flags & OBJF_REORDERED)) 382 return (pst); 383 384 msymbol = lookup_minimal_symbol_by_pc (pc); 385 if (msymbol == NULL) 386 return (pst); 387 388 for (tpst = pst; tpst != NULL; tpst = tpst->next) 389 { 390 if (pc >= tpst->textlow && pc < tpst->texthigh) 391 { 392 struct partial_symbol *p; 393 394 p = find_pc_psymbol (tpst, pc); 395 if (p != NULL 396 && SYMBOL_VALUE_ADDRESS(p) 397 == SYMBOL_VALUE_ADDRESS (msymbol)) 398 return (tpst); 399 } 400 } 401 return (pst); 402 } 403 } 404 return (NULL); 405 } 406 407 /* Find which partial symbol within a psymtab contains PC. Return 0 408 if none. Check all psymtabs if PSYMTAB is 0. */ 409 struct partial_symbol * 410 find_pc_psymbol (psymtab, pc) 411 struct partial_symtab *psymtab; 412 CORE_ADDR pc; 413 { 414 struct partial_symbol *best = NULL, *p, **pp; 415 CORE_ADDR best_pc; 416 417 if (!psymtab) 418 psymtab = find_pc_psymtab (pc); 419 if (!psymtab) 420 return 0; 421 422 best_pc = psymtab->textlow - 1; 423 424 /* Search the global symbols as well as the static symbols, so that 425 find_pc_partial_function doesn't use a minimal symbol and thus 426 cache a bad endaddr. */ 427 for (pp = psymtab->objfile->global_psymbols.list + psymtab->globals_offset; 428 (pp - (psymtab->objfile->global_psymbols.list + psymtab->globals_offset) 429 < psymtab->n_global_syms); 430 pp++) 431 { 432 p = *pp; 433 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE 434 && SYMBOL_CLASS (p) == LOC_BLOCK 435 && pc >= SYMBOL_VALUE_ADDRESS (p) 436 && SYMBOL_VALUE_ADDRESS (p) > best_pc) 437 { 438 best_pc = SYMBOL_VALUE_ADDRESS (p); 439 best = p; 440 } 441 } 442 for (pp = psymtab->objfile->static_psymbols.list + psymtab->statics_offset; 443 (pp - (psymtab->objfile->static_psymbols.list + psymtab->statics_offset) 444 < psymtab->n_static_syms); 445 pp++) 446 { 447 p = *pp; 448 if (SYMBOL_NAMESPACE (p) == VAR_NAMESPACE 449 && SYMBOL_CLASS (p) == LOC_BLOCK 450 && pc >= SYMBOL_VALUE_ADDRESS (p) 451 && SYMBOL_VALUE_ADDRESS (p) > best_pc) 452 { 453 best_pc = SYMBOL_VALUE_ADDRESS (p); 454 best = p; 455 } 456 } 457 if (best_pc == psymtab->textlow - 1) 458 return 0; 459 return best; 460 } 461 462 463 /* Find the definition for a specified symbol name NAME 464 in namespace NAMESPACE, visible from lexical block BLOCK. 465 Returns the struct symbol pointer, or zero if no symbol is found. 466 If SYMTAB is non-NULL, store the symbol table in which the 467 symbol was found there, or NULL if not found. 468 C++: if IS_A_FIELD_OF_THIS is nonzero on entry, check to see if 469 NAME is a field of the current implied argument `this'. If so set 470 *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero. 471 BLOCK_FOUND is set to the block in which NAME is found (in the case of 472 a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */ 473 474 /* This function has a bunch of loops in it and it would seem to be 475 attractive to put in some QUIT's (though I'm not really sure 476 whether it can run long enough to be really important). But there 477 are a few calls for which it would appear to be bad news to quit 478 out of here: find_proc_desc in alpha-tdep.c and mips-tdep.c, and 479 nindy_frame_chain_valid in nindy-tdep.c. (Note that there is C++ 480 code below which can error(), but that probably doesn't affect 481 these calls since they are looking for a known variable and thus 482 can probably assume it will never hit the C++ code). */ 483 484 struct symbol * 485 lookup_symbol (name, block, namespace, is_a_field_of_this, symtab) 486 const char *name; 487 register const struct block *block; 488 const namespace_enum namespace; 489 int *is_a_field_of_this; 490 struct symtab **symtab; 491 { 492 register struct symbol *sym; 493 register struct symtab *s = NULL; 494 register struct partial_symtab *ps; 495 struct blockvector *bv; 496 register struct objfile *objfile; 497 register struct block *b; 498 register struct minimal_symbol *msymbol; 499 500 /* Search specified block and its superiors. */ 501 502 while (block != 0) 503 { 504 sym = lookup_block_symbol (block, name, namespace); 505 if (sym) 506 { 507 block_found = block; 508 if (symtab != NULL) 509 { 510 /* Search the list of symtabs for one which contains the 511 address of the start of this block. */ 512 ALL_SYMTABS (objfile, s) 513 { 514 bv = BLOCKVECTOR (s); 515 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK); 516 if (BLOCK_START (b) <= BLOCK_START (block) 517 && BLOCK_END (b) > BLOCK_START (block)) 518 goto found; 519 } 520 found: 521 *symtab = s; 522 } 523 524 return (sym); 525 } 526 block = BLOCK_SUPERBLOCK (block); 527 } 528 529 /* FIXME: this code is never executed--block is always NULL at this 530 point. What is it trying to do, anyway? We already should have 531 checked the STATIC_BLOCK above (it is the superblock of top-level 532 blocks). Why is VAR_NAMESPACE special-cased? */ 533 /* Don't need to mess with the psymtabs; if we have a block, 534 that file is read in. If we don't, then we deal later with 535 all the psymtab stuff that needs checking. */ 536 if (namespace == VAR_NAMESPACE && block != NULL) 537 { 538 struct block *b; 539 /* Find the right symtab. */ 540 ALL_SYMTABS (objfile, s) 541 { 542 bv = BLOCKVECTOR (s); 543 b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK); 544 if (BLOCK_START (b) <= BLOCK_START (block) 545 && BLOCK_END (b) > BLOCK_START (block)) 546 { 547 sym = lookup_block_symbol (b, name, VAR_NAMESPACE); 548 if (sym) 549 { 550 block_found = b; 551 if (symtab != NULL) 552 *symtab = s; 553 return sym; 554 } 555 } 556 } 557 } 558 559 560 /* C++: If requested to do so by the caller, 561 check to see if NAME is a field of `this'. */ 562 if (is_a_field_of_this) 563 { 564 struct value *v = value_of_this (0); 565 566 *is_a_field_of_this = 0; 567 if (v && check_field (v, name)) 568 { 569 *is_a_field_of_this = 1; 570 if (symtab != NULL) 571 *symtab = NULL; 572 return 0; 573 } 574 } 575 576 /* Now search all global blocks. Do the symtab's first, then 577 check the psymtab's */ 578 579 ALL_SYMTABS (objfile, s) 580 { 581 bv = BLOCKVECTOR (s); 582 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK); 583 sym = lookup_block_symbol (block, name, namespace); 584 if (sym) 585 { 586 block_found = block; 587 if (symtab != NULL) 588 *symtab = s; 589 return sym; 590 } 591 } 592 593 /* Check for the possibility of the symbol being a function or 594 a mangled variable that is stored in one of the minimal symbol tables. 595 Eventually, all global symbols might be resolved in this way. */ 596 597 if (namespace == VAR_NAMESPACE) 598 { 599 msymbol = lookup_minimal_symbol (name, NULL, NULL); 600 if (msymbol != NULL) 601 { 602 s = find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)); 603 if (s != NULL) 604 { 605 /* This is a function which has a symtab for its address. */ 606 bv = BLOCKVECTOR (s); 607 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK); 608 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol), 609 namespace); 610 /* We kept static functions in minimal symbol table as well as 611 in static scope. We want to find them in the symbol table. */ 612 if (!sym) { 613 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK); 614 sym = lookup_block_symbol (block, SYMBOL_NAME (msymbol), 615 namespace); 616 } 617 618 /* sym == 0 if symbol was found in the minimal symbol table 619 but not in the symtab. 620 Return 0 to use the msymbol definition of "foo_". 621 622 This happens for Fortran "foo_" symbols, 623 which are "foo" in the symtab. 624 625 This can also happen if "asm" is used to make a 626 regular symbol but not a debugging symbol, e.g. 627 asm(".globl _main"); 628 asm("_main:"); 629 */ 630 631 if (symtab != NULL) 632 *symtab = s; 633 return sym; 634 } 635 else if (MSYMBOL_TYPE (msymbol) != mst_text 636 && MSYMBOL_TYPE (msymbol) != mst_file_text 637 && !STREQ (name, SYMBOL_NAME (msymbol))) 638 { 639 /* This is a mangled variable, look it up by its 640 mangled name. */ 641 return lookup_symbol (SYMBOL_NAME (msymbol), block, 642 namespace, is_a_field_of_this, symtab); 643 } 644 /* There are no debug symbols for this file, or we are looking 645 for an unmangled variable. 646 Try to find a matching static symbol below. */ 647 } 648 } 649 650 ALL_PSYMTABS (objfile, ps) 651 { 652 if (!ps->readin && lookup_partial_symbol (ps, name, 1, namespace)) 653 { 654 s = PSYMTAB_TO_SYMTAB(ps); 655 bv = BLOCKVECTOR (s); 656 block = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK); 657 sym = lookup_block_symbol (block, name, namespace); 658 if (!sym) 659 error ("Internal: global symbol `%s' found in %s psymtab but not in symtab", name, ps->filename); 660 if (symtab != NULL) 661 *symtab = s; 662 return sym; 663 } 664 } 665 666 /* Now search all per-file blocks. 667 Not strictly correct, but more useful than an error. 668 Do the symtabs first, then check the psymtabs */ 669 670 ALL_SYMTABS (objfile, s) 671 { 672 bv = BLOCKVECTOR (s); 673 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK); 674 sym = lookup_block_symbol (block, name, namespace); 675 if (sym) 676 { 677 block_found = block; 678 if (symtab != NULL) 679 *symtab = s; 680 return sym; 681 } 682 } 683 684 ALL_PSYMTABS (objfile, ps) 685 { 686 if (!ps->readin && lookup_partial_symbol (ps, name, 0, namespace)) 687 { 688 s = PSYMTAB_TO_SYMTAB(ps); 689 bv = BLOCKVECTOR (s); 690 block = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK); 691 sym = lookup_block_symbol (block, name, namespace); 692 if (!sym) 693 error ("Internal: static symbol `%s' found in %s psymtab but not in symtab", name, ps->filename); 694 if (symtab != NULL) 695 *symtab = s; 696 return sym; 697 } 698 } 699 700 if (symtab != NULL) 701 *symtab = NULL; 702 return 0; 703 } 704 705 /* Look, in partial_symtab PST, for symbol NAME. Check the global 706 symbols if GLOBAL, the static symbols if not */ 707 708 static struct partial_symbol * 709 lookup_partial_symbol (pst, name, global, namespace) 710 struct partial_symtab *pst; 711 const char *name; 712 int global; 713 namespace_enum namespace; 714 { 715 struct partial_symbol **start, **psym; 716 struct partial_symbol **top, **bottom, **center; 717 int length = (global ? pst->n_global_syms : pst->n_static_syms); 718 int do_linear_search = 1; 719 720 if (length == 0) 721 { 722 return (NULL); 723 } 724 725 start = (global ? 726 pst->objfile->global_psymbols.list + pst->globals_offset : 727 pst->objfile->static_psymbols.list + pst->statics_offset ); 728 729 if (global) /* This means we can use a binary search. */ 730 { 731 do_linear_search = 0; 732 733 /* Binary search. This search is guaranteed to end with center 734 pointing at the earliest partial symbol with the correct 735 name. At that point *all* partial symbols with that name 736 will be checked against the correct namespace. */ 737 738 bottom = start; 739 top = start + length - 1; 740 while (top > bottom) 741 { 742 center = bottom + (top - bottom) / 2; 743 if (!(center < top)) 744 abort (); 745 if (!do_linear_search && SYMBOL_LANGUAGE (*center) == language_cplus) 746 { 747 do_linear_search = 1; 748 } 749 if (STRCMP (SYMBOL_NAME (*center), name) >= 0) 750 { 751 top = center; 752 } 753 else 754 { 755 bottom = center + 1; 756 } 757 } 758 if (!(top == bottom)) 759 abort (); 760 while (STREQ (SYMBOL_NAME (*top), name)) 761 { 762 if (SYMBOL_NAMESPACE (*top) == namespace) 763 { 764 return (*top); 765 } 766 top ++; 767 } 768 } 769 770 /* Can't use a binary search or else we found during the binary search that 771 we should also do a linear search. */ 772 773 if (do_linear_search) 774 { 775 for (psym = start; psym < start + length; psym++) 776 { 777 if (namespace == SYMBOL_NAMESPACE (*psym)) 778 { 779 if (SYMBOL_MATCHES_NAME (*psym, name)) 780 { 781 return (*psym); 782 } 783 } 784 } 785 } 786 787 return (NULL); 788 } 789 790 /* Find the psymtab containing main(). */ 791 /* FIXME: What about languages without main() or specially linked 792 executables that have no main() ? */ 793 794 struct partial_symtab * 795 find_main_psymtab () 796 { 797 register struct partial_symtab *pst; 798 register struct objfile *objfile; 799 800 ALL_PSYMTABS (objfile, pst) 801 { 802 if (lookup_partial_symbol (pst, "main", 1, VAR_NAMESPACE)) 803 { 804 return (pst); 805 } 806 } 807 return (NULL); 808 } 809 810 /* Search BLOCK for symbol NAME in NAMESPACE. 811 812 Note that if NAME is the demangled form of a C++ symbol, we will fail 813 to find a match during the binary search of the non-encoded names, but 814 for now we don't worry about the slight inefficiency of looking for 815 a match we'll never find, since it will go pretty quick. Once the 816 binary search terminates, we drop through and do a straight linear 817 search on the symbols. Each symbol which is marked as being a C++ 818 symbol (language_cplus set) has both the encoded and non-encoded names 819 tested for a match. */ 820 821 struct symbol * 822 lookup_block_symbol (block, name, namespace) 823 register const struct block *block; 824 const char *name; 825 const namespace_enum namespace; 826 { 827 register int bot, top, inc; 828 register struct symbol *sym; 829 register struct symbol *sym_found = NULL; 830 register int do_linear_search = 1; 831 832 /* If the blocks's symbols were sorted, start with a binary search. */ 833 834 if (BLOCK_SHOULD_SORT (block)) 835 { 836 /* Reset the linear search flag so if the binary search fails, we 837 won't do the linear search once unless we find some reason to 838 do so, such as finding a C++ symbol during the binary search. 839 Note that for C++ modules, ALL the symbols in a block should 840 end up marked as C++ symbols. */ 841 842 do_linear_search = 0; 843 top = BLOCK_NSYMS (block); 844 bot = 0; 845 846 /* Advance BOT to not far before the first symbol whose name is NAME. */ 847 848 while (1) 849 { 850 inc = (top - bot + 1); 851 /* No need to keep binary searching for the last few bits worth. */ 852 if (inc < 4) 853 { 854 break; 855 } 856 inc = (inc >> 1) + bot; 857 sym = BLOCK_SYM (block, inc); 858 if (!do_linear_search && SYMBOL_LANGUAGE (sym) == language_cplus) 859 { 860 do_linear_search = 1; 861 } 862 if (SYMBOL_NAME (sym)[0] < name[0]) 863 { 864 bot = inc; 865 } 866 else if (SYMBOL_NAME (sym)[0] > name[0]) 867 { 868 top = inc; 869 } 870 else if (STRCMP (SYMBOL_NAME (sym), name) < 0) 871 { 872 bot = inc; 873 } 874 else 875 { 876 top = inc; 877 } 878 } 879 880 /* Now scan forward until we run out of symbols, find one whose 881 name is greater than NAME, or find one we want. If there is 882 more than one symbol with the right name and namespace, we 883 return the first one; I believe it is now impossible for us 884 to encounter two symbols with the same name and namespace 885 here, because blocks containing argument symbols are no 886 longer sorted. */ 887 888 top = BLOCK_NSYMS (block); 889 while (bot < top) 890 { 891 sym = BLOCK_SYM (block, bot); 892 inc = SYMBOL_NAME (sym)[0] - name[0]; 893 if (inc == 0) 894 { 895 inc = STRCMP (SYMBOL_NAME (sym), name); 896 } 897 if (inc == 0 && SYMBOL_NAMESPACE (sym) == namespace) 898 { 899 return (sym); 900 } 901 if (inc > 0) 902 { 903 break; 904 } 905 bot++; 906 } 907 } 908 909 /* Here if block isn't sorted, or we fail to find a match during the 910 binary search above. If during the binary search above, we find a 911 symbol which is a C++ symbol, then we have re-enabled the linear 912 search flag which was reset when starting the binary search. 913 914 This loop is equivalent to the loop above, but hacked greatly for speed. 915 916 Note that parameter symbols do not always show up last in the 917 list; this loop makes sure to take anything else other than 918 parameter symbols first; it only uses parameter symbols as a 919 last resort. Note that this only takes up extra computation 920 time on a match. */ 921 922 if (do_linear_search) 923 { 924 top = BLOCK_NSYMS (block); 925 bot = 0; 926 while (bot < top) 927 { 928 sym = BLOCK_SYM (block, bot); 929 if (SYMBOL_NAMESPACE (sym) == namespace && 930 SYMBOL_MATCHES_NAME (sym, name)) 931 { 932 sym_found = sym; 933 if (SYMBOL_CLASS (sym) != LOC_ARG && 934 SYMBOL_CLASS (sym) != LOC_LOCAL_ARG && 935 SYMBOL_CLASS (sym) != LOC_REF_ARG && 936 SYMBOL_CLASS (sym) != LOC_REGPARM && 937 SYMBOL_CLASS (sym) != LOC_REGPARM_ADDR && 938 SYMBOL_CLASS (sym) != LOC_BASEREG_ARG) 939 { 940 break; 941 } 942 } 943 bot++; 944 } 945 } 946 return (sym_found); /* Will be NULL if not found. */ 947 } 948 949 950 /* Return the symbol for the function which contains a specified 951 lexical block, described by a struct block BL. */ 952 953 struct symbol * 954 block_function (bl) 955 struct block *bl; 956 { 957 while (BLOCK_FUNCTION (bl) == 0 && BLOCK_SUPERBLOCK (bl) != 0) 958 bl = BLOCK_SUPERBLOCK (bl); 959 960 return BLOCK_FUNCTION (bl); 961 } 962 963 /* Find the symtab associated with PC. Look through the psymtabs and read in 964 another symtab if necessary. */ 965 966 struct symtab * 967 find_pc_symtab (pc) 968 register CORE_ADDR pc; 969 { 970 register struct block *b; 971 struct blockvector *bv; 972 register struct symtab *s = NULL; 973 register struct symtab *best_s = NULL; 974 register struct partial_symtab *ps; 975 register struct objfile *objfile; 976 int distance = 0; 977 978 /* Search all symtabs for the one whose file contains our address, and which 979 is the smallest of all the ones containing the address. This is designed 980 to deal with a case like symtab a is at 0x1000-0x2000 and 0x3000-0x4000 981 and symtab b is at 0x2000-0x3000. So the GLOBAL_BLOCK for a is from 982 0x1000-0x4000, but for address 0x2345 we want to return symtab b. 983 984 This happens for native ecoff format, where code from included files 985 gets its own symtab. The symtab for the included file should have 986 been read in already via the dependency mechanism. 987 It might be swifter to create several symtabs with the same name 988 like xcoff does (I'm not sure). 989 990 It also happens for objfiles that have their functions reordered. 991 For these, the symtab we are looking for is not necessarily read in. */ 992 993 ALL_SYMTABS (objfile, s) 994 { 995 bv = BLOCKVECTOR (s); 996 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK); 997 if (BLOCK_START (b) <= pc 998 && BLOCK_END (b) > pc 999 && (distance == 0 1000 || BLOCK_END (b) - BLOCK_START (b) < distance)) 1001 { 1002 /* For an objfile that has its functions reordered, 1003 find_pc_psymtab will find the proper partial symbol table 1004 and we simply return its corresponding symtab. */ 1005 if ((objfile->flags & OBJF_REORDERED) && objfile->psymtabs) 1006 { 1007 ps = find_pc_psymtab (pc); 1008 if (ps) 1009 s = PSYMTAB_TO_SYMTAB (ps); 1010 else 1011 s = NULL; 1012 return (s); 1013 } 1014 distance = BLOCK_END (b) - BLOCK_START (b); 1015 best_s = s; 1016 } 1017 } 1018 1019 if (best_s != NULL) 1020 return(best_s); 1021 1022 s = NULL; 1023 ps = find_pc_psymtab (pc); 1024 if (ps) 1025 { 1026 if (ps->readin) 1027 /* Might want to error() here (in case symtab is corrupt and 1028 will cause a core dump), but maybe we can successfully 1029 continue, so let's not. */ 1030 /* FIXME-32x64: assumes pc fits in a long */ 1031 warning ("\ 1032 (Internal error: pc 0x%lx in read in psymtab, but not in symtab.)\n", 1033 (unsigned long) pc); 1034 s = PSYMTAB_TO_SYMTAB (ps); 1035 } 1036 return (s); 1037 } 1038 1039 #if 0 1040 1041 /* Find the closest symbol value (of any sort -- function or variable) 1042 for a given address value. Slow but complete. (currently unused, 1043 mainly because it is too slow. We could fix it if each symtab and 1044 psymtab had contained in it the addresses ranges of each of its 1045 sections, which also would be required to make things like "info 1046 line *0x2345" cause psymtabs to be converted to symtabs). */ 1047 1048 struct symbol * 1049 find_addr_symbol (addr, symtabp, symaddrp) 1050 CORE_ADDR addr; 1051 struct symtab **symtabp; 1052 CORE_ADDR *symaddrp; 1053 { 1054 struct symtab *symtab, *best_symtab; 1055 struct objfile *objfile; 1056 register int bot, top; 1057 register struct symbol *sym; 1058 register CORE_ADDR sym_addr; 1059 struct block *block; 1060 int blocknum; 1061 1062 /* Info on best symbol seen so far */ 1063 1064 register CORE_ADDR best_sym_addr = 0; 1065 struct symbol *best_sym = 0; 1066 1067 /* FIXME -- we should pull in all the psymtabs, too! */ 1068 ALL_SYMTABS (objfile, symtab) 1069 { 1070 /* Search the global and static blocks in this symtab for 1071 the closest symbol-address to the desired address. */ 1072 1073 for (blocknum = GLOBAL_BLOCK; blocknum <= STATIC_BLOCK; blocknum++) 1074 { 1075 QUIT; 1076 block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab), blocknum); 1077 top = BLOCK_NSYMS (block); 1078 for (bot = 0; bot < top; bot++) 1079 { 1080 sym = BLOCK_SYM (block, bot); 1081 switch (SYMBOL_CLASS (sym)) 1082 { 1083 case LOC_STATIC: 1084 case LOC_LABEL: 1085 sym_addr = SYMBOL_VALUE_ADDRESS (sym); 1086 break; 1087 1088 case LOC_BLOCK: 1089 sym_addr = BLOCK_START (SYMBOL_BLOCK_VALUE (sym)); 1090 break; 1091 1092 default: 1093 continue; 1094 } 1095 1096 if (sym_addr <= addr) 1097 if (sym_addr > best_sym_addr) 1098 { 1099 /* Quit if we found an exact match. */ 1100 best_sym = sym; 1101 best_sym_addr = sym_addr; 1102 best_symtab = symtab; 1103 if (sym_addr == addr) 1104 goto done; 1105 } 1106 } 1107 } 1108 } 1109 1110 done: 1111 if (symtabp) 1112 *symtabp = best_symtab; 1113 if (symaddrp) 1114 *symaddrp = best_sym_addr; 1115 return best_sym; 1116 } 1117 #endif /* 0 */ 1118 1119 /* Find the source file and line number for a given PC value. 1120 Return a structure containing a symtab pointer, a line number, 1121 and a pc range for the entire source line. 1122 The value's .pc field is NOT the specified pc. 1123 NOTCURRENT nonzero means, if specified pc is on a line boundary, 1124 use the line that ends there. Otherwise, in that case, the line 1125 that begins there is used. */ 1126 1127 /* The big complication here is that a line may start in one file, and end just 1128 before the start of another file. This usually occurs when you #include 1129 code in the middle of a subroutine. To properly find the end of a line's PC 1130 range, we must search all symtabs associated with this compilation unit, and 1131 find the one whose first PC is closer than that of the next line in this 1132 symtab. */ 1133 1134 /* If it's worth the effort, we could be using a binary search. */ 1135 1136 struct symtab_and_line 1137 find_pc_line (pc, notcurrent) 1138 CORE_ADDR pc; 1139 int notcurrent; 1140 { 1141 struct symtab *s; 1142 register struct linetable *l; 1143 register int len; 1144 register int i; 1145 register struct linetable_entry *item; 1146 struct symtab_and_line val; 1147 struct blockvector *bv; 1148 1149 /* Info on best line seen so far, and where it starts, and its file. */ 1150 1151 struct linetable_entry *best = NULL; 1152 CORE_ADDR best_end = 0; 1153 struct symtab *best_symtab = 0; 1154 1155 /* Store here the first line number 1156 of a file which contains the line at the smallest pc after PC. 1157 If we don't find a line whose range contains PC, 1158 we will use a line one less than this, 1159 with a range from the start of that file to the first line's pc. */ 1160 struct linetable_entry *alt = NULL; 1161 struct symtab *alt_symtab = 0; 1162 1163 /* Info on best line seen in this file. */ 1164 1165 struct linetable_entry *prev; 1166 1167 /* If this pc is not from the current frame, 1168 it is the address of the end of a call instruction. 1169 Quite likely that is the start of the following statement. 1170 But what we want is the statement containing the instruction. 1171 Fudge the pc to make sure we get that. */ 1172 1173 if (notcurrent) pc -= 1; 1174 1175 s = find_pc_symtab (pc); 1176 if (!s) 1177 { 1178 val.symtab = 0; 1179 val.line = 0; 1180 val.pc = pc; 1181 val.end = 0; 1182 return val; 1183 } 1184 1185 bv = BLOCKVECTOR (s); 1186 1187 /* Look at all the symtabs that share this blockvector. 1188 They all have the same apriori range, that we found was right; 1189 but they have different line tables. */ 1190 1191 for (; s && BLOCKVECTOR (s) == bv; s = s->next) 1192 { 1193 /* Find the best line in this symtab. */ 1194 l = LINETABLE (s); 1195 if (!l) 1196 continue; 1197 len = l->nitems; 1198 if (len <= 0) 1199 { 1200 /* I think len can be zero if the symtab lacks line numbers 1201 (e.g. gcc -g1). (Either that or the LINETABLE is NULL; 1202 I'm not sure which, and maybe it depends on the symbol 1203 reader). */ 1204 continue; 1205 } 1206 1207 prev = NULL; 1208 item = l->item; /* Get first line info */ 1209 1210 /* Is this file's first line closer than the first lines of other files? 1211 If so, record this file, and its first line, as best alternate. */ 1212 if (item->pc > pc && (!alt || item->pc < alt->pc)) 1213 { 1214 alt = item; 1215 alt_symtab = s; 1216 } 1217 1218 for (i = 0; i < len; i++, item++) 1219 { 1220 /* Leave prev pointing to the linetable entry for the last line 1221 that started at or before PC. */ 1222 if (item->pc > pc) 1223 break; 1224 1225 prev = item; 1226 } 1227 1228 /* At this point, prev points at the line whose start addr is <= pc, and 1229 item points at the next line. If we ran off the end of the linetable 1230 (pc >= start of the last line), then prev == item. If pc < start of 1231 the first line, prev will not be set. */ 1232 1233 /* Is this file's best line closer than the best in the other files? 1234 If so, record this file, and its best line, as best so far. */ 1235 1236 if (prev && (!best || prev->pc > best->pc)) 1237 { 1238 best = prev; 1239 best_symtab = s; 1240 /* If another line is in the linetable, and its PC is closer 1241 than the best_end we currently have, take it as best_end. */ 1242 if (i < len && (best_end == 0 || best_end > item->pc)) 1243 best_end = item->pc; 1244 } 1245 } 1246 1247 if (!best_symtab) 1248 { 1249 if (!alt_symtab) 1250 { /* If we didn't find any line # info, just 1251 return zeros. */ 1252 val.symtab = 0; 1253 val.line = 0; 1254 val.pc = pc; 1255 val.end = 0; 1256 } 1257 else 1258 { 1259 val.symtab = alt_symtab; 1260 val.line = alt->line - 1; 1261 1262 /* Don't return line 0, that means that we didn't find the line. */ 1263 if (val.line == 0) ++val.line; 1264 1265 val.pc = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)); 1266 val.end = alt->pc; 1267 } 1268 } 1269 else 1270 { 1271 val.symtab = best_symtab; 1272 val.line = best->line; 1273 val.pc = best->pc; 1274 if (best_end && (!alt || best_end < alt->pc)) 1275 val.end = best_end; 1276 else if (alt) 1277 val.end = alt->pc; 1278 else 1279 val.end = BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)); 1280 } 1281 return val; 1282 } 1283 1284 static int find_line_symtab PARAMS ((struct symtab *, int, struct linetable **, 1285 int *, int *)); 1286 1287 /* Find line number LINE in any symtab whose name is the same as 1288 SYMTAB. 1289 1290 If found, return 1, set *LINETABLE to the linetable in which it was 1291 found, set *INDEX to the index in the linetable of the best entry 1292 found, and set *EXACT_MATCH nonzero if the value returned is an 1293 exact match. 1294 1295 If not found, return 0. */ 1296 1297 static int 1298 find_line_symtab (symtab, line, linetable, index, exact_match) 1299 struct symtab *symtab; 1300 int line; 1301 struct linetable **linetable; 1302 int *index; 1303 int *exact_match; 1304 { 1305 int exact; 1306 1307 /* BEST_INDEX and BEST_LINETABLE identify the smallest linenumber > LINE 1308 so far seen. */ 1309 1310 int best_index; 1311 struct linetable *best_linetable; 1312 1313 /* First try looking it up in the given symtab. */ 1314 best_linetable = LINETABLE (symtab); 1315 best_index = find_line_common (best_linetable, line, &exact); 1316 if (best_index < 0 || !exact) 1317 { 1318 /* Didn't find an exact match. So we better keep looking for 1319 another symtab with the same name. In the case of xcoff, 1320 multiple csects for one source file (produced by IBM's FORTRAN 1321 compiler) produce multiple symtabs (this is unavoidable 1322 assuming csects can be at arbitrary places in memory and that 1323 the GLOBAL_BLOCK of a symtab has a begin and end address). */ 1324 1325 /* BEST is the smallest linenumber > LINE so far seen, 1326 or 0 if none has been seen so far. 1327 BEST_INDEX and BEST_LINETABLE identify the item for it. */ 1328 int best; 1329 1330 struct objfile *objfile; 1331 struct symtab *s; 1332 1333 if (best_index >= 0) 1334 best = best_linetable->item[best_index].line; 1335 else 1336 best = 0; 1337 1338 ALL_SYMTABS (objfile, s) 1339 { 1340 struct linetable *l; 1341 int ind; 1342 1343 if (!STREQ (symtab->filename, s->filename)) 1344 continue; 1345 l = LINETABLE (s); 1346 ind = find_line_common (l, line, &exact); 1347 if (ind >= 0) 1348 { 1349 if (exact) 1350 { 1351 best_index = ind; 1352 best_linetable = l; 1353 goto done; 1354 } 1355 if (best == 0 || l->item[ind].line < best) 1356 { 1357 best = l->item[ind].line; 1358 best_index = ind; 1359 best_linetable = l; 1360 } 1361 } 1362 } 1363 } 1364 done: 1365 if (best_index < 0) 1366 return 0; 1367 1368 if (index) 1369 *index = best_index; 1370 if (linetable) 1371 *linetable = best_linetable; 1372 if (exact_match) 1373 *exact_match = exact; 1374 return 1; 1375 } 1376 1377 /* Find the PC value for a given source file and line number. 1378 Returns zero for invalid line number. 1379 The source file is specified with a struct symtab. */ 1380 1381 CORE_ADDR 1382 find_line_pc (symtab, line) 1383 struct symtab *symtab; 1384 int line; 1385 { 1386 struct linetable *l; 1387 int ind; 1388 1389 if (symtab == 0) 1390 return 0; 1391 if (find_line_symtab (symtab, line, &l, &ind, NULL)) 1392 return l->item[ind].pc; 1393 else 1394 return 0; 1395 } 1396 1397 /* Find the range of pc values in a line. 1398 Store the starting pc of the line into *STARTPTR 1399 and the ending pc (start of next line) into *ENDPTR. 1400 Returns 1 to indicate success. 1401 Returns 0 if could not find the specified line. */ 1402 1403 int 1404 find_line_pc_range (sal, startptr, endptr) 1405 struct symtab_and_line sal; 1406 CORE_ADDR *startptr, *endptr; 1407 { 1408 CORE_ADDR startaddr; 1409 struct symtab_and_line found_sal; 1410 1411 startaddr = sal.pc; 1412 if (startaddr == 0) 1413 { 1414 startaddr = find_line_pc (sal.symtab, sal.line); 1415 } 1416 if (startaddr == 0) 1417 return 0; 1418 1419 /* This whole function is based on address. For example, if line 10 has 1420 two parts, one from 0x100 to 0x200 and one from 0x300 to 0x400, then 1421 "info line *0x123" should say the line goes from 0x100 to 0x200 1422 and "info line *0x355" should say the line goes from 0x300 to 0x400. 1423 This also insures that we never give a range like "starts at 0x134 1424 and ends at 0x12c". */ 1425 1426 found_sal = find_pc_line (startaddr, 0); 1427 if (found_sal.line != sal.line) 1428 { 1429 /* The specified line (sal) has zero bytes. */ 1430 *startptr = found_sal.pc; 1431 *endptr = found_sal.pc; 1432 } 1433 else 1434 { 1435 *startptr = found_sal.pc; 1436 *endptr = found_sal.end; 1437 } 1438 return 1; 1439 } 1440 1441 /* Given a line table and a line number, return the index into the line 1442 table for the pc of the nearest line whose number is >= the specified one. 1443 Return -1 if none is found. The value is >= 0 if it is an index. 1444 1445 Set *EXACT_MATCH nonzero if the value returned is an exact match. */ 1446 1447 static int 1448 find_line_common (l, lineno, exact_match) 1449 register struct linetable *l; 1450 register int lineno; 1451 int *exact_match; 1452 { 1453 register int i; 1454 register int len; 1455 1456 /* BEST is the smallest linenumber > LINENO so far seen, 1457 or 0 if none has been seen so far. 1458 BEST_INDEX identifies the item for it. */ 1459 1460 int best_index = -1; 1461 int best = 0; 1462 1463 if (lineno <= 0) 1464 return -1; 1465 if (l == 0) 1466 return -1; 1467 1468 len = l->nitems; 1469 for (i = 0; i < len; i++) 1470 { 1471 register struct linetable_entry *item = &(l->item[i]); 1472 1473 if (item->line == lineno) 1474 { 1475 /* Return the first (lowest address) entry which matches. */ 1476 *exact_match = 1; 1477 return i; 1478 } 1479 1480 if (item->line > lineno && (best == 0 || item->line < best)) 1481 { 1482 best = item->line; 1483 best_index = i; 1484 } 1485 } 1486 1487 /* If we got here, we didn't get an exact match. */ 1488 1489 *exact_match = 0; 1490 return best_index; 1491 } 1492 1493 int 1494 find_pc_line_pc_range (pc, startptr, endptr) 1495 CORE_ADDR pc; 1496 CORE_ADDR *startptr, *endptr; 1497 { 1498 struct symtab_and_line sal; 1499 sal = find_pc_line (pc, 0); 1500 *startptr = sal.pc; 1501 *endptr = sal.end; 1502 return sal.symtab != 0; 1503 } 1504 1505 /* Given a function symbol SYM, find the symtab and line for the start 1506 of the function. 1507 If the argument FUNFIRSTLINE is nonzero, we want the first line 1508 of real code inside the function. */ 1509 1510 static struct symtab_and_line 1511 find_function_start_sal PARAMS ((struct symbol *sym, int)); 1512 1513 static struct symtab_and_line 1514 find_function_start_sal (sym, funfirstline) 1515 struct symbol *sym; 1516 int funfirstline; 1517 { 1518 CORE_ADDR pc; 1519 struct symtab_and_line sal; 1520 1521 pc = BLOCK_START (SYMBOL_BLOCK_VALUE (sym)); 1522 if (funfirstline) 1523 { 1524 pc += FUNCTION_START_OFFSET; 1525 SKIP_PROLOGUE (pc); 1526 } 1527 sal = find_pc_line (pc, 0); 1528 1529 #ifdef PROLOGUE_FIRSTLINE_OVERLAP 1530 /* Convex: no need to suppress code on first line, if any */ 1531 sal.pc = pc; 1532 #else 1533 /* Check if SKIP_PROLOGUE left us in mid-line, and the next 1534 line is still part of the same function. */ 1535 if (sal.pc != pc 1536 && BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= sal.end 1537 && sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym))) 1538 { 1539 /* First pc of next line */ 1540 pc = sal.end; 1541 /* Recalculate the line number (might not be N+1). */ 1542 sal = find_pc_line (pc, 0); 1543 } 1544 sal.pc = pc; 1545 #endif 1546 1547 return sal; 1548 } 1549 1550 /* If P is of the form "operator[ \t]+..." where `...' is 1551 some legitimate operator text, return a pointer to the 1552 beginning of the substring of the operator text. 1553 Otherwise, return "". */ 1554 char * 1555 operator_chars (p, end) 1556 char *p; 1557 char **end; 1558 { 1559 *end = ""; 1560 if (strncmp (p, "operator", 8)) 1561 return *end; 1562 p += 8; 1563 1564 /* Don't get faked out by `operator' being part of a longer 1565 identifier. */ 1566 if (isalpha(*p) || *p == '_' || *p == '$' || *p == '\0') 1567 return *end; 1568 1569 /* Allow some whitespace between `operator' and the operator symbol. */ 1570 while (*p == ' ' || *p == '\t') 1571 p++; 1572 1573 /* Recognize 'operator TYPENAME'. */ 1574 1575 if (isalpha(*p) || *p == '_' || *p == '$') 1576 { 1577 register char *q = p+1; 1578 while (isalnum(*q) || *q == '_' || *q == '$') 1579 q++; 1580 *end = q; 1581 return p; 1582 } 1583 1584 switch (*p) 1585 { 1586 case '!': 1587 case '=': 1588 case '*': 1589 case '/': 1590 case '%': 1591 case '^': 1592 if (p[1] == '=') 1593 *end = p+2; 1594 else 1595 *end = p+1; 1596 return p; 1597 case '<': 1598 case '>': 1599 case '+': 1600 case '-': 1601 case '&': 1602 case '|': 1603 if (p[1] == '=' || p[1] == p[0]) 1604 *end = p+2; 1605 else 1606 *end = p+1; 1607 return p; 1608 case '~': 1609 case ',': 1610 *end = p+1; 1611 return p; 1612 case '(': 1613 if (p[1] != ')') 1614 error ("`operator ()' must be specified without whitespace in `()'"); 1615 *end = p+2; 1616 return p; 1617 case '?': 1618 if (p[1] != ':') 1619 error ("`operator ?:' must be specified without whitespace in `?:'"); 1620 *end = p+2; 1621 return p; 1622 case '[': 1623 if (p[1] != ']') 1624 error ("`operator []' must be specified without whitespace in `[]'"); 1625 *end = p+2; 1626 return p; 1627 default: 1628 error ("`operator %s' not supported", p); 1629 break; 1630 } 1631 *end = ""; 1632 return *end; 1633 } 1634 1635 /* Return the number of methods described for TYPE, including the 1636 methods from types it derives from. This can't be done in the symbol 1637 reader because the type of the baseclass might still be stubbed 1638 when the definition of the derived class is parsed. */ 1639 1640 static int total_number_of_methods PARAMS ((struct type *type)); 1641 1642 static int 1643 total_number_of_methods (type) 1644 struct type *type; 1645 { 1646 int n; 1647 int count; 1648 1649 CHECK_TYPEDEF (type); 1650 count = TYPE_NFN_FIELDS_TOTAL (type); 1651 1652 for (n = 0; n < TYPE_N_BASECLASSES (type); n++) 1653 count += total_number_of_methods (TYPE_BASECLASS (type, n)); 1654 1655 return count; 1656 } 1657 1658 /* Recursive helper function for decode_line_1. 1659 Look for methods named NAME in type T. 1660 Return number of matches. 1661 Put matches in SYM_ARR, which should have been allocated with 1662 a size of total_number_of_methods (T) * sizeof (struct symbol *). 1663 Note that this function is g++ specific. */ 1664 1665 int 1666 find_methods (t, name, sym_arr) 1667 struct type *t; 1668 char *name; 1669 struct symbol **sym_arr; 1670 { 1671 int i1 = 0; 1672 int ibase; 1673 struct symbol *sym_class; 1674 char *class_name = type_name_no_tag (t); 1675 /* Ignore this class if it doesn't have a name. This is ugly, but 1676 unless we figure out how to get the physname without the name of 1677 the class, then the loop can't do any good. */ 1678 if (class_name 1679 && (sym_class = lookup_symbol (class_name, 1680 (struct block *)NULL, 1681 STRUCT_NAMESPACE, 1682 (int *)NULL, 1683 (struct symtab **)NULL))) 1684 { 1685 int method_counter; 1686 /* FIXME: Shouldn't this just be CHECK_TYPEDEF (t)? */ 1687 t = SYMBOL_TYPE (sym_class); 1688 for (method_counter = TYPE_NFN_FIELDS (t) - 1; 1689 method_counter >= 0; 1690 --method_counter) 1691 { 1692 int field_counter; 1693 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, method_counter); 1694 char *method_name = TYPE_FN_FIELDLIST_NAME (t, method_counter); 1695 char dem_opname[64]; 1696 1697 if (strncmp(method_name, "__", 2)==0 || 1698 strncmp(method_name, "op", 2)==0 || 1699 strncmp(method_name, "type", 4)==0 ) 1700 { 1701 if (cplus_demangle_opname(method_name, dem_opname, DMGL_ANSI)) 1702 method_name = dem_opname; 1703 else if (cplus_demangle_opname(method_name, dem_opname, 0)) 1704 method_name = dem_opname; 1705 } 1706 if (STREQ (name, method_name)) 1707 /* Find all the fields with that name. */ 1708 for (field_counter = TYPE_FN_FIELDLIST_LENGTH (t, method_counter) - 1; 1709 field_counter >= 0; 1710 --field_counter) 1711 { 1712 char *phys_name; 1713 if (TYPE_FN_FIELD_STUB (f, field_counter)) 1714 check_stub_method (t, method_counter, field_counter); 1715 phys_name = TYPE_FN_FIELD_PHYSNAME (f, field_counter); 1716 /* Destructor is handled by caller, dont add it to the list */ 1717 if (DESTRUCTOR_PREFIX_P (phys_name)) 1718 continue; 1719 1720 /* FIXME: Why are we looking this up in the 1721 SYMBOL_BLOCK_VALUE (sym_class)? It is intended as a hook 1722 for nested types? If so, it should probably hook to the 1723 type, not the symbol. mipsread.c is the only symbol 1724 reader which sets the SYMBOL_BLOCK_VALUE for types, and 1725 this is not documented in symtab.h. -26Aug93. */ 1726 1727 sym_arr[i1] = lookup_symbol (phys_name, 1728 SYMBOL_BLOCK_VALUE (sym_class), 1729 VAR_NAMESPACE, 1730 (int *) NULL, 1731 (struct symtab **) NULL); 1732 if (sym_arr[i1]) i1++; 1733 else 1734 { 1735 fputs_filtered("(Cannot find method ", gdb_stdout); 1736 fprintf_symbol_filtered (gdb_stdout, phys_name, 1737 language_cplus, 1738 DMGL_PARAMS | DMGL_ANSI); 1739 fputs_filtered(" - possibly inlined.)\n", gdb_stdout); 1740 } 1741 } 1742 } 1743 } 1744 1745 /* Only search baseclasses if there is no match yet, since names in 1746 derived classes override those in baseclasses. 1747 1748 FIXME: The above is not true; it is only true of member functions 1749 if they have the same number of arguments (??? - section 13.1 of the 1750 ARM says the function members are not in the same scope but doesn't 1751 really spell out the rules in a way I understand. In any case, if 1752 the number of arguments differ this is a case in which we can overload 1753 rather than hiding without any problem, and gcc 2.4.5 does overload 1754 rather than hiding in this case). */ 1755 1756 if (i1) 1757 return i1; 1758 for (ibase = 0; ibase < TYPE_N_BASECLASSES (t); ibase++) 1759 i1 += find_methods(TYPE_BASECLASS(t, ibase), name, 1760 sym_arr + i1); 1761 return i1; 1762 } 1763 1764 /* Helper function for decode_line_1. 1765 Build a canonical line spec in CANONICAL if it is non-NULL and if 1766 the SAL has a symtab. 1767 If SYMNAME is non-NULL the canonical line spec is `filename:symname'. 1768 If SYMNAME is NULL the line number from SAL is used and the canonical 1769 line spec is `filename:linenum'. */ 1770 1771 static void 1772 build_canonical_line_spec (sal, symname, canonical) 1773 struct symtab_and_line *sal; 1774 char *symname; 1775 char ***canonical; 1776 { 1777 char **canonical_arr; 1778 char *canonical_name; 1779 char *filename; 1780 struct symtab *s = sal->symtab; 1781 1782 if (s == (struct symtab *)NULL 1783 || s->filename == (char *)NULL 1784 || canonical == (char ***)NULL) 1785 return; 1786 1787 canonical_arr = (char **) xmalloc (sizeof (char *)); 1788 *canonical = canonical_arr; 1789 1790 filename = s->filename; 1791 if (symname != NULL) 1792 { 1793 canonical_name = xmalloc (strlen (filename) + strlen (symname) + 2); 1794 sprintf (canonical_name, "%s:%s", filename, symname); 1795 } 1796 else 1797 { 1798 canonical_name = xmalloc (strlen (filename) + 30); 1799 sprintf (canonical_name, "%s:%d", filename, sal->line); 1800 } 1801 canonical_arr[0] = canonical_name; 1802 } 1803 1804 /* Parse a string that specifies a line number. 1805 Pass the address of a char * variable; that variable will be 1806 advanced over the characters actually parsed. 1807 1808 The string can be: 1809 1810 LINENUM -- that line number in current file. PC returned is 0. 1811 FILE:LINENUM -- that line in that file. PC returned is 0. 1812 FUNCTION -- line number of openbrace of that function. 1813 PC returned is the start of the function. 1814 VARIABLE -- line number of definition of that variable. 1815 PC returned is 0. 1816 FILE:FUNCTION -- likewise, but prefer functions in that file. 1817 *EXPR -- line in which address EXPR appears. 1818 1819 FUNCTION may be an undebuggable function found in minimal symbol table. 1820 1821 If the argument FUNFIRSTLINE is nonzero, we want the first line 1822 of real code inside a function when a function is specified, and it is 1823 not OK to specify a variable or type to get its line number. 1824 1825 DEFAULT_SYMTAB specifies the file to use if none is specified. 1826 It defaults to current_source_symtab. 1827 DEFAULT_LINE specifies the line number to use for relative 1828 line numbers (that start with signs). Defaults to current_source_line. 1829 If CANONICAL is non-NULL, store an array of strings containing the canonical 1830 line specs there if necessary. Currently overloaded member functions and 1831 line numbers or static functions without a filename yield a canonical 1832 line spec. The array and the line spec strings are allocated on the heap, 1833 it is the callers responsibility to free them. 1834 1835 Note that it is possible to return zero for the symtab 1836 if no file is validly specified. Callers must check that. 1837 Also, the line number returned may be invalid. */ 1838 1839 /* We allow single quotes in various places. This is a hideous 1840 kludge, which exists because the completer can't yet deal with the 1841 lack of single quotes. FIXME: write a linespec_completer which we 1842 can use as appropriate instead of make_symbol_completion_list. */ 1843 1844 struct symtabs_and_lines 1845 decode_line_1 (argptr, funfirstline, default_symtab, default_line, canonical) 1846 char **argptr; 1847 int funfirstline; 1848 struct symtab *default_symtab; 1849 int default_line; 1850 char ***canonical; 1851 { 1852 struct symtabs_and_lines values; 1853 #ifdef HPPA_COMPILER_BUG 1854 /* FIXME: The native HP 9000/700 compiler has a bug which appears 1855 when optimizing this file with target i960-vxworks. I haven't 1856 been able to construct a simple test case. The problem is that 1857 in the second call to SKIP_PROLOGUE below, the compiler somehow 1858 does not realize that the statement val = find_pc_line (...) will 1859 change the values of the fields of val. It extracts the elements 1860 into registers at the top of the block, and does not update the 1861 registers after the call to find_pc_line. You can check this by 1862 inserting a printf at the end of find_pc_line to show what values 1863 it is returning for val.pc and val.end and another printf after 1864 the call to see what values the function actually got (remember, 1865 this is compiling with cc -O, with this patch removed). You can 1866 also examine the assembly listing: search for the second call to 1867 skip_prologue; the LDO statement before the next call to 1868 find_pc_line loads the address of the structure which 1869 find_pc_line will return; if there is a LDW just before the LDO, 1870 which fetches an element of the structure, then the compiler 1871 still has the bug. 1872 1873 Setting val to volatile avoids the problem. We must undef 1874 volatile, because the HPPA native compiler does not define 1875 __STDC__, although it does understand volatile, and so volatile 1876 will have been defined away in defs.h. */ 1877 #undef volatile 1878 volatile struct symtab_and_line val; 1879 #define volatile /*nothing*/ 1880 #else 1881 struct symtab_and_line val; 1882 #endif 1883 register char *p, *p1; 1884 char *q, *pp; 1885 #if 0 1886 char *q1; 1887 #endif 1888 register struct symtab *s; 1889 1890 register struct symbol *sym; 1891 /* The symtab that SYM was found in. */ 1892 struct symtab *sym_symtab; 1893 1894 register CORE_ADDR pc; 1895 register struct minimal_symbol *msymbol; 1896 char *copy; 1897 struct symbol *sym_class; 1898 int i1; 1899 int is_quoted, has_parens; 1900 struct symbol **sym_arr; 1901 struct type *t; 1902 char *saved_arg = *argptr; 1903 extern char *gdb_completer_quote_characters; 1904 1905 /* Defaults have defaults. */ 1906 1907 if (default_symtab == 0) 1908 { 1909 default_symtab = current_source_symtab; 1910 default_line = current_source_line; 1911 } 1912 1913 /* See if arg is *PC */ 1914 1915 if (**argptr == '*') 1916 { 1917 (*argptr)++; 1918 pc = parse_and_eval_address_1 (argptr); 1919 values.sals = (struct symtab_and_line *) 1920 xmalloc (sizeof (struct symtab_and_line)); 1921 values.nelts = 1; 1922 values.sals[0] = find_pc_line (pc, 0); 1923 values.sals[0].pc = pc; 1924 return values; 1925 } 1926 1927 /* Maybe arg is FILE : LINENUM or FILE : FUNCTION */ 1928 1929 s = NULL; 1930 is_quoted = (**argptr 1931 && strchr (gdb_completer_quote_characters, **argptr) != NULL); 1932 has_parens = ((pp = strchr (*argptr, '(')) != NULL 1933 && (pp = strchr (pp, ')')) != NULL); 1934 1935 for (p = *argptr; *p; p++) 1936 { 1937 if (p[0] == '<') 1938 { 1939 while(++p && *p != '>'); 1940 if (!p) 1941 { 1942 error ("non-matching '<' and '>' in command"); 1943 } 1944 } 1945 if (p[0] == ':' || p[0] == ' ' || p[0] == '\t') 1946 break; 1947 } 1948 while (p[0] == ' ' || p[0] == '\t') p++; 1949 1950 if ((p[0] == ':') && !has_parens) 1951 { 1952 1953 /* C++ */ 1954 if (is_quoted) *argptr = *argptr+1; 1955 if (p[1] ==':') 1956 { 1957 /* Extract the class name. */ 1958 p1 = p; 1959 while (p != *argptr && p[-1] == ' ') --p; 1960 copy = (char *) alloca (p - *argptr + 1); 1961 memcpy (copy, *argptr, p - *argptr); 1962 copy[p - *argptr] = 0; 1963 1964 /* Discard the class name from the arg. */ 1965 p = p1 + 2; 1966 while (*p == ' ' || *p == '\t') p++; 1967 *argptr = p; 1968 1969 sym_class = lookup_symbol (copy, 0, STRUCT_NAMESPACE, 0, 1970 (struct symtab **)NULL); 1971 1972 if (sym_class && 1973 (t = check_typedef (SYMBOL_TYPE (sym_class)), 1974 (TYPE_CODE (t) == TYPE_CODE_STRUCT 1975 || TYPE_CODE (t) == TYPE_CODE_UNION))) 1976 { 1977 /* Arg token is not digits => try it as a function name 1978 Find the next token(everything up to end or next blank). */ 1979 if (**argptr 1980 && strchr (gdb_completer_quote_characters, **argptr) != NULL) 1981 { 1982 p = skip_quoted(*argptr); 1983 *argptr = *argptr + 1; 1984 } 1985 else 1986 { 1987 p = *argptr; 1988 while (*p && *p!=' ' && *p!='\t' && *p!=',' && *p!=':') p++; 1989 } 1990 /* 1991 q = operator_chars (*argptr, &q1); 1992 if (q1 - q) 1993 { 1994 char *opname; 1995 char *tmp = alloca (q1 - q + 1); 1996 memcpy (tmp, q, q1 - q); 1997 tmp[q1 - q] = '\0'; 1998 opname = cplus_mangle_opname (tmp, DMGL_ANSI); 1999 if (opname == NULL) 2000 { 2001 error_begin (); 2002 printf_filtered ("no mangling for \"%s\"\n", tmp); 2003 cplusplus_hint (saved_arg); 2004 return_to_top_level (RETURN_ERROR); 2005 } 2006 copy = (char*) alloca (3 + strlen(opname)); 2007 sprintf (copy, "__%s", opname); 2008 p = q1; 2009 } 2010 else 2011 */ 2012 { 2013 copy = (char *) alloca (p - *argptr + 1 ); 2014 memcpy (copy, *argptr, p - *argptr); 2015 copy[p - *argptr] = '\0'; 2016 if (p != *argptr 2017 && copy[p - *argptr - 1] 2018 && strchr (gdb_completer_quote_characters, 2019 copy[p - *argptr - 1]) != NULL) 2020 copy[p - *argptr - 1] = '\0'; 2021 } 2022 2023 /* no line number may be specified */ 2024 while (*p == ' ' || *p == '\t') p++; 2025 *argptr = p; 2026 2027 sym = 0; 2028 i1 = 0; /* counter for the symbol array */ 2029 sym_arr = (struct symbol **) alloca(total_number_of_methods (t) 2030 * sizeof(struct symbol *)); 2031 2032 /* Cfront objects don't have fieldlists. */ 2033 if (destructor_name_p (copy, t) && TYPE_FN_FIELDLISTS (t) != NULL) 2034 { 2035 /* destructors are a special case. */ 2036 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, 0); 2037 int len = TYPE_FN_FIELDLIST_LENGTH (t, 0) - 1; 2038 /* gcc 1.x puts destructor in last field, 2039 gcc 2.x puts destructor in first field. */ 2040 char *phys_name = TYPE_FN_FIELD_PHYSNAME (f, len); 2041 if (!DESTRUCTOR_PREFIX_P (phys_name)) 2042 { 2043 phys_name = TYPE_FN_FIELD_PHYSNAME (f, 0); 2044 if (!DESTRUCTOR_PREFIX_P (phys_name)) 2045 phys_name = ""; 2046 } 2047 sym_arr[i1] = 2048 lookup_symbol (phys_name, SYMBOL_BLOCK_VALUE (sym_class), 2049 VAR_NAMESPACE, 0, (struct symtab **)NULL); 2050 if (sym_arr[i1]) i1++; 2051 } 2052 else 2053 i1 = find_methods (t, copy, sym_arr); 2054 if (i1 == 1) 2055 { 2056 /* There is exactly one field with that name. */ 2057 sym = sym_arr[0]; 2058 2059 if (sym && SYMBOL_CLASS (sym) == LOC_BLOCK) 2060 { 2061 values.sals = (struct symtab_and_line *)xmalloc (sizeof (struct symtab_and_line)); 2062 values.nelts = 1; 2063 values.sals[0] = find_function_start_sal (sym, 2064 funfirstline); 2065 } 2066 else 2067 { 2068 values.nelts = 0; 2069 } 2070 return values; 2071 } 2072 if (i1 > 0) 2073 { 2074 /* There is more than one field with that name 2075 (overloaded). Ask the user which one to use. */ 2076 return decode_line_2 (sym_arr, i1, funfirstline, canonical); 2077 } 2078 else 2079 { 2080 char *tmp; 2081 2082 if (OPNAME_PREFIX_P (copy)) 2083 { 2084 tmp = (char *)alloca (strlen (copy+3) + 9); 2085 strcpy (tmp, "operator "); 2086 strcat (tmp, copy+3); 2087 } 2088 else 2089 tmp = copy; 2090 error_begin (); 2091 if (tmp[0] == '~') 2092 printf_filtered 2093 ("the class `%s' does not have destructor defined\n", 2094 SYMBOL_SOURCE_NAME(sym_class)); 2095 else 2096 printf_filtered 2097 ("the class %s does not have any method named %s\n", 2098 SYMBOL_SOURCE_NAME(sym_class), tmp); 2099 cplusplus_hint (saved_arg); 2100 return_to_top_level (RETURN_ERROR); 2101 } 2102 } 2103 else 2104 { 2105 error_begin (); 2106 /* The quotes are important if copy is empty. */ 2107 printf_filtered 2108 ("can't find class, struct, or union named \"%s\"\n", copy); 2109 cplusplus_hint (saved_arg); 2110 return_to_top_level (RETURN_ERROR); 2111 } 2112 } 2113 /* end of C++ */ 2114 2115 2116 /* Extract the file name. */ 2117 p1 = p; 2118 while (p != *argptr && p[-1] == ' ') --p; 2119 copy = (char *) alloca (p - *argptr + 1); 2120 memcpy (copy, *argptr, p - *argptr); 2121 copy[p - *argptr] = 0; 2122 2123 /* Find that file's data. */ 2124 s = lookup_symtab (copy); 2125 if (s == 0) 2126 { 2127 if (!have_full_symbols () && !have_partial_symbols ()) 2128 error (no_symtab_msg); 2129 error ("No source file named %s.", copy); 2130 } 2131 2132 /* Discard the file name from the arg. */ 2133 p = p1 + 1; 2134 while (*p == ' ' || *p == '\t') p++; 2135 *argptr = p; 2136 } 2137 2138 /* S is specified file's symtab, or 0 if no file specified. 2139 arg no longer contains the file name. */ 2140 2141 /* Check whether arg is all digits (and sign) */ 2142 2143 q = *argptr; 2144 if (*q == '-' || *q == '+') q++; 2145 while (*q >= '0' && *q <= '9') 2146 q++; 2147 2148 if (q != *argptr && (*q == 0 || *q == ' ' || *q == '\t' || *q == ',')) 2149 { 2150 /* We found a token consisting of all digits -- at least one digit. */ 2151 enum sign {none, plus, minus} sign = none; 2152 2153 /* We might need a canonical line spec if no file was specified. */ 2154 int need_canonical = (s == 0) ? 1 : 0; 2155 2156 /* This is where we need to make sure that we have good defaults. 2157 We must guarantee that this section of code is never executed 2158 when we are called with just a function name, since 2159 select_source_symtab calls us with such an argument */ 2160 2161 if (s == 0 && default_symtab == 0) 2162 { 2163 select_source_symtab (0); 2164 default_symtab = current_source_symtab; 2165 default_line = current_source_line; 2166 } 2167 2168 if (**argptr == '+') 2169 sign = plus, (*argptr)++; 2170 else if (**argptr == '-') 2171 sign = minus, (*argptr)++; 2172 val.line = atoi (*argptr); 2173 switch (sign) 2174 { 2175 case plus: 2176 if (q == *argptr) 2177 val.line = 5; 2178 if (s == 0) 2179 val.line = default_line + val.line; 2180 break; 2181 case minus: 2182 if (q == *argptr) 2183 val.line = 15; 2184 if (s == 0) 2185 val.line = default_line - val.line; 2186 else 2187 val.line = 1; 2188 break; 2189 case none: 2190 break; /* No need to adjust val.line. */ 2191 } 2192 2193 while (*q == ' ' || *q == '\t') q++; 2194 *argptr = q; 2195 if (s == 0) 2196 s = default_symtab; 2197 val.symtab = s; 2198 val.pc = 0; 2199 values.sals = (struct symtab_and_line *)xmalloc (sizeof (struct symtab_and_line)); 2200 values.sals[0] = val; 2201 values.nelts = 1; 2202 if (need_canonical) 2203 build_canonical_line_spec (values.sals, NULL, canonical); 2204 return values; 2205 } 2206 2207 /* Arg token is not digits => try it as a variable name 2208 Find the next token (everything up to end or next whitespace). */ 2209 2210 if (**argptr == '$') /* Convenience variable */ 2211 p = skip_quoted (*argptr + 1); 2212 else if (is_quoted) 2213 { 2214 p = skip_quoted (*argptr); 2215 if (p[-1] != '\'') 2216 error ("Unmatched single quote."); 2217 } 2218 else if (has_parens) 2219 { 2220 p = pp+1; 2221 } 2222 else 2223 { 2224 p = skip_quoted(*argptr); 2225 } 2226 2227 copy = (char *) alloca (p - *argptr + 1); 2228 memcpy (copy, *argptr, p - *argptr); 2229 copy[p - *argptr] = '\0'; 2230 if (p != *argptr 2231 && copy[0] 2232 && copy[0] == copy [p - *argptr - 1] 2233 && strchr (gdb_completer_quote_characters, copy[0]) != NULL) 2234 { 2235 copy [p - *argptr - 1] = '\0'; 2236 copy++; 2237 } 2238 while (*p == ' ' || *p == '\t') p++; 2239 *argptr = p; 2240 2241 /* See if it's a convenience variable */ 2242 2243 if (*copy == '$') 2244 { 2245 value_ptr valx; 2246 int need_canonical = (s == 0) ? 1 : 0; 2247 2248 valx = value_of_internalvar (lookup_internalvar (copy + 1)); 2249 if (TYPE_CODE (VALUE_TYPE (valx)) != TYPE_CODE_INT) 2250 error ("Convenience variables used in line specs must have integer values."); 2251 2252 val.symtab = s ? s : default_symtab; 2253 val.line = value_as_long (valx); 2254 val.pc = 0; 2255 2256 values.sals = (struct symtab_and_line *)xmalloc (sizeof val); 2257 values.sals[0] = val; 2258 values.nelts = 1; 2259 2260 if (need_canonical) 2261 build_canonical_line_spec (values.sals, NULL, canonical); 2262 2263 return values; 2264 } 2265 2266 2267 /* Look up that token as a variable. 2268 If file specified, use that file's per-file block to start with. */ 2269 2270 sym = lookup_symbol (copy, 2271 (s ? BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK) 2272 : get_selected_block ()), 2273 VAR_NAMESPACE, 0, &sym_symtab); 2274 2275 if (sym != NULL) 2276 { 2277 if (SYMBOL_CLASS (sym) == LOC_BLOCK) 2278 { 2279 /* Arg is the name of a function */ 2280 values.sals = (struct symtab_and_line *)xmalloc (sizeof (struct symtab_and_line)); 2281 values.sals[0] = find_function_start_sal (sym, funfirstline); 2282 values.nelts = 1; 2283 2284 /* Don't use the SYMBOL_LINE; if used at all it points to 2285 the line containing the parameters or thereabouts, not 2286 the first line of code. */ 2287 2288 /* We might need a canonical line spec if it is a static 2289 function. */ 2290 if (s == 0) 2291 { 2292 struct blockvector *bv = BLOCKVECTOR (sym_symtab); 2293 struct block *b = BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK); 2294 if (lookup_block_symbol (b, copy, VAR_NAMESPACE) != NULL) 2295 build_canonical_line_spec (values.sals, copy, canonical); 2296 } 2297 return values; 2298 } 2299 else 2300 { 2301 if (funfirstline) 2302 error ("\"%s\" is not a function", copy); 2303 else if (SYMBOL_LINE (sym) != 0) 2304 { 2305 /* We know its line number. */ 2306 values.sals = (struct symtab_and_line *) 2307 xmalloc (sizeof (struct symtab_and_line)); 2308 values.nelts = 1; 2309 memset (&values.sals[0], 0, sizeof (values.sals[0])); 2310 values.sals[0].symtab = sym_symtab; 2311 values.sals[0].line = SYMBOL_LINE (sym); 2312 return values; 2313 } 2314 else 2315 /* This can happen if it is compiled with a compiler which doesn't 2316 put out line numbers for variables. */ 2317 /* FIXME: Shouldn't we just set .line and .symtab to zero 2318 and return? For example, "info line foo" could print 2319 the address. */ 2320 error ("Line number not known for symbol \"%s\"", copy); 2321 } 2322 } 2323 2324 msymbol = lookup_minimal_symbol (copy, NULL, NULL); 2325 if (msymbol != NULL) 2326 { 2327 val.symtab = 0; 2328 val.line = 0; 2329 val.pc = SYMBOL_VALUE_ADDRESS (msymbol); 2330 if (funfirstline) 2331 { 2332 val.pc += FUNCTION_START_OFFSET; 2333 SKIP_PROLOGUE (val.pc); 2334 } 2335 values.sals = (struct symtab_and_line *)xmalloc (sizeof (struct symtab_and_line)); 2336 values.sals[0] = val; 2337 values.nelts = 1; 2338 return values; 2339 } 2340 2341 if (!have_full_symbols () && 2342 !have_partial_symbols () && !have_minimal_symbols ()) 2343 error (no_symtab_msg); 2344 2345 error ("Function \"%s\" not defined.", copy); 2346 return values; /* for lint */ 2347 } 2348 2349 struct symtabs_and_lines 2350 decode_line_spec (string, funfirstline) 2351 char *string; 2352 int funfirstline; 2353 { 2354 struct symtabs_and_lines sals; 2355 if (string == 0) 2356 error ("Empty line specification."); 2357 sals = decode_line_1 (&string, funfirstline, 2358 current_source_symtab, current_source_line, 2359 (char ***)NULL); 2360 if (*string) 2361 error ("Junk at end of line specification: %s", string); 2362 return sals; 2363 } 2364 2365 /* Given a list of NELTS symbols in SYM_ARR, return a list of lines to 2366 operate on (ask user if necessary). 2367 If CANONICAL is non-NULL return a corresponding array of mangled names 2368 as canonical line specs there. */ 2369 2370 static struct symtabs_and_lines 2371 decode_line_2 (sym_arr, nelts, funfirstline, canonical) 2372 struct symbol *sym_arr[]; 2373 int nelts; 2374 int funfirstline; 2375 char ***canonical; 2376 { 2377 struct symtabs_and_lines values, return_values; 2378 char *args, *arg1; 2379 int i; 2380 char *prompt; 2381 char *symname; 2382 struct cleanup *old_chain; 2383 char **canonical_arr = (char **)NULL; 2384 2385 values.sals = (struct symtab_and_line *) alloca (nelts * sizeof(struct symtab_and_line)); 2386 return_values.sals = (struct symtab_and_line *) xmalloc (nelts * sizeof(struct symtab_and_line)); 2387 old_chain = make_cleanup (free, return_values.sals); 2388 2389 if (canonical) 2390 { 2391 canonical_arr = (char **) xmalloc (nelts * sizeof (char *)); 2392 make_cleanup (free, canonical_arr); 2393 memset (canonical_arr, 0, nelts * sizeof (char *)); 2394 *canonical = canonical_arr; 2395 } 2396 2397 i = 0; 2398 printf_unfiltered("[0] cancel\n[1] all\n"); 2399 while (i < nelts) 2400 { 2401 if (sym_arr[i] && SYMBOL_CLASS (sym_arr[i]) == LOC_BLOCK) 2402 { 2403 values.sals[i] = find_function_start_sal (sym_arr[i], funfirstline); 2404 printf_unfiltered ("[%d] %s at %s:%d\n", 2405 (i+2), 2406 SYMBOL_SOURCE_NAME (sym_arr[i]), 2407 values.sals[i].symtab->filename, 2408 values.sals[i].line); 2409 } 2410 else 2411 printf_unfiltered ("?HERE\n"); 2412 i++; 2413 } 2414 2415 if ((prompt = getenv ("PS2")) == NULL) 2416 { 2417 prompt = ">"; 2418 } 2419 printf_unfiltered("%s ",prompt); 2420 gdb_flush(gdb_stdout); 2421 2422 args = command_line_input ((char *) NULL, 0, "overload-choice"); 2423 2424 if (args == 0 || *args == 0) 2425 error_no_arg ("one or more choice numbers"); 2426 2427 i = 0; 2428 while (*args) 2429 { 2430 int num; 2431 2432 arg1 = args; 2433 while (*arg1 >= '0' && *arg1 <= '9') arg1++; 2434 if (*arg1 && *arg1 != ' ' && *arg1 != '\t') 2435 error ("Arguments must be choice numbers."); 2436 2437 num = atoi (args); 2438 2439 if (num == 0) 2440 error ("cancelled"); 2441 else if (num == 1) 2442 { 2443 if (canonical_arr) 2444 { 2445 for (i = 0; i < nelts; i++) 2446 { 2447 if (canonical_arr[i] == NULL) 2448 { 2449 symname = SYMBOL_NAME (sym_arr[i]); 2450 canonical_arr[i] = savestring (symname, strlen (symname)); 2451 } 2452 } 2453 } 2454 memcpy (return_values.sals, values.sals, 2455 (nelts * sizeof(struct symtab_and_line))); 2456 return_values.nelts = nelts; 2457 discard_cleanups (old_chain); 2458 return return_values; 2459 } 2460 2461 if (num > nelts + 2) 2462 { 2463 printf_unfiltered ("No choice number %d.\n", num); 2464 } 2465 else 2466 { 2467 num -= 2; 2468 if (values.sals[num].pc) 2469 { 2470 if (canonical_arr) 2471 { 2472 symname = SYMBOL_NAME (sym_arr[num]); 2473 make_cleanup (free, symname); 2474 canonical_arr[i] = savestring (symname, strlen (symname)); 2475 } 2476 return_values.sals[i++] = values.sals[num]; 2477 values.sals[num].pc = 0; 2478 } 2479 else 2480 { 2481 printf_unfiltered ("duplicate request for %d ignored.\n", num); 2482 } 2483 } 2484 2485 args = arg1; 2486 while (*args == ' ' || *args == '\t') args++; 2487 } 2488 return_values.nelts = i; 2489 discard_cleanups (old_chain); 2490 return return_values; 2491 } 2492 2493 2494 /* Slave routine for sources_info. Force line breaks at ,'s. 2495 NAME is the name to print and *FIRST is nonzero if this is the first 2496 name printed. Set *FIRST to zero. */ 2497 static void 2498 output_source_filename (name, first) 2499 char *name; 2500 int *first; 2501 { 2502 /* Table of files printed so far. Since a single source file can 2503 result in several partial symbol tables, we need to avoid printing 2504 it more than once. Note: if some of the psymtabs are read in and 2505 some are not, it gets printed both under "Source files for which 2506 symbols have been read" and "Source files for which symbols will 2507 be read in on demand". I consider this a reasonable way to deal 2508 with the situation. I'm not sure whether this can also happen for 2509 symtabs; it doesn't hurt to check. */ 2510 static char **tab = NULL; 2511 /* Allocated size of tab in elements. 2512 Start with one 256-byte block (when using GNU malloc.c). 2513 24 is the malloc overhead when range checking is in effect. */ 2514 static int tab_alloc_size = (256 - 24) / sizeof (char *); 2515 /* Current size of tab in elements. */ 2516 static int tab_cur_size; 2517 2518 char **p; 2519 2520 if (*first) 2521 { 2522 if (tab == NULL) 2523 tab = (char **) xmalloc (tab_alloc_size * sizeof (*tab)); 2524 tab_cur_size = 0; 2525 } 2526 2527 /* Is NAME in tab? */ 2528 for (p = tab; p < tab + tab_cur_size; p++) 2529 if (STREQ (*p, name)) 2530 /* Yes; don't print it again. */ 2531 return; 2532 /* No; add it to tab. */ 2533 if (tab_cur_size == tab_alloc_size) 2534 { 2535 tab_alloc_size *= 2; 2536 tab = (char **) xrealloc ((char *) tab, tab_alloc_size * sizeof (*tab)); 2537 } 2538 tab[tab_cur_size++] = name; 2539 2540 if (*first) 2541 { 2542 *first = 0; 2543 } 2544 else 2545 { 2546 printf_filtered (", "); 2547 } 2548 2549 wrap_here (""); 2550 fputs_filtered (name, gdb_stdout); 2551 } 2552 2553 static void 2554 sources_info (ignore, from_tty) 2555 char *ignore; 2556 int from_tty; 2557 { 2558 register struct symtab *s; 2559 register struct partial_symtab *ps; 2560 register struct objfile *objfile; 2561 int first; 2562 2563 if (!have_full_symbols () && !have_partial_symbols ()) 2564 { 2565 error (no_symtab_msg); 2566 } 2567 2568 printf_filtered ("Source files for which symbols have been read in:\n\n"); 2569 2570 first = 1; 2571 ALL_SYMTABS (objfile, s) 2572 { 2573 output_source_filename (s -> filename, &first); 2574 } 2575 printf_filtered ("\n\n"); 2576 2577 printf_filtered ("Source files for which symbols will be read in on demand:\n\n"); 2578 2579 first = 1; 2580 ALL_PSYMTABS (objfile, ps) 2581 { 2582 if (!ps->readin) 2583 { 2584 output_source_filename (ps -> filename, &first); 2585 } 2586 } 2587 printf_filtered ("\n"); 2588 } 2589 2590 /* List all symbols (if REGEXP is NULL) or all symbols matching REGEXP. 2591 If CLASS is zero, list all symbols except functions, type names, and 2592 constants (enums). 2593 If CLASS is 1, list only functions. 2594 If CLASS is 2, list only type names. 2595 If CLASS is 3, list only method names. 2596 2597 BPT is non-zero if we should set a breakpoint at the functions 2598 we find. */ 2599 2600 static void 2601 list_symbols (regexp, class, bpt, from_tty) 2602 char *regexp; 2603 int class; 2604 int bpt; 2605 int from_tty; 2606 { 2607 register struct symtab *s; 2608 register struct partial_symtab *ps; 2609 register struct blockvector *bv; 2610 struct blockvector *prev_bv = 0; 2611 register struct block *b; 2612 register int i, j; 2613 register struct symbol *sym; 2614 struct partial_symbol **psym; 2615 struct objfile *objfile; 2616 struct minimal_symbol *msymbol; 2617 char *val; 2618 static char *classnames[] 2619 = {"variable", "function", "type", "method"}; 2620 int found_in_file = 0; 2621 int found_misc = 0; 2622 static enum minimal_symbol_type types[] 2623 = {mst_data, mst_text, mst_abs, mst_unknown}; 2624 static enum minimal_symbol_type types2[] 2625 = {mst_bss, mst_file_text, mst_abs, mst_unknown}; 2626 static enum minimal_symbol_type types3[] 2627 = {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown}; 2628 static enum minimal_symbol_type types4[] 2629 = {mst_file_bss, mst_text, mst_abs, mst_unknown}; 2630 enum minimal_symbol_type ourtype = types[class]; 2631 enum minimal_symbol_type ourtype2 = types2[class]; 2632 enum minimal_symbol_type ourtype3 = types3[class]; 2633 enum minimal_symbol_type ourtype4 = types4[class]; 2634 2635 if (regexp != NULL) 2636 { 2637 /* Make sure spacing is right for C++ operators. 2638 This is just a courtesy to make the matching less sensitive 2639 to how many spaces the user leaves between 'operator' 2640 and <TYPENAME> or <OPERATOR>. */ 2641 char *opend; 2642 char *opname = operator_chars (regexp, &opend); 2643 if (*opname) 2644 { 2645 int fix = -1; /* -1 means ok; otherwise number of spaces needed. */ 2646 if (isalpha(*opname) || *opname == '_' || *opname == '$') 2647 { 2648 /* There should 1 space between 'operator' and 'TYPENAME'. */ 2649 if (opname[-1] != ' ' || opname[-2] == ' ') 2650 fix = 1; 2651 } 2652 else 2653 { 2654 /* There should 0 spaces between 'operator' and 'OPERATOR'. */ 2655 if (opname[-1] == ' ') 2656 fix = 0; 2657 } 2658 /* If wrong number of spaces, fix it. */ 2659 if (fix >= 0) 2660 { 2661 char *tmp = (char*) alloca(opend-opname+10); 2662 sprintf(tmp, "operator%.*s%s", fix, " ", opname); 2663 regexp = tmp; 2664 } 2665 } 2666 2667 if (0 != (val = re_comp (regexp))) 2668 error ("Invalid regexp (%s): %s", val, regexp); 2669 } 2670 2671 /* Search through the partial symtabs *first* for all symbols 2672 matching the regexp. That way we don't have to reproduce all of 2673 the machinery below. */ 2674 2675 ALL_PSYMTABS (objfile, ps) 2676 { 2677 struct partial_symbol **bound, **gbound, **sbound; 2678 int keep_going = 1; 2679 2680 if (ps->readin) continue; 2681 2682 gbound = objfile->global_psymbols.list + ps->globals_offset + ps->n_global_syms; 2683 sbound = objfile->static_psymbols.list + ps->statics_offset + ps->n_static_syms; 2684 bound = gbound; 2685 2686 /* Go through all of the symbols stored in a partial 2687 symtab in one loop. */ 2688 psym = objfile->global_psymbols.list + ps->globals_offset; 2689 while (keep_going) 2690 { 2691 if (psym >= bound) 2692 { 2693 if (bound == gbound && ps->n_static_syms != 0) 2694 { 2695 psym = objfile->static_psymbols.list + ps->statics_offset; 2696 bound = sbound; 2697 } 2698 else 2699 keep_going = 0; 2700 continue; 2701 } 2702 else 2703 { 2704 QUIT; 2705 2706 /* If it would match (logic taken from loop below) 2707 load the file and go on to the next one */ 2708 if ((regexp == NULL || SYMBOL_MATCHES_REGEXP (*psym)) 2709 && ((class == 0 && SYMBOL_CLASS (*psym) != LOC_TYPEDEF 2710 && SYMBOL_CLASS (*psym) != LOC_BLOCK) 2711 || (class == 1 && SYMBOL_CLASS (*psym) == LOC_BLOCK) 2712 || (class == 2 && SYMBOL_CLASS (*psym) == LOC_TYPEDEF) 2713 || (class == 3 && SYMBOL_CLASS (*psym) == LOC_BLOCK))) 2714 { 2715 PSYMTAB_TO_SYMTAB(ps); 2716 keep_going = 0; 2717 } 2718 } 2719 psym++; 2720 } 2721 } 2722 2723 /* Here, we search through the minimal symbol tables for functions 2724 and variables that match, and force their symbols to be read. 2725 This is in particular necessary for demangled variable names, 2726 which are no longer put into the partial symbol tables. 2727 The symbol will then be found during the scan of symtabs below. 2728 2729 For functions, find_pc_symtab should succeed if we have debug info 2730 for the function, for variables we have to call lookup_symbol 2731 to determine if the variable has debug info. 2732 If the lookup fails, set found_misc so that we will rescan to print 2733 any matching symbols without debug info. 2734 */ 2735 2736 if (class == 0 || class == 1) 2737 { 2738 ALL_MSYMBOLS (objfile, msymbol) 2739 { 2740 if (MSYMBOL_TYPE (msymbol) == ourtype || 2741 MSYMBOL_TYPE (msymbol) == ourtype2 || 2742 MSYMBOL_TYPE (msymbol) == ourtype3 || 2743 MSYMBOL_TYPE (msymbol) == ourtype4) 2744 { 2745 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol)) 2746 { 2747 if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))) 2748 { 2749 if (class == 1 2750 || lookup_symbol (SYMBOL_NAME (msymbol), 2751 (struct block *) NULL, 2752 VAR_NAMESPACE, 2753 0, (struct symtab **) NULL) == NULL) 2754 found_misc = 1; 2755 } 2756 } 2757 } 2758 } 2759 } 2760 2761 /* Printout here so as to get after the "Reading in symbols" 2762 messages which will be generated above. */ 2763 if (!bpt) 2764 printf_filtered (regexp 2765 ? "All %ss matching regular expression \"%s\":\n" 2766 : "All defined %ss:\n", 2767 classnames[class], 2768 regexp); 2769 2770 ALL_SYMTABS (objfile, s) 2771 { 2772 found_in_file = 0; 2773 bv = BLOCKVECTOR (s); 2774 /* Often many files share a blockvector. 2775 Scan each blockvector only once so that 2776 we don't get every symbol many times. 2777 It happens that the first symtab in the list 2778 for any given blockvector is the main file. */ 2779 if (bv != prev_bv) 2780 for (i = GLOBAL_BLOCK; i <= STATIC_BLOCK; i++) 2781 { 2782 b = BLOCKVECTOR_BLOCK (bv, i); 2783 /* Skip the sort if this block is always sorted. */ 2784 if (!BLOCK_SHOULD_SORT (b)) 2785 sort_block_syms (b); 2786 for (j = 0; j < BLOCK_NSYMS (b); j++) 2787 { 2788 QUIT; 2789 sym = BLOCK_SYM (b, j); 2790 if ((regexp == NULL || SYMBOL_MATCHES_REGEXP (sym)) 2791 && ((class == 0 && SYMBOL_CLASS (sym) != LOC_TYPEDEF 2792 && SYMBOL_CLASS (sym) != LOC_BLOCK 2793 && SYMBOL_CLASS (sym) != LOC_CONST) 2794 || (class == 1 && SYMBOL_CLASS (sym) == LOC_BLOCK) 2795 || (class == 2 && SYMBOL_CLASS (sym) == LOC_TYPEDEF) 2796 || (class == 3 && SYMBOL_CLASS (sym) == LOC_BLOCK))) 2797 { 2798 if (bpt) 2799 { 2800 /* Set a breakpoint here, if it's a function */ 2801 if (class == 1) 2802 { 2803 /* There may be more than one function with the 2804 same name but in different files. In order to 2805 set breakpoints on all of them, we must give 2806 both the file name and the function name to 2807 break_command. 2808 Quoting the symbol name gets rid of problems 2809 with mangled symbol names that contain 2810 CPLUS_MARKER characters. */ 2811 char *string = 2812 (char *) alloca (strlen (s->filename) 2813 + strlen (SYMBOL_NAME(sym)) 2814 + 4); 2815 strcpy (string, s->filename); 2816 strcat (string, ":'"); 2817 strcat (string, SYMBOL_NAME(sym)); 2818 strcat (string, "'"); 2819 break_command (string, from_tty); 2820 } 2821 } 2822 else if (!found_in_file) 2823 { 2824 fputs_filtered ("\nFile ", gdb_stdout); 2825 fputs_filtered (s->filename, gdb_stdout); 2826 fputs_filtered (":\n", gdb_stdout); 2827 } 2828 found_in_file = 1; 2829 2830 if (class != 2 && i == STATIC_BLOCK) 2831 printf_filtered ("static "); 2832 2833 /* Typedef that is not a C++ class */ 2834 if (class == 2 2835 && SYMBOL_NAMESPACE (sym) != STRUCT_NAMESPACE) 2836 c_typedef_print (SYMBOL_TYPE(sym), sym, gdb_stdout); 2837 /* variable, func, or typedef-that-is-c++-class */ 2838 else if (class < 2 || 2839 (class == 2 && 2840 SYMBOL_NAMESPACE(sym) == STRUCT_NAMESPACE)) 2841 { 2842 type_print (SYMBOL_TYPE (sym), 2843 (SYMBOL_CLASS (sym) == LOC_TYPEDEF 2844 ? "" : SYMBOL_SOURCE_NAME (sym)), 2845 gdb_stdout, 0); 2846 2847 printf_filtered (";\n"); 2848 } 2849 else 2850 { 2851 # if 0 /* FIXME, why is this zapped out? */ 2852 char buf[1024]; 2853 c_type_print_base (TYPE_FN_FIELD_TYPE(t, i), 2854 gdb_stdout, 0, 0); 2855 c_type_print_varspec_prefix (TYPE_FN_FIELD_TYPE(t, i), 2856 gdb_stdout, 0); 2857 sprintf (buf, " %s::", type_name_no_tag (t)); 2858 cp_type_print_method_args (TYPE_FN_FIELD_ARGS (t, i), 2859 buf, name, gdb_stdout); 2860 # endif 2861 } 2862 } 2863 } 2864 } 2865 prev_bv = bv; 2866 } 2867 2868 /* If there are no eyes, avoid all contact. I mean, if there are 2869 no debug symbols, then print directly from the msymbol_vector. */ 2870 2871 if (found_misc || class != 1) 2872 { 2873 found_in_file = 0; 2874 ALL_MSYMBOLS (objfile, msymbol) 2875 { 2876 if (MSYMBOL_TYPE (msymbol) == ourtype || 2877 MSYMBOL_TYPE (msymbol) == ourtype2 || 2878 MSYMBOL_TYPE (msymbol) == ourtype3 || 2879 MSYMBOL_TYPE (msymbol) == ourtype4) 2880 { 2881 if (regexp == NULL || SYMBOL_MATCHES_REGEXP (msymbol)) 2882 { 2883 /* Functions: Look up by address. */ 2884 if (class != 1 || 2885 (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))) 2886 { 2887 /* Variables/Absolutes: Look up by name */ 2888 if (lookup_symbol (SYMBOL_NAME (msymbol), 2889 (struct block *) NULL, VAR_NAMESPACE, 2890 0, (struct symtab **) NULL) == NULL) 2891 { 2892 if (bpt) 2893 { 2894 break_command (SYMBOL_NAME (msymbol), from_tty); 2895 printf_filtered ("<function, no debug info> %s;\n", 2896 SYMBOL_SOURCE_NAME (msymbol)); 2897 continue; 2898 } 2899 if (!found_in_file) 2900 { 2901 printf_filtered ("\nNon-debugging symbols:\n"); 2902 found_in_file = 1; 2903 } 2904 printf_filtered (" %08lx %s\n", 2905 (unsigned long) SYMBOL_VALUE_ADDRESS (msymbol), 2906 SYMBOL_SOURCE_NAME (msymbol)); 2907 } 2908 } 2909 } 2910 } 2911 } 2912 } 2913 } 2914 2915 static void 2916 variables_info (regexp, from_tty) 2917 char *regexp; 2918 int from_tty; 2919 { 2920 list_symbols (regexp, 0, 0, from_tty); 2921 } 2922 2923 static void 2924 functions_info (regexp, from_tty) 2925 char *regexp; 2926 int from_tty; 2927 { 2928 list_symbols (regexp, 1, 0, from_tty); 2929 } 2930 2931 static void 2932 types_info (regexp, from_tty) 2933 char *regexp; 2934 int from_tty; 2935 { 2936 list_symbols (regexp, 2, 0, from_tty); 2937 } 2938 2939 #if 0 2940 /* Tiemann says: "info methods was never implemented." */ 2941 static void 2942 methods_info (regexp) 2943 char *regexp; 2944 { 2945 list_symbols (regexp, 3, 0, from_tty); 2946 } 2947 #endif /* 0 */ 2948 2949 /* Breakpoint all functions matching regular expression. */ 2950 static void 2951 rbreak_command (regexp, from_tty) 2952 char *regexp; 2953 int from_tty; 2954 { 2955 list_symbols (regexp, 1, 1, from_tty); 2956 } 2957 2958 2959 /* Return Nonzero if block a is lexically nested within block b, 2960 or if a and b have the same pc range. 2961 Return zero otherwise. */ 2962 int 2963 contained_in (a, b) 2964 struct block *a, *b; 2965 { 2966 if (!a || !b) 2967 return 0; 2968 return BLOCK_START (a) >= BLOCK_START (b) 2969 && BLOCK_END (a) <= BLOCK_END (b); 2970 } 2971 2972 2973 /* Helper routine for make_symbol_completion_list. */ 2974 2975 static int return_val_size; 2976 static int return_val_index; 2977 static char **return_val; 2978 2979 #define COMPLETION_LIST_ADD_SYMBOL(symbol, sym_text, len, text, word) \ 2980 do { \ 2981 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL) \ 2982 /* Put only the mangled name on the list. */ \ 2983 /* Advantage: "b foo<TAB>" completes to "b foo(int, int)" */ \ 2984 /* Disadvantage: "b foo__i<TAB>" doesn't complete. */ \ 2985 completion_list_add_name \ 2986 (SYMBOL_DEMANGLED_NAME (symbol), (sym_text), (len), (text), (word)); \ 2987 else \ 2988 completion_list_add_name \ 2989 (SYMBOL_NAME (symbol), (sym_text), (len), (text), (word)); \ 2990 } while (0) 2991 2992 /* Test to see if the symbol specified by SYMNAME (which is already 2993 demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN 2994 characters. If so, add it to the current completion list. */ 2995 2996 static void 2997 completion_list_add_name (symname, sym_text, sym_text_len, text, word) 2998 char *symname; 2999 char *sym_text; 3000 int sym_text_len; 3001 char *text; 3002 char *word; 3003 { 3004 int newsize; 3005 int i; 3006 3007 /* clip symbols that cannot match */ 3008 3009 if (strncmp (symname, sym_text, sym_text_len) != 0) 3010 { 3011 return; 3012 } 3013 3014 /* Clip any symbol names that we've already considered. (This is a 3015 time optimization) */ 3016 3017 for (i = 0; i < return_val_index; ++i) 3018 { 3019 if (STREQ (symname, return_val[i])) 3020 { 3021 return; 3022 } 3023 } 3024 3025 /* We have a match for a completion, so add SYMNAME to the current list 3026 of matches. Note that the name is moved to freshly malloc'd space. */ 3027 3028 { 3029 char *new; 3030 if (word == sym_text) 3031 { 3032 new = xmalloc (strlen (symname) + 5); 3033 strcpy (new, symname); 3034 } 3035 else if (word > sym_text) 3036 { 3037 /* Return some portion of symname. */ 3038 new = xmalloc (strlen (symname) + 5); 3039 strcpy (new, symname + (word - sym_text)); 3040 } 3041 else 3042 { 3043 /* Return some of SYM_TEXT plus symname. */ 3044 new = xmalloc (strlen (symname) + (sym_text - word) + 5); 3045 strncpy (new, word, sym_text - word); 3046 new[sym_text - word] = '\0'; 3047 strcat (new, symname); 3048 } 3049 3050 /* Recheck for duplicates if we intend to add a modified symbol. */ 3051 if (word != sym_text) 3052 { 3053 for (i = 0; i < return_val_index; ++i) 3054 { 3055 if (STREQ (new, return_val[i])) 3056 { 3057 free (new); 3058 return; 3059 } 3060 } 3061 } 3062 3063 if (return_val_index + 3 > return_val_size) 3064 { 3065 newsize = (return_val_size *= 2) * sizeof (char *); 3066 return_val = (char **) xrealloc ((char *) return_val, newsize); 3067 } 3068 return_val[return_val_index++] = new; 3069 return_val[return_val_index] = NULL; 3070 } 3071 } 3072 3073 /* Return a NULL terminated array of all symbols (regardless of class) which 3074 begin by matching TEXT. If the answer is no symbols, then the return value 3075 is an array which contains only a NULL pointer. 3076 3077 Problem: All of the symbols have to be copied because readline frees them. 3078 I'm not going to worry about this; hopefully there won't be that many. */ 3079 3080 char ** 3081 make_symbol_completion_list (text, word) 3082 char *text; 3083 char *word; 3084 { 3085 register struct symbol *sym; 3086 register struct symtab *s; 3087 register struct partial_symtab *ps; 3088 register struct minimal_symbol *msymbol; 3089 register struct objfile *objfile; 3090 register struct block *b, *surrounding_static_block = 0; 3091 register int i, j; 3092 struct partial_symbol **psym; 3093 /* The symbol we are completing on. Points in same buffer as text. */ 3094 char *sym_text; 3095 /* Length of sym_text. */ 3096 int sym_text_len; 3097 3098 /* Now look for the symbol we are supposed to complete on. 3099 FIXME: This should be language-specific. */ 3100 { 3101 char *p; 3102 char quote_found; 3103 char *quote_pos = NULL; 3104 3105 /* First see if this is a quoted string. */ 3106 quote_found = '\0'; 3107 for (p = text; *p != '\0'; ++p) 3108 { 3109 if (quote_found != '\0') 3110 { 3111 if (*p == quote_found) 3112 /* Found close quote. */ 3113 quote_found = '\0'; 3114 else if (*p == '\\' && p[1] == quote_found) 3115 /* A backslash followed by the quote character 3116 doesn't end the string. */ 3117 ++p; 3118 } 3119 else if (*p == '\'' || *p == '"') 3120 { 3121 quote_found = *p; 3122 quote_pos = p; 3123 } 3124 } 3125 if (quote_found == '\'') 3126 /* A string within single quotes can be a symbol, so complete on it. */ 3127 sym_text = quote_pos + 1; 3128 else if (quote_found == '"') 3129 /* A double-quoted string is never a symbol, nor does it make sense 3130 to complete it any other way. */ 3131 return NULL; 3132 else 3133 { 3134 /* It is not a quoted string. Break it based on the characters 3135 which are in symbols. */ 3136 while (p > text) 3137 { 3138 if (isalnum (p[-1]) || p[-1] == '_' || p[-1] == '\0') 3139 --p; 3140 else 3141 break; 3142 } 3143 sym_text = p; 3144 } 3145 } 3146 3147 sym_text_len = strlen (sym_text); 3148 3149 return_val_size = 100; 3150 return_val_index = 0; 3151 return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *)); 3152 return_val[0] = NULL; 3153 3154 /* Look through the partial symtabs for all symbols which begin 3155 by matching SYM_TEXT. Add each one that you find to the list. */ 3156 3157 ALL_PSYMTABS (objfile, ps) 3158 { 3159 /* If the psymtab's been read in we'll get it when we search 3160 through the blockvector. */ 3161 if (ps->readin) continue; 3162 3163 for (psym = objfile->global_psymbols.list + ps->globals_offset; 3164 psym < (objfile->global_psymbols.list + ps->globals_offset 3165 + ps->n_global_syms); 3166 psym++) 3167 { 3168 /* If interrupted, then quit. */ 3169 QUIT; 3170 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word); 3171 } 3172 3173 for (psym = objfile->static_psymbols.list + ps->statics_offset; 3174 psym < (objfile->static_psymbols.list + ps->statics_offset 3175 + ps->n_static_syms); 3176 psym++) 3177 { 3178 QUIT; 3179 COMPLETION_LIST_ADD_SYMBOL (*psym, sym_text, sym_text_len, text, word); 3180 } 3181 } 3182 3183 /* At this point scan through the misc symbol vectors and add each 3184 symbol you find to the list. Eventually we want to ignore 3185 anything that isn't a text symbol (everything else will be 3186 handled by the psymtab code above). */ 3187 3188 ALL_MSYMBOLS (objfile, msymbol) 3189 { 3190 QUIT; 3191 COMPLETION_LIST_ADD_SYMBOL (msymbol, sym_text, sym_text_len, text, word); 3192 } 3193 3194 /* Search upwards from currently selected frame (so that we can 3195 complete on local vars. */ 3196 3197 for (b = get_selected_block (); b != NULL; b = BLOCK_SUPERBLOCK (b)) 3198 { 3199 if (!BLOCK_SUPERBLOCK (b)) 3200 { 3201 surrounding_static_block = b; /* For elmin of dups */ 3202 } 3203 3204 /* Also catch fields of types defined in this places which match our 3205 text string. Only complete on types visible from current context. */ 3206 3207 for (i = 0; i < BLOCK_NSYMS (b); i++) 3208 { 3209 sym = BLOCK_SYM (b, i); 3210 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word); 3211 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF) 3212 { 3213 struct type *t = SYMBOL_TYPE (sym); 3214 enum type_code c = TYPE_CODE (t); 3215 3216 if (c == TYPE_CODE_UNION || c == TYPE_CODE_STRUCT) 3217 { 3218 for (j = TYPE_N_BASECLASSES (t); j < TYPE_NFIELDS (t); j++) 3219 { 3220 if (TYPE_FIELD_NAME (t, j)) 3221 { 3222 completion_list_add_name (TYPE_FIELD_NAME (t, j), 3223 sym_text, sym_text_len, text, word); 3224 } 3225 } 3226 } 3227 } 3228 } 3229 } 3230 3231 /* Go through the symtabs and check the externs and statics for 3232 symbols which match. */ 3233 3234 ALL_SYMTABS (objfile, s) 3235 { 3236 QUIT; 3237 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK); 3238 for (i = 0; i < BLOCK_NSYMS (b); i++) 3239 { 3240 sym = BLOCK_SYM (b, i); 3241 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word); 3242 } 3243 } 3244 3245 ALL_SYMTABS (objfile, s) 3246 { 3247 QUIT; 3248 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK); 3249 /* Don't do this block twice. */ 3250 if (b == surrounding_static_block) continue; 3251 for (i = 0; i < BLOCK_NSYMS (b); i++) 3252 { 3253 sym = BLOCK_SYM (b, i); 3254 COMPLETION_LIST_ADD_SYMBOL (sym, sym_text, sym_text_len, text, word); 3255 } 3256 } 3257 3258 return (return_val); 3259 } 3260 3261 /* Determine if PC is in the prologue of a function. The prologue is the area 3262 between the first instruction of a function, and the first executable line. 3263 Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue. 3264 3265 If non-zero, func_start is where we thing the prologue starts, possibly 3266 by previous examination of symbol table information. 3267 */ 3268 3269 int 3270 in_prologue (pc, func_start) 3271 CORE_ADDR pc; 3272 CORE_ADDR func_start; 3273 { 3274 struct symtab_and_line sal; 3275 CORE_ADDR func_addr, func_end; 3276 3277 if (!find_pc_partial_function (pc, NULL, &func_addr, &func_end)) 3278 goto nosyms; /* Might be in prologue */ 3279 3280 sal = find_pc_line (func_addr, 0); 3281 3282 if (sal.line == 0) 3283 goto nosyms; 3284 3285 if (sal.end > func_addr 3286 && sal.end <= func_end) /* Is prologue in function? */ 3287 return pc < sal.end; /* Yes, is pc in prologue? */ 3288 3289 /* The line after the prologue seems to be outside the function. In this 3290 case, tell the caller to find the prologue the hard way. */ 3291 3292 return 1; 3293 3294 /* Come here when symtabs don't contain line # info. In this case, it is 3295 likely that the user has stepped into a library function w/o symbols, or 3296 is doing a stepi/nexti through code without symbols. */ 3297 3298 nosyms: 3299 3300 /* If func_start is zero (meaning unknown) then we don't know whether pc is 3301 in the prologue or not. I.E. it might be. */ 3302 3303 if (!func_start) return 1; 3304 3305 /* We need to call the target-specific prologue skipping functions with the 3306 function's start address because PC may be pointing at an instruction that 3307 could be mistakenly considered part of the prologue. */ 3308 3309 SKIP_PROLOGUE (func_start); 3310 3311 return pc < func_start; 3312 } 3313 3314 3315 void 3316 _initialize_symtab () 3317 { 3318 add_info ("variables", variables_info, 3319 "All global and static variable names, or those matching REGEXP."); 3320 add_info ("functions", functions_info, 3321 "All function names, or those matching REGEXP."); 3322 3323 /* FIXME: This command has at least the following problems: 3324 1. It prints builtin types (in a very strange and confusing fashion). 3325 2. It doesn't print right, e.g. with 3326 typedef struct foo *FOO 3327 type_print prints "FOO" when we want to make it (in this situation) 3328 print "struct foo *". 3329 I also think "ptype" or "whatis" is more likely to be useful (but if 3330 there is much disagreement "info types" can be fixed). */ 3331 add_info ("types", types_info, 3332 "All type names, or those matching REGEXP."); 3333 3334 #if 0 3335 add_info ("methods", methods_info, 3336 "All method names, or those matching REGEXP::REGEXP.\n\ 3337 If the class qualifier is omitted, it is assumed to be the current scope.\n\ 3338 If the first REGEXP is omitted, then all methods matching the second REGEXP\n\ 3339 are listed."); 3340 #endif 3341 add_info ("sources", sources_info, 3342 "Source files in the program."); 3343 3344 add_com ("rbreak", no_class, rbreak_command, 3345 "Set a breakpoint for all functions matching REGEXP."); 3346 3347 /* Initialize the one built-in type that isn't language dependent... */ 3348 builtin_type_error = init_type (TYPE_CODE_ERROR, 0, 0, 3349 "<unknown type>", (struct objfile *) NULL); 3350 } 3351