1 /* Parser for linespec for the GNU debugger, GDB.
3 Copyright (C) 1986-2005, 2007-2012 Free Software Foundation, Inc.
5 This file is part of GDB.
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 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
29 #include "completer.h"
31 #include "cp-support.h"
32 #include "parser-defs.h"
34 #include "objc-lang.h"
36 #include "exceptions.h"
39 #include "mi/mi-cmds.h"
41 #include "arch-utils.h"
43 #include "cli/cli-utils.h"
44 #include "filenames.h"
48 typedef struct symtab
*symtab_p
;
51 typedef struct symbol
*symbolp
;
54 typedef struct type
*typep
;
57 /* An address entry is used to ensure that any given location is only
58 added to the result a single time. It holds an address and the
59 program space from which the address came. */
63 struct program_space
*pspace
;
67 /* A helper struct which just holds a minimal symbol and the object
68 file from which it came. */
70 typedef struct minsym_and_objfile
72 struct minimal_symbol
*minsym
;
73 struct objfile
*objfile
;
74 } minsym_and_objfile_d
;
76 DEF_VEC_O (minsym_and_objfile_d
);
78 /* An enumeration of possible signs for a line offset. */
79 enum offset_relative_sign
84 /* A plus sign ("+") */
87 /* A minus sign ("-") */
90 /* A special "sign" for unspecified offset. */
94 /* A line offset in a linespec. */
98 /* Line offset and any specified sign. */
100 enum offset_relative_sign sign
;
103 /* A linespec. Elements of this structure are filled in by a parser
104 (either parse_linespec or some other function). The structure is
105 then converted into SALs by convert_linespec_to_sals. */
109 /* An expression and the resulting PC. Specifying an expression
110 currently precludes the use of other members. */
112 /* The expression entered by the user. */
113 const char *expression
;
115 /* The resulting PC expression derived from evaluating EXPRESSION. */
118 /* Any specified file symtabs. */
120 /* The user-supplied source filename or NULL if none was specified. */
121 const char *source_filename
;
123 /* The list of symtabs to search to which to limit the search. May not
124 be NULL. If SOURCE_FILENAME is NULL (no user-specified filename),
125 FILE_SYMTABS should contain one single NULL member. This will
126 cause the code to use the default symtab. */
127 VEC (symtab_p
) *file_symtabs
;
129 /* The name of a function or method and any matching symbols. */
131 /* The user-specified function name. If no function name was
132 supplied, this may be NULL. */
133 const char *function_name
;
135 /* A list of matching function symbols and minimal symbols. Both lists
136 may be NULL if no matching symbols were found. */
137 VEC (symbolp
) *function_symbols
;
138 VEC (minsym_and_objfile_d
) *minimal_symbols
;
140 /* The name of a label and matching symbols. */
142 /* The user-specified label name. */
143 const char *label_name
;
145 /* A structure of matching label symbols and the corresponding
146 function symbol in which the label was found. Both may be NULL
147 or both must be non-NULL. */
150 VEC (symbolp
) *label_symbols
;
151 VEC (symbolp
) *function_symbols
;
154 /* Line offset. It may be LINE_OFFSET_UNKNOWN, meaning that no
155 offset was specified. */
156 struct line_offset line_offset
;
158 typedef struct linespec
*linespec_p
;
160 /* An instance of this is used to keep all state while linespec
161 operates. This instance is passed around as a 'this' pointer to
162 the various implementation methods. */
164 struct linespec_state
166 /* The language in use during linespec processing. */
167 const struct language_defn
*language
;
169 /* The program space as seen when the module was entered. */
170 struct program_space
*program_space
;
172 /* The default symtab to use, if no other symtab is specified. */
173 struct symtab
*default_symtab
;
175 /* The default line to use. */
178 /* The 'funfirstline' value that was passed in to decode_line_1 or
182 /* Nonzero if we are running in 'list' mode; see decode_line_list. */
185 /* The 'canonical' value passed to decode_line_full, or NULL. */
186 struct linespec_result
*canonical
;
188 /* Canonical strings that mirror the symtabs_and_lines result. */
189 char **canonical_names
;
191 /* This is a set of address_entry objects which is used to prevent
192 duplicate symbols from being entered into the result. */
196 /* This is a helper object that is used when collecting symbols into a
201 /* The linespec object in use. */
202 struct linespec_state
*state
;
204 /* A list of symtabs to which to restrict matches. */
205 VEC (symtab_p
) *file_symtabs
;
207 /* The result being accumulated. */
210 VEC (symbolp
) *symbols
;
211 VEC (minsym_and_objfile_d
) *minimal_symbols
;
222 /* A colon "separator" */
234 /* EOI (end of input) */
240 typedef enum ls_token_type linespec_token_type
;
242 /* List of keywords */
244 static const char * const linespec_keywords
[] = { "if", "thread", "task" };
246 /* A token of the linespec lexer */
250 /* The type of the token */
251 linespec_token_type type
;
253 /* Data for the token */
256 /* A string, given as a stoken */
257 struct stoken string
;
263 typedef struct ls_token linespec_token
;
265 #define LS_TOKEN_STOKEN(TOK) (TOK).data.string
266 #define LS_TOKEN_KEYWORD(TOK) (TOK).data.keyword
268 /* An instance of the linespec parser. */
272 /* Lexer internal data */
275 /* Save head of input stream. */
278 /* Head of the input stream. */
280 #define PARSER_STREAM(P) (*(P)->lexer.stream)
282 /* The current token. */
283 linespec_token current
;
286 /* Is the entire linespec quote-enclosed? */
287 int is_quote_enclosed
;
289 /* The state of the parse. */
290 struct linespec_state state
;
291 #define PARSER_STATE(PPTR) (&(PPTR)->state)
293 /* The result of the parse. */
294 struct linespec result
;
295 #define PARSER_RESULT(PPTR) (&(PPTR)->result)
297 typedef struct ls_parser linespec_parser
;
299 /* Prototypes for local functions. */
301 static void initialize_defaults (struct symtab
**default_symtab
,
304 static CORE_ADDR
linespec_expression_to_pc (char **exp_ptr
);
306 static struct symtabs_and_lines
decode_objc (struct linespec_state
*self
,
310 static VEC (symtab_p
) *symtabs_from_filename (const char *);
312 static VEC (symbolp
) *find_label_symbols (struct linespec_state
*self
,
313 VEC (symbolp
) *function_symbols
,
314 VEC (symbolp
) **label_funcs_ret
,
317 void find_linespec_symbols (struct linespec_state
*self
,
318 VEC (symtab_p
) *file_symtabs
,
320 VEC (symbolp
) **symbols
,
321 VEC (minsym_and_objfile_d
) **minsyms
);
323 static struct line_offset
324 linespec_parse_variable (struct linespec_state
*self
,
325 const char *variable
);
327 static int symbol_to_sal (struct symtab_and_line
*result
,
328 int funfirstline
, struct symbol
*sym
);
330 static void add_matching_symbols_to_info (const char *name
,
331 struct collect_info
*info
,
332 struct program_space
*pspace
);
334 static void add_all_symbol_names_from_pspace (struct collect_info
*info
,
335 struct program_space
*pspace
,
336 VEC (const_char_ptr
) *names
);
338 static VEC (symtab_p
) *collect_symtabs_from_filename (const char *file
);
340 static void decode_digits_ordinary (struct linespec_state
*self
,
343 struct symtabs_and_lines
*sals
,
344 struct linetable_entry
**best_entry
);
346 static void decode_digits_list_mode (struct linespec_state
*self
,
348 struct symtabs_and_lines
*values
,
349 struct symtab_and_line val
);
351 static void minsym_found (struct linespec_state
*self
, struct objfile
*objfile
,
352 struct minimal_symbol
*msymbol
,
353 struct symtabs_and_lines
*result
);
355 static int compare_symbols (const void *a
, const void *b
);
357 static int compare_msymbols (const void *a
, const void *b
);
359 static const char *find_toplevel_char (const char *s
, char c
);
361 /* Permitted quote characters for the parser. This is different from the
362 completer's quote characters to allow backward compatibility with the
364 static const char *const linespec_quote_characters
= "\"\'";
366 /* Lexer functions. */
368 /* Lex a number from the input in PARSER. This only supports
371 Return true if input is decimal numbers. Return false if not. */
374 linespec_lexer_lex_number (linespec_parser
*parser
, linespec_token
*tokenp
)
376 tokenp
->type
= LSTOKEN_NUMBER
;
377 LS_TOKEN_STOKEN (*tokenp
).length
= 0;
378 LS_TOKEN_STOKEN (*tokenp
).ptr
= PARSER_STREAM (parser
);
380 /* Keep any sign at the start of the stream. */
381 if (*PARSER_STREAM (parser
) == '+' || *PARSER_STREAM (parser
) == '-')
383 ++LS_TOKEN_STOKEN (*tokenp
).length
;
384 ++(PARSER_STREAM (parser
));
387 while (isdigit (*PARSER_STREAM (parser
)))
389 ++LS_TOKEN_STOKEN (*tokenp
).length
;
390 ++(PARSER_STREAM (parser
));
393 /* If the next character in the input buffer is not a space, comma,
394 quote, or colon, this input does not represent a number. */
395 if (*PARSER_STREAM (parser
) != '\0'
396 && !isspace (*PARSER_STREAM (parser
)) && *PARSER_STREAM (parser
) != ','
397 && *PARSER_STREAM (parser
) != ':'
398 && !strchr (linespec_quote_characters
, *PARSER_STREAM (parser
)))
400 PARSER_STREAM (parser
) = LS_TOKEN_STOKEN (*tokenp
).ptr
;
407 /* Does P represent one of the keywords? If so, return
408 the keyword. If not, return NULL. */
411 linespec_lexer_lex_keyword (const char *p
)
417 for (i
= 0; i
< ARRAY_SIZE (linespec_keywords
); ++i
)
419 int len
= strlen (linespec_keywords
[i
]);
421 /* If P begins with one of the keywords and the next
422 character is not a valid identifier character,
423 we have found a keyword. */
424 if (strncmp (p
, linespec_keywords
[i
], len
) == 0
425 && !(isalnum (p
[len
]) || p
[len
] == '_'))
426 return linespec_keywords
[i
];
433 /* Does STRING represent an Ada operator? If so, return the length
434 of the decoded operator name. If not, return 0. */
437 is_ada_operator (const char *string
)
439 const struct ada_opname_map
*mapping
;
441 for (mapping
= ada_opname_table
;
442 mapping
->encoded
!= NULL
443 && strncmp (mapping
->decoded
, string
,
444 strlen (mapping
->decoded
)) != 0; ++mapping
)
447 return mapping
->decoded
== NULL
? 0 : strlen (mapping
->decoded
);
450 /* Find QUOTE_CHAR in STRING, accounting for the ':' terminal. Return
451 the location of QUOTE_CHAR, or NULL if not found. */
454 skip_quote_char (const char *string
, char quote_char
)
456 const char *p
, *last
;
458 p
= last
= find_toplevel_char (string
, quote_char
);
459 while (p
&& *p
!= '\0' && *p
!= ':')
461 p
= find_toplevel_char (p
, quote_char
);
469 /* Make a writable copy of the string given in TOKEN, trimming
470 any trailing whitespace. */
473 copy_token_string (linespec_token token
)
477 if (token
.type
== LSTOKEN_KEYWORD
)
478 return xstrdup (LS_TOKEN_KEYWORD (token
));
480 str
= savestring (LS_TOKEN_STOKEN (token
).ptr
,
481 LS_TOKEN_STOKEN (token
).length
);
482 s
= remove_trailing_whitespace (str
, str
+ LS_TOKEN_STOKEN (token
).length
);
488 /* Does P represent the end of a quote-enclosed linespec? */
491 is_closing_quote_enclosed (const char *p
)
493 if (strchr (linespec_quote_characters
, *p
))
495 p
= skip_spaces ((char *) p
);
496 return (*p
== '\0' || linespec_lexer_lex_keyword (p
));
499 /* Find the end of the parameter list that starts with *INPUT.
500 This helper function assists with lexing string segments
501 which might contain valid (non-terminating) commas. */
504 find_parameter_list_end (char *input
)
506 char end_char
, start_char
;
511 if (start_char
== '(')
513 else if (start_char
== '<')
522 if (*p
== start_char
)
524 else if (*p
== end_char
)
539 /* Lex a string from the input in PARSER. */
541 static linespec_token
542 linespec_lexer_lex_string (linespec_parser
*parser
)
544 linespec_token token
;
545 char *start
= PARSER_STREAM (parser
);
547 token
.type
= LSTOKEN_STRING
;
549 /* If the input stream starts with a quote character, skip to the next
550 quote character, regardless of the content. */
551 if (strchr (linespec_quote_characters
, *PARSER_STREAM (parser
)))
554 char quote_char
= *PARSER_STREAM (parser
);
556 /* Special case: Ada operators. */
557 if (PARSER_STATE (parser
)->language
->la_language
== language_ada
558 && quote_char
== '\"')
560 int len
= is_ada_operator (PARSER_STREAM (parser
));
564 /* The input is an Ada operator. Return the quoted string
566 LS_TOKEN_STOKEN (token
).ptr
= PARSER_STREAM (parser
);
567 LS_TOKEN_STOKEN (token
).length
= len
;
568 PARSER_STREAM (parser
) += len
;
572 /* The input does not represent an Ada operator -- fall through
573 to normal quoted string handling. */
576 /* Skip past the beginning quote. */
577 ++(PARSER_STREAM (parser
));
579 /* Mark the start of the string. */
580 LS_TOKEN_STOKEN (token
).ptr
= PARSER_STREAM (parser
);
582 /* Skip to the ending quote. */
583 end
= skip_quote_char (PARSER_STREAM (parser
), quote_char
);
585 /* Error if the input did not terminate properly. */
587 error (_("unmatched quote"));
589 /* Skip over the ending quote and mark the length of the string. */
590 PARSER_STREAM (parser
) = (char *) ++end
;
591 LS_TOKEN_STOKEN (token
).length
= PARSER_STREAM (parser
) - 2 - start
;
597 /* Otherwise, only identifier characters are permitted.
598 Spaces are the exception. In general, we keep spaces,
599 but only if the next characters in the input do not resolve
600 to one of the keywords.
602 This allows users to forgo quoting CV-qualifiers, template arguments,
603 and similar common language constructs. */
607 if (isspace (*PARSER_STREAM (parser
)))
609 p
= skip_spaces (PARSER_STREAM (parser
));
610 if (linespec_lexer_lex_keyword (p
) != NULL
)
612 LS_TOKEN_STOKEN (token
).ptr
= start
;
613 LS_TOKEN_STOKEN (token
).length
614 = PARSER_STREAM (parser
) - start
;
618 /* Advance past the whitespace. */
619 PARSER_STREAM (parser
) = p
;
622 /* If the next character is EOI or (single) ':', the
623 string is complete; return the token. */
624 if (*PARSER_STREAM (parser
) == 0)
626 LS_TOKEN_STOKEN (token
).ptr
= start
;
627 LS_TOKEN_STOKEN (token
).length
= PARSER_STREAM (parser
) - start
;
630 else if (PARSER_STREAM (parser
)[0] == ':')
632 /* Do not tokenize the C++ scope operator. */
633 if (PARSER_STREAM (parser
)[1] == ':')
634 ++(PARSER_STREAM (parser
));
636 /* Do not tokenify if the input length so far is one
637 (i.e, a single-letter drive name) and the next character
638 is a directory separator. This allows Windows-style
639 paths to be recognized as filenames without quoting it. */
640 else if ((PARSER_STREAM (parser
) - start
) != 1
641 || !IS_DIR_SEPARATOR (PARSER_STREAM (parser
)[1]))
643 LS_TOKEN_STOKEN (token
).ptr
= start
;
644 LS_TOKEN_STOKEN (token
).length
645 = PARSER_STREAM (parser
) - start
;
649 /* Special case: permit quote-enclosed linespecs. */
650 else if (parser
->is_quote_enclosed
651 && strchr (linespec_quote_characters
,
652 *PARSER_STREAM (parser
))
653 && is_closing_quote_enclosed (PARSER_STREAM (parser
)))
655 LS_TOKEN_STOKEN (token
).ptr
= start
;
656 LS_TOKEN_STOKEN (token
).length
= PARSER_STREAM (parser
) - start
;
659 /* Because commas may terminate a linespec and appear in
660 the middle of valid string input, special cases for
661 '<' and '(' are necessary. */
662 else if (*PARSER_STREAM (parser
) == '<'
663 || *PARSER_STREAM (parser
) == '(')
667 p
= find_parameter_list_end (PARSER_STREAM (parser
));
670 PARSER_STREAM (parser
) = p
;
674 /* Commas are terminators, but not if they are part of an
676 else if (*PARSER_STREAM (parser
) == ',')
678 if ((PARSER_STATE (parser
)->language
->la_language
680 && (PARSER_STREAM (parser
) - start
) > 8
681 /* strlen ("operator") */)
683 char *p
= strstr (start
, "operator");
685 if (p
!= NULL
&& is_operator_name (p
))
687 /* This is an operator name. Keep going. */
688 ++(PARSER_STREAM (parser
));
693 /* Comma terminates the string. */
694 LS_TOKEN_STOKEN (token
).ptr
= start
;
695 LS_TOKEN_STOKEN (token
).length
= PARSER_STREAM (parser
) - start
;
699 /* Advance the stream. */
700 ++(PARSER_STREAM (parser
));
707 /* Lex a single linespec token from PARSER. */
709 static linespec_token
710 linespec_lexer_lex_one (linespec_parser
*parser
)
714 if (parser
->lexer
.current
.type
== LSTOKEN_CONSUMED
)
716 /* Skip any whitespace. */
717 PARSER_STREAM (parser
) = skip_spaces (PARSER_STREAM (parser
));
719 /* Check for a keyword. */
720 keyword
= linespec_lexer_lex_keyword (PARSER_STREAM (parser
));
723 parser
->lexer
.current
.type
= LSTOKEN_KEYWORD
;
724 LS_TOKEN_KEYWORD (parser
->lexer
.current
) = keyword
;
725 return parser
->lexer
.current
;
728 /* Handle other tokens. */
729 switch (*PARSER_STREAM (parser
))
732 parser
->lexer
.current
.type
= LSTOKEN_EOI
;
736 case '0': case '1': case '2': case '3': case '4':
737 case '5': case '6': case '7': case '8': case '9':
738 if (!linespec_lexer_lex_number (parser
, &(parser
->lexer
.current
)))
739 parser
->lexer
.current
= linespec_lexer_lex_string (parser
);
743 /* If we have a scope operator, lex the input as a string.
744 Otherwise, return LSTOKEN_COLON. */
745 if (PARSER_STREAM (parser
)[1] == ':')
746 parser
->lexer
.current
= linespec_lexer_lex_string (parser
);
749 parser
->lexer
.current
.type
= LSTOKEN_COLON
;
750 ++(PARSER_STREAM (parser
));
754 case '\'': case '\"':
755 /* Special case: permit quote-enclosed linespecs. */
756 if (parser
->is_quote_enclosed
757 && is_closing_quote_enclosed (PARSER_STREAM (parser
)))
759 ++(PARSER_STREAM (parser
));
760 parser
->lexer
.current
.type
= LSTOKEN_EOI
;
763 parser
->lexer
.current
= linespec_lexer_lex_string (parser
);
767 parser
->lexer
.current
.type
= LSTOKEN_COMMA
;
768 LS_TOKEN_STOKEN (parser
->lexer
.current
).ptr
769 = PARSER_STREAM (parser
);
770 LS_TOKEN_STOKEN (parser
->lexer
.current
).length
= 1;
771 ++(PARSER_STREAM (parser
));
775 /* If the input is not a number, it must be a string.
776 [Keywords were already considered above.] */
777 parser
->lexer
.current
= linespec_lexer_lex_string (parser
);
782 return parser
->lexer
.current
;
785 /* Consume the current token and return the next token in PARSER's
788 static linespec_token
789 linespec_lexer_consume_token (linespec_parser
*parser
)
791 parser
->lexer
.current
.type
= LSTOKEN_CONSUMED
;
792 return linespec_lexer_lex_one (parser
);
795 /* Return the next token without consuming the current token. */
797 static linespec_token
798 linespec_lexer_peek_token (linespec_parser
*parser
)
801 char *saved_stream
= PARSER_STREAM (parser
);
802 linespec_token saved_token
= parser
->lexer
.current
;
804 next
= linespec_lexer_consume_token (parser
);
805 PARSER_STREAM (parser
) = saved_stream
;
806 parser
->lexer
.current
= saved_token
;
810 /* Helper functions. */
812 /* Add SAL to SALS. */
815 add_sal_to_sals_basic (struct symtabs_and_lines
*sals
,
816 struct symtab_and_line
*sal
)
819 sals
->sals
= xrealloc (sals
->sals
, sals
->nelts
* sizeof (sals
->sals
[0]));
820 sals
->sals
[sals
->nelts
- 1] = *sal
;
823 /* Add SAL to SALS, and also update SELF->CANONICAL_NAMES to reflect
824 the new sal, if needed. If not NULL, SYMNAME is the name of the
825 symbol to use when constructing the new canonical name.
827 If LITERAL_CANONICAL is non-zero, SYMNAME will be used as the
828 canonical name for the SAL. */
831 add_sal_to_sals (struct linespec_state
*self
,
832 struct symtabs_and_lines
*sals
,
833 struct symtab_and_line
*sal
,
834 const char *symname
, int literal_canonical
)
836 add_sal_to_sals_basic (sals
, sal
);
840 char *canonical_name
= NULL
;
842 self
->canonical_names
= xrealloc (self
->canonical_names
,
843 sals
->nelts
* sizeof (char *));
844 if (!literal_canonical
&& sal
->symtab
&& sal
->symtab
->filename
)
846 char *filename
= sal
->symtab
->filename
;
848 /* Note that the filter doesn't have to be a valid linespec
849 input. We only apply the ":LINE" treatment to Ada for
851 if (symname
!= NULL
&& sal
->line
!= 0
852 && self
->language
->la_language
== language_ada
)
853 canonical_name
= xstrprintf ("%s:%s:%d", filename
, symname
,
855 else if (symname
!= NULL
)
856 canonical_name
= xstrprintf ("%s:%s", filename
, symname
);
858 canonical_name
= xstrprintf ("%s:%d", filename
, sal
->line
);
860 else if (symname
!= NULL
)
861 canonical_name
= xstrdup (symname
);
863 self
->canonical_names
[sals
->nelts
- 1] = canonical_name
;
867 /* A hash function for address_entry. */
870 hash_address_entry (const void *p
)
872 const struct address_entry
*aep
= p
;
875 hash
= iterative_hash_object (aep
->pspace
, 0);
876 return iterative_hash_object (aep
->addr
, hash
);
879 /* An equality function for address_entry. */
882 eq_address_entry (const void *a
, const void *b
)
884 const struct address_entry
*aea
= a
;
885 const struct address_entry
*aeb
= b
;
887 return aea
->pspace
== aeb
->pspace
&& aea
->addr
== aeb
->addr
;
890 /* Check whether the address, represented by PSPACE and ADDR, is
891 already in the set. If so, return 0. Otherwise, add it and return
895 maybe_add_address (htab_t set
, struct program_space
*pspace
, CORE_ADDR addr
)
897 struct address_entry e
, *p
;
902 slot
= htab_find_slot (set
, &e
, INSERT
);
906 p
= XNEW (struct address_entry
);
907 memcpy (p
, &e
, sizeof (struct address_entry
));
913 /* A callback function and the additional data to call it with. */
915 struct symbol_and_data_callback
917 /* The callback to use. */
918 symbol_found_callback_ftype
*callback
;
920 /* Data to be passed to the callback. */
924 /* A helper for iterate_over_all_matching_symtabs that is used to
925 restrict calls to another callback to symbols representing inline
929 iterate_inline_only (struct symbol
*sym
, void *d
)
931 if (SYMBOL_INLINED (sym
))
933 struct symbol_and_data_callback
*cad
= d
;
935 return cad
->callback (sym
, cad
->data
);
937 return 1; /* Continue iterating. */
940 /* Some data for the expand_symtabs_matching callback. */
942 struct symbol_matcher_data
944 /* The lookup name against which symbol name should be compared. */
945 const char *lookup_name
;
947 /* The routine to be used for comparison. */
948 symbol_name_cmp_ftype symbol_name_cmp
;
951 /* A helper for iterate_over_all_matching_symtabs that is passed as a
952 callback to the expand_symtabs_matching method. */
955 iterate_name_matcher (const char *name
, void *d
)
957 const struct symbol_matcher_data
*data
= d
;
959 if (data
->symbol_name_cmp (name
, data
->lookup_name
) == 0)
960 return 1; /* Expand this symbol's symbol table. */
961 return 0; /* Skip this symbol. */
964 /* A helper that walks over all matching symtabs in all objfiles and
965 calls CALLBACK for each symbol matching NAME. If SEARCH_PSPACE is
966 not NULL, then the search is restricted to just that program
967 space. If INCLUDE_INLINE is nonzero then symbols representing
968 inlined instances of functions will be included in the result. */
971 iterate_over_all_matching_symtabs (struct linespec_state
*state
,
973 const domain_enum domain
,
974 symbol_found_callback_ftype
*callback
,
976 struct program_space
*search_pspace
,
979 struct objfile
*objfile
;
980 struct program_space
*pspace
;
981 struct symbol_matcher_data matcher_data
;
983 matcher_data
.lookup_name
= name
;
984 matcher_data
.symbol_name_cmp
=
985 state
->language
->la_get_symbol_name_cmp
!= NULL
986 ? state
->language
->la_get_symbol_name_cmp (name
)
991 if (search_pspace
!= NULL
&& search_pspace
!= pspace
)
993 if (pspace
->executing_startup
)
996 set_current_program_space (pspace
);
998 ALL_OBJFILES (objfile
)
1000 struct symtab
*symtab
;
1003 objfile
->sf
->qf
->expand_symtabs_matching (objfile
, NULL
,
1004 iterate_name_matcher
,
1008 ALL_OBJFILE_PRIMARY_SYMTABS (objfile
, symtab
)
1010 struct block
*block
;
1012 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab
), STATIC_BLOCK
);
1013 LA_ITERATE_OVER_SYMBOLS (block
, name
, domain
, callback
, data
);
1017 struct symbol_and_data_callback cad
= { callback
, data
};
1020 for (i
= FIRST_LOCAL_BLOCK
;
1021 i
< BLOCKVECTOR_NBLOCKS (BLOCKVECTOR (symtab
)); i
++)
1023 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab
), i
);
1024 LA_ITERATE_OVER_SYMBOLS (block
, name
, domain
,
1025 iterate_inline_only
, &cad
);
1033 /* Returns the block to be used for symbol searches for the given SYMTAB,
1034 which may be NULL. */
1036 static struct block
*
1037 get_search_block (struct symtab
*symtab
)
1039 struct block
*block
;
1042 block
= BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab
), STATIC_BLOCK
);
1045 enum language save_language
;
1047 /* get_selected_block can change the current language when there is
1048 no selected frame yet. */
1049 save_language
= current_language
->la_language
;
1050 block
= get_selected_block (0);
1051 set_language (save_language
);
1057 /* A helper for find_method. This finds all methods in type T which
1058 match NAME. It adds matching symbol names to RESULT_NAMES, and
1059 adds T's direct superclasses to SUPERCLASSES. */
1062 find_methods (struct type
*t
, const char *name
,
1063 VEC (const_char_ptr
) **result_names
,
1064 VEC (typep
) **superclasses
)
1067 const char *class_name
= type_name_no_tag (t
);
1069 /* Ignore this class if it doesn't have a name. This is ugly, but
1070 unless we figure out how to get the physname without the name of
1071 the class, then the loop can't do any good. */
1078 /* Loop over each method name. At this level, all overloads of a name
1079 are counted as a single name. There is an inner loop which loops over
1082 for (method_counter
= TYPE_NFN_FIELDS (t
) - 1;
1083 method_counter
>= 0;
1086 const char *method_name
= TYPE_FN_FIELDLIST_NAME (t
, method_counter
);
1087 char dem_opname
[64];
1089 if (strncmp (method_name
, "__", 2) == 0 ||
1090 strncmp (method_name
, "op", 2) == 0 ||
1091 strncmp (method_name
, "type", 4) == 0)
1093 if (cplus_demangle_opname (method_name
, dem_opname
, DMGL_ANSI
))
1094 method_name
= dem_opname
;
1095 else if (cplus_demangle_opname (method_name
, dem_opname
, 0))
1096 method_name
= dem_opname
;
1099 if (strcmp_iw (method_name
, name
) == 0)
1103 for (field_counter
= (TYPE_FN_FIELDLIST_LENGTH (t
, method_counter
)
1109 const char *phys_name
;
1111 f
= TYPE_FN_FIELDLIST1 (t
, method_counter
);
1112 if (TYPE_FN_FIELD_STUB (f
, field_counter
))
1114 phys_name
= TYPE_FN_FIELD_PHYSNAME (f
, field_counter
);
1115 VEC_safe_push (const_char_ptr
, *result_names
, phys_name
);
1121 for (ibase
= 0; ibase
< TYPE_N_BASECLASSES (t
); ibase
++)
1122 VEC_safe_push (typep
, *superclasses
, TYPE_BASECLASS (t
, ibase
));
1125 /* Find an instance of the character C in the string S that is outside
1126 of all parenthesis pairs, single-quoted strings, and double-quoted
1127 strings. Also, ignore the char within a template name, like a ','
1128 within foo<int, int>. */
1131 find_toplevel_char (const char *s
, char c
)
1133 int quoted
= 0; /* zero if we're not in quotes;
1134 '"' if we're in a double-quoted string;
1135 '\'' if we're in a single-quoted string. */
1136 int depth
= 0; /* Number of unclosed parens we've seen. */
1139 for (scan
= s
; *scan
; scan
++)
1143 if (*scan
== quoted
)
1145 else if (*scan
== '\\' && *(scan
+ 1))
1148 else if (*scan
== c
&& ! quoted
&& depth
== 0)
1150 else if (*scan
== '"' || *scan
== '\'')
1152 else if (*scan
== '(' || *scan
== '<')
1154 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
1161 /* The string equivalent of find_toplevel_char. Returns a pointer
1162 to the location of NEEDLE in HAYSTACK, ignoring any occurrences
1163 inside "()" and "<>". Returns NULL if NEEDLE was not found. */
1166 find_toplevel_string (const char *haystack
, const char *needle
)
1168 const char *s
= haystack
;
1172 s
= find_toplevel_char (s
, *needle
);
1176 /* Found first char in HAYSTACK; check rest of string. */
1177 if (strncmp (s
, needle
, strlen (needle
)) == 0)
1180 /* Didn't find it; loop over HAYSTACK, looking for the next
1181 instance of the first character of NEEDLE. */
1185 while (s
!= NULL
&& *s
!= '\0');
1187 /* NEEDLE was not found in HAYSTACK. */
1191 /* Given FILTERS, a list of canonical names, filter the sals in RESULT
1192 and store the result in SELF->CANONICAL. */
1195 filter_results (struct linespec_state
*self
,
1196 struct symtabs_and_lines
*result
,
1197 VEC (const_char_ptr
) *filters
)
1202 for (i
= 0; VEC_iterate (const_char_ptr
, filters
, i
, name
); ++i
)
1204 struct linespec_sals lsal
;
1207 memset (&lsal
, 0, sizeof (lsal
));
1209 for (j
= 0; j
< result
->nelts
; ++j
)
1211 if (strcmp (name
, self
->canonical_names
[j
]) == 0)
1212 add_sal_to_sals_basic (&lsal
.sals
, &result
->sals
[j
]);
1215 if (lsal
.sals
.nelts
> 0)
1217 lsal
.canonical
= xstrdup (name
);
1218 VEC_safe_push (linespec_sals
, self
->canonical
->sals
, &lsal
);
1222 self
->canonical
->pre_expanded
= 0;
1225 /* Store RESULT into SELF->CANONICAL. */
1228 convert_results_to_lsals (struct linespec_state
*self
,
1229 struct symtabs_and_lines
*result
)
1231 struct linespec_sals lsal
;
1233 lsal
.canonical
= NULL
;
1234 lsal
.sals
= *result
;
1235 VEC_safe_push (linespec_sals
, self
->canonical
->sals
, &lsal
);
1238 /* Handle multiple results in RESULT depending on SELECT_MODE. This
1239 will either return normally, throw an exception on multiple
1240 results, or present a menu to the user. On return, the SALS vector
1241 in SELF->CANONICAL is set up properly. */
1244 decode_line_2 (struct linespec_state
*self
,
1245 struct symtabs_and_lines
*result
,
1246 const char *select_mode
)
1249 char *args
, *prompt
;
1251 struct cleanup
*old_chain
;
1252 VEC (const_char_ptr
) *item_names
= NULL
, *filters
= NULL
;
1253 struct get_number_or_range_state state
;
1255 gdb_assert (select_mode
!= multiple_symbols_all
);
1256 gdb_assert (self
->canonical
!= NULL
);
1258 old_chain
= make_cleanup (VEC_cleanup (const_char_ptr
), &item_names
);
1259 make_cleanup (VEC_cleanup (const_char_ptr
), &filters
);
1260 for (i
= 0; i
< result
->nelts
; ++i
)
1265 gdb_assert (self
->canonical_names
[i
] != NULL
);
1266 for (j
= 0; VEC_iterate (const_char_ptr
, item_names
, j
, iter
); ++j
)
1268 if (strcmp (iter
, self
->canonical_names
[i
]) == 0)
1276 VEC_safe_push (const_char_ptr
, item_names
, self
->canonical_names
[i
]);
1279 if (select_mode
== multiple_symbols_cancel
1280 && VEC_length (const_char_ptr
, item_names
) > 1)
1281 error (_("canceled because the command is ambiguous\n"
1282 "See set/show multiple-symbol."));
1284 if (select_mode
== multiple_symbols_all
1285 || VEC_length (const_char_ptr
, item_names
) == 1)
1287 do_cleanups (old_chain
);
1288 convert_results_to_lsals (self
, result
);
1292 /* Sort the list of method names alphabetically. */
1293 qsort (VEC_address (const_char_ptr
, item_names
),
1294 VEC_length (const_char_ptr
, item_names
),
1295 sizeof (const_char_ptr
), compare_strings
);
1297 printf_unfiltered (_("[0] cancel\n[1] all\n"));
1298 for (i
= 0; VEC_iterate (const_char_ptr
, item_names
, i
, iter
); ++i
)
1299 printf_unfiltered ("[%d] %s\n", i
+ 2, iter
);
1301 prompt
= getenv ("PS2");
1306 args
= command_line_input (prompt
, 0, "overload-choice");
1308 if (args
== 0 || *args
== 0)
1309 error_no_arg (_("one or more choice numbers"));
1311 init_number_or_range (&state
, args
);
1312 while (!state
.finished
)
1316 num
= get_number_or_range (&state
);
1319 error (_("canceled"));
1322 /* We intentionally make this result in a single breakpoint,
1323 contrary to what older versions of gdb did. The
1324 rationale is that this lets a user get the
1325 multiple_symbols_all behavior even with the 'ask'
1326 setting; and he can get separate breakpoints by entering
1327 "2-57" at the query. */
1328 do_cleanups (old_chain
);
1329 convert_results_to_lsals (self
, result
);
1334 if (num
>= VEC_length (const_char_ptr
, item_names
))
1335 printf_unfiltered (_("No choice number %d.\n"), num
);
1338 const char *elt
= VEC_index (const_char_ptr
, item_names
, num
);
1342 VEC_safe_push (const_char_ptr
, filters
, elt
);
1343 VEC_replace (const_char_ptr
, item_names
, num
, NULL
);
1347 printf_unfiltered (_("duplicate request for %d ignored.\n"),
1353 filter_results (self
, result
, filters
);
1354 do_cleanups (old_chain
);
1359 /* The parser of linespec itself. */
1361 /* Throw an appropriate error when SYMBOL is not found (optionally in
1364 static void ATTRIBUTE_NORETURN
1365 symbol_not_found_error (const char *symbol
, const char *filename
)
1370 if (!have_full_symbols ()
1371 && !have_partial_symbols ()
1372 && !have_minimal_symbols ())
1373 throw_error (NOT_FOUND_ERROR
,
1374 _("No symbol table is loaded. Use the \"file\" command."));
1376 /* If SYMBOL starts with '$', the user attempted to either lookup
1377 a function/variable in his code starting with '$' or an internal
1378 variable of that name. Since we do not know which, be concise and
1379 explain both possibilities. */
1383 throw_error (NOT_FOUND_ERROR
,
1384 _("Undefined convenience variable or function \"%s\" "
1385 "not defined in \"%s\"."), symbol
, filename
);
1387 throw_error (NOT_FOUND_ERROR
,
1388 _("Undefined convenience variable or function \"%s\" "
1389 "not defined."), symbol
);
1394 throw_error (NOT_FOUND_ERROR
,
1395 _("Function \"%s\" not defined in \"%s\"."),
1398 throw_error (NOT_FOUND_ERROR
,
1399 _("Function \"%s\" not defined."), symbol
);
1403 /* Throw an appropriate error when an unexpected token is encountered
1406 static void ATTRIBUTE_NORETURN
1407 unexpected_linespec_error (linespec_parser
*parser
)
1409 linespec_token token
;
1410 static const char * token_type_strings
[]
1411 = {"keyword", "colon", "string", "number", "comma", "end of input"};
1413 /* Get the token that generated the error. */
1414 token
= linespec_lexer_lex_one (parser
);
1416 /* Finally, throw the error. */
1417 if (token
.type
== LSTOKEN_STRING
|| token
.type
== LSTOKEN_NUMBER
1418 || token
.type
== LSTOKEN_KEYWORD
)
1421 struct cleanup
*cleanup
;
1423 string
= copy_token_string (token
);
1424 cleanup
= make_cleanup (xfree
, string
);
1425 throw_error (GENERIC_ERROR
,
1426 _("malformed linespec error: unexpected %s, \"%s\""),
1427 token_type_strings
[token
.type
], string
);
1430 throw_error (GENERIC_ERROR
,
1431 _("malformed linespec error: unexpected %s"),
1432 token_type_strings
[token
.type
]);
1435 /* Parse and return a line offset in STRING. */
1437 static struct line_offset
1438 linespec_parse_line_offset (const char *string
)
1440 struct line_offset line_offset
= {0, LINE_OFFSET_NONE
};
1444 line_offset
.sign
= LINE_OFFSET_PLUS
;
1447 else if (*string
== '-')
1449 line_offset
.sign
= LINE_OFFSET_MINUS
;
1453 /* Right now, we only allow base 10 for offsets. */
1454 line_offset
.offset
= atoi (string
);
1458 /* Parse the basic_spec in PARSER's input. */
1461 linespec_parse_basic (linespec_parser
*parser
)
1464 linespec_token token
;
1465 VEC (symbolp
) *symbols
, *labels
;
1466 VEC (minsym_and_objfile_d
) *minimal_symbols
;
1467 struct cleanup
*cleanup
;
1469 /* Get the next token. */
1470 token
= linespec_lexer_lex_one (parser
);
1472 /* If it is EOI or KEYWORD, issue an error. */
1473 if (token
.type
== LSTOKEN_KEYWORD
|| token
.type
== LSTOKEN_EOI
)
1474 unexpected_linespec_error (parser
);
1475 /* If it is a LSTOKEN_NUMBER, we have an offset. */
1476 else if (token
.type
== LSTOKEN_NUMBER
)
1478 /* Record the line offset and get the next token. */
1479 name
= copy_token_string (token
);
1480 cleanup
= make_cleanup (xfree
, name
);
1481 PARSER_RESULT (parser
)->line_offset
= linespec_parse_line_offset (name
);
1482 do_cleanups (cleanup
);
1484 /* Get the next token. */
1485 token
= linespec_lexer_consume_token (parser
);
1487 /* If the next token is a comma, stop parsing and return. */
1488 if (token
.type
== LSTOKEN_COMMA
)
1491 /* If the next token is anything but EOI or KEYWORD, issue
1493 if (token
.type
!= LSTOKEN_KEYWORD
&& token
.type
!= LSTOKEN_EOI
)
1494 unexpected_linespec_error (parser
);
1497 if (token
.type
== LSTOKEN_KEYWORD
|| token
.type
== LSTOKEN_EOI
)
1500 /* Next token must be LSTOKEN_STRING. */
1501 if (token
.type
!= LSTOKEN_STRING
)
1502 unexpected_linespec_error (parser
);
1504 /* The current token will contain the name of a function, method,
1506 name
= copy_token_string (token
);
1507 cleanup
= make_cleanup (xfree
, name
);
1509 /* Try looking it up as a function/method. */
1510 find_linespec_symbols (PARSER_STATE (parser
),
1511 PARSER_RESULT (parser
)->file_symtabs
, name
,
1512 &symbols
, &minimal_symbols
);
1514 if (symbols
!= NULL
|| minimal_symbols
!= NULL
)
1516 PARSER_RESULT (parser
)->function_symbols
= symbols
;
1517 PARSER_RESULT (parser
)->minimal_symbols
= minimal_symbols
;
1518 PARSER_RESULT (parser
)->function_name
= name
;
1520 discard_cleanups (cleanup
);
1524 /* NAME was not a function or a method. So it must be a label
1526 labels
= find_label_symbols (PARSER_STATE (parser
), NULL
,
1530 PARSER_RESULT (parser
)->labels
.label_symbols
= labels
;
1531 PARSER_RESULT (parser
)->labels
.function_symbols
= symbols
;
1532 PARSER_RESULT (parser
)->label_name
= name
;
1534 discard_cleanups (cleanup
);
1538 /* The name is also not a label. Abort parsing. Do not throw
1539 an error here. parse_linespec will do it for us. */
1541 /* Save a copy of the name we were trying to lookup. */
1542 PARSER_RESULT (parser
)->function_name
= name
;
1543 discard_cleanups (cleanup
);
1548 /* Get the next token. */
1549 token
= linespec_lexer_consume_token (parser
);
1551 if (token
.type
== LSTOKEN_COLON
)
1553 /* User specified a label or a lineno. */
1554 token
= linespec_lexer_consume_token (parser
);
1556 if (token
.type
== LSTOKEN_NUMBER
)
1558 /* User specified an offset. Record the line offset and
1559 get the next token. */
1560 name
= copy_token_string (token
);
1561 cleanup
= make_cleanup (xfree
, name
);
1562 PARSER_RESULT (parser
)->line_offset
1563 = linespec_parse_line_offset (name
);
1564 do_cleanups (cleanup
);
1566 /* Ge the next token. */
1567 token
= linespec_lexer_consume_token (parser
);
1569 else if (token
.type
== LSTOKEN_STRING
)
1571 /* Grab a copy of the label's name and look it up. */
1572 name
= copy_token_string (token
);
1573 cleanup
= make_cleanup (xfree
, name
);
1574 labels
= find_label_symbols (PARSER_STATE (parser
),
1575 PARSER_RESULT (parser
)->function_symbols
,
1580 PARSER_RESULT (parser
)->labels
.label_symbols
= labels
;
1581 PARSER_RESULT (parser
)->labels
.function_symbols
= symbols
;
1582 PARSER_RESULT (parser
)->label_name
= name
;
1584 discard_cleanups (cleanup
);
1588 /* We don't know what it was, but it isn't a label. */
1589 throw_error (NOT_FOUND_ERROR
,
1590 _("No label \"%s\" defined in function \"%s\"."),
1591 name
, PARSER_RESULT (parser
)->function_name
);
1594 /* Check for a line offset. */
1595 token
= linespec_lexer_consume_token (parser
);
1596 if (token
.type
== LSTOKEN_COLON
)
1598 /* Get the next token. */
1599 token
= linespec_lexer_consume_token (parser
);
1601 /* It must be a line offset. */
1602 if (token
.type
!= LSTOKEN_NUMBER
)
1603 unexpected_linespec_error (parser
);
1605 /* Record the lione offset and get the next token. */
1606 name
= copy_token_string (token
);
1607 cleanup
= make_cleanup (xfree
, name
);
1609 PARSER_RESULT (parser
)->line_offset
1610 = linespec_parse_line_offset (name
);
1611 do_cleanups (cleanup
);
1613 /* Get the next token. */
1614 token
= linespec_lexer_consume_token (parser
);
1619 /* Trailing ':' in the input. Issue an error. */
1620 unexpected_linespec_error (parser
);
1625 /* Canonicalize the linespec contained in LS. The result is saved into
1626 STATE->canonical. */
1629 canonicalize_linespec (struct linespec_state
*state
, linespec_p ls
)
1631 /* If canonicalization was not requested, no need to do anything. */
1632 if (!state
->canonical
)
1635 /* Shortcut expressions, which can only appear by themselves. */
1636 if (ls
->expression
!= NULL
)
1637 state
->canonical
->addr_string
= xstrdup (ls
->expression
);
1640 struct ui_file
*buf
;
1643 buf
= mem_fileopen ();
1644 if (ls
->source_filename
)
1646 fputs_unfiltered (ls
->source_filename
, buf
);
1650 if (ls
->function_name
)
1653 fputc_unfiltered (':', buf
);
1654 fputs_unfiltered (ls
->function_name
, buf
);
1661 fputc_unfiltered (':', buf
);
1663 if (ls
->function_name
== NULL
)
1667 /* No function was specified, so add the symbol name. */
1668 gdb_assert (ls
->labels
.function_symbols
!= NULL
1669 && (VEC_length (symbolp
, ls
->labels
.function_symbols
)
1671 s
= VEC_index (symbolp
, ls
->labels
.function_symbols
, 0);
1672 fputs_unfiltered (SYMBOL_NATURAL_NAME (s
), buf
);
1673 fputc_unfiltered (':', buf
);
1676 fputs_unfiltered (ls
->label_name
, buf
);
1678 state
->canonical
->special_display
= 1;
1681 if (ls
->line_offset
.sign
!= LINE_OFFSET_UNKNOWN
)
1684 fputc_unfiltered (':', buf
);
1685 fprintf_filtered (buf
, "%s%d",
1686 (ls
->line_offset
.sign
== LINE_OFFSET_NONE
? ""
1687 : (ls
->line_offset
.sign
1688 == LINE_OFFSET_PLUS
? "+" : "-")),
1689 ls
->line_offset
.offset
);
1692 state
->canonical
->addr_string
= ui_file_xstrdup (buf
, NULL
);
1693 ui_file_delete (buf
);
1697 /* Given a line offset in LS, construct the relevant SALs. */
1699 static struct symtabs_and_lines
1700 create_sals_line_offset (struct linespec_state
*self
,
1703 struct symtabs_and_lines values
;
1704 struct symtab_and_line val
;
1705 int use_default
= 0;
1711 /* This is where we need to make sure we have good defaults.
1712 We must guarantee that this section of code is never executed
1713 when we are called with just a function anme, since
1714 set_default_source_symtab_and_line uses
1715 select_source_symtab that calls us with such an argument. */
1717 if (VEC_length (symtab_p
, ls
->file_symtabs
) == 1
1718 && VEC_index (symtab_p
, ls
->file_symtabs
, 0) == NULL
)
1720 set_current_program_space (self
->program_space
);
1722 /* Make sure we have at least a default source line. */
1723 set_default_source_symtab_and_line ();
1724 initialize_defaults (&self
->default_symtab
, &self
->default_line
);
1725 VEC_pop (symtab_p
, ls
->file_symtabs
);
1726 VEC_free (symtab_p
, ls
->file_symtabs
);
1728 = collect_symtabs_from_filename (self
->default_symtab
->filename
);
1732 val
.line
= ls
->line_offset
.offset
;
1733 switch (ls
->line_offset
.sign
)
1735 case LINE_OFFSET_PLUS
:
1736 if (ls
->line_offset
.offset
== 0)
1739 val
.line
= self
->default_line
+ val
.line
;
1742 case LINE_OFFSET_MINUS
:
1743 if (ls
->line_offset
.offset
== 0)
1746 val
.line
= self
->default_line
- val
.line
;
1748 val
.line
= -val
.line
;
1751 case LINE_OFFSET_NONE
:
1752 break; /* No need to adjust val.line. */
1755 if (self
->list_mode
)
1756 decode_digits_list_mode (self
, ls
, &values
, val
);
1759 struct linetable_entry
*best_entry
= NULL
;
1761 struct block
**blocks
;
1762 struct cleanup
*cleanup
;
1763 struct symtabs_and_lines intermediate_results
;
1766 intermediate_results
.sals
= NULL
;
1767 intermediate_results
.nelts
= 0;
1769 decode_digits_ordinary (self
, ls
, val
.line
, &intermediate_results
,
1771 if (intermediate_results
.nelts
== 0 && best_entry
!= NULL
)
1772 decode_digits_ordinary (self
, ls
, best_entry
->line
,
1773 &intermediate_results
, &best_entry
);
1775 cleanup
= make_cleanup (xfree
, intermediate_results
.sals
);
1777 /* For optimized code, the compiler can scatter one source line
1778 across disjoint ranges of PC values, even when no duplicate
1779 functions or inline functions are involved. For example,
1780 'for (;;)' inside a non-template, non-inline, and non-ctor-or-dtor
1781 function can result in two PC ranges. In this case, we don't
1782 want to set a breakpoint on the first PC of each range. To filter
1783 such cases, we use containing blocks -- for each PC found
1784 above, we see if there are other PCs that are in the same
1785 block. If yes, the other PCs are filtered out. */
1787 filter
= XNEWVEC (int, intermediate_results
.nelts
);
1788 make_cleanup (xfree
, filter
);
1789 blocks
= XNEWVEC (struct block
*, intermediate_results
.nelts
);
1790 make_cleanup (xfree
, blocks
);
1792 for (i
= 0; i
< intermediate_results
.nelts
; ++i
)
1794 set_current_program_space (intermediate_results
.sals
[i
].pspace
);
1797 blocks
[i
] = block_for_pc_sect (intermediate_results
.sals
[i
].pc
,
1798 intermediate_results
.sals
[i
].section
);
1801 for (i
= 0; i
< intermediate_results
.nelts
; ++i
)
1803 if (blocks
[i
] != NULL
)
1804 for (j
= i
+ 1; j
< intermediate_results
.nelts
; ++j
)
1806 if (blocks
[j
] == blocks
[i
])
1814 for (i
= 0; i
< intermediate_results
.nelts
; ++i
)
1817 struct symbol
*sym
= (blocks
[i
]
1818 ? block_containing_function (blocks
[i
])
1821 if (self
->funfirstline
)
1822 skip_prologue_sal (&intermediate_results
.sals
[i
]);
1823 /* Make sure the line matches the request, not what was
1825 intermediate_results
.sals
[i
].line
= val
.line
;
1826 add_sal_to_sals (self
, &values
, &intermediate_results
.sals
[i
],
1827 sym
? SYMBOL_NATURAL_NAME (sym
) : NULL
, 0);
1830 do_cleanups (cleanup
);
1833 if (values
.nelts
== 0)
1835 if (ls
->source_filename
)
1836 throw_error (NOT_FOUND_ERROR
, _("No line %d in file \"%s\"."),
1837 val
.line
, ls
->source_filename
);
1839 throw_error (NOT_FOUND_ERROR
, _("No line %d in the current file."),
1846 /* Create and return SALs from the linespec LS. */
1848 static struct symtabs_and_lines
1849 convert_linespec_to_sals (struct linespec_state
*state
, linespec_p ls
)
1851 struct symtabs_and_lines sals
= {NULL
, 0};
1853 if (ls
->expression
!= NULL
)
1855 struct symtab_and_line sal
;
1857 /* We have an expression. No other attribute is allowed. */
1858 sal
= find_pc_line (ls
->expr_pc
, 0);
1859 sal
.pc
= ls
->expr_pc
;
1860 sal
.section
= find_pc_overlay (ls
->expr_pc
);
1861 sal
.explicit_pc
= 1;
1862 add_sal_to_sals (state
, &sals
, &sal
, ls
->expression
, 1);
1864 else if (ls
->labels
.label_symbols
!= NULL
)
1866 /* We have just a bunch of functions/methods or labels. */
1868 struct symtab_and_line sal
;
1871 for (i
= 0; VEC_iterate (symbolp
, ls
->labels
.label_symbols
, i
, sym
); ++i
)
1873 if (symbol_to_sal (&sal
, state
->funfirstline
, sym
))
1874 add_sal_to_sals (state
, &sals
, &sal
,
1875 SYMBOL_NATURAL_NAME (sym
), 0);
1878 else if (ls
->function_symbols
!= NULL
|| ls
->minimal_symbols
!= NULL
)
1880 /* We have just a bunch of functions and/or methods. */
1882 struct symtab_and_line sal
;
1884 minsym_and_objfile_d
*elem
;
1885 struct program_space
*pspace
;
1887 if (ls
->function_symbols
!= NULL
)
1889 /* Sort symbols so that symbols with the same program space are next
1891 qsort (VEC_address (symbolp
, ls
->function_symbols
),
1892 VEC_length (symbolp
, ls
->function_symbols
),
1893 sizeof (symbolp
), compare_symbols
);
1895 for (i
= 0; VEC_iterate (symbolp
, ls
->function_symbols
, i
, sym
); ++i
)
1897 pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
1898 set_current_program_space (pspace
);
1899 if (symbol_to_sal (&sal
, state
->funfirstline
, sym
)
1900 && maybe_add_address (state
->addr_set
, pspace
, sal
.pc
))
1901 add_sal_to_sals (state
, &sals
, &sal
,
1902 SYMBOL_NATURAL_NAME (sym
), 0);
1906 if (ls
->minimal_symbols
!= NULL
)
1908 /* Sort minimal symbols by program space, too. */
1909 qsort (VEC_address (minsym_and_objfile_d
, ls
->minimal_symbols
),
1910 VEC_length (minsym_and_objfile_d
, ls
->minimal_symbols
),
1911 sizeof (minsym_and_objfile_d
), compare_msymbols
);
1914 VEC_iterate (minsym_and_objfile_d
, ls
->minimal_symbols
, i
, elem
);
1917 pspace
= elem
->objfile
->pspace
;
1918 set_current_program_space (pspace
);
1919 minsym_found (state
, elem
->objfile
, elem
->minsym
, &sals
);
1923 else if (ls
->line_offset
.sign
!= LINE_OFFSET_UNKNOWN
)
1925 /* Only an offset was specified. */
1926 sals
= create_sals_line_offset (state
, ls
);
1928 /* Make sure we have a filename for canonicalization. */
1929 if (ls
->source_filename
== NULL
)
1930 ls
->source_filename
= xstrdup (state
->default_symtab
->filename
);
1934 /* We haven't found any results... */
1938 canonicalize_linespec (state
, ls
);
1940 if (sals
.nelts
> 0 && state
->canonical
!= NULL
)
1941 state
->canonical
->pre_expanded
= 1;
1946 /* Parse a string that specifies a linespec.
1947 Pass the address of a char * variable; that variable will be
1948 advanced over the characters actually parsed.
1950 The basic grammar of linespecs:
1952 linespec -> expr_spec | var_spec | basic_spec
1953 expr_spec -> '*' STRING
1954 var_spec -> '$' (STRING | NUMBER)
1956 basic_spec -> file_offset_spec | function_spec | label_spec
1957 file_offset_spec -> opt_file_spec offset_spec
1958 function_spec -> opt_file_spec function_name_spec opt_label_spec
1959 label_spec -> label_name_spec
1961 opt_file_spec -> "" | file_name_spec ':'
1962 opt_label_spec -> "" | ':' label_name_spec
1964 file_name_spec -> STRING
1965 function_name_spec -> STRING
1966 label_name_spec -> STRING
1967 function_name_spec -> STRING
1968 offset_spec -> NUMBER
1972 This may all be followed by several keywords such as "if EXPR",
1975 A comma will terminate parsing.
1977 The function may be an undebuggable function found in minimal symbol table.
1979 If the argument FUNFIRSTLINE is nonzero, we want the first line
1980 of real code inside a function when a function is specified, and it is
1981 not OK to specify a variable or type to get its line number.
1983 DEFAULT_SYMTAB specifies the file to use if none is specified.
1984 It defaults to current_source_symtab.
1985 DEFAULT_LINE specifies the line number to use for relative
1986 line numbers (that start with signs). Defaults to current_source_line.
1987 If CANONICAL is non-NULL, store an array of strings containing the canonical
1988 line specs there if necessary. Currently overloaded member functions and
1989 line numbers or static functions without a filename yield a canonical
1990 line spec. The array and the line spec strings are allocated on the heap,
1991 it is the callers responsibility to free them.
1993 Note that it is possible to return zero for the symtab
1994 if no file is validly specified. Callers must check that.
1995 Also, the line number returned may be invalid. */
1997 /* Parse the linespec in ARGPTR. */
1999 static struct symtabs_and_lines
2000 parse_linespec (linespec_parser
*parser
, char **argptr
)
2002 linespec_token token
;
2003 struct symtabs_and_lines values
;
2004 volatile struct gdb_exception file_exception
;
2005 struct cleanup
*cleanup
;
2007 /* A special case to start. It has become quite popular for
2008 IDEs to work around bugs in the previous parser by quoting
2009 the entire linespec, so we attempt to deal with this nicely. */
2010 parser
->is_quote_enclosed
= 0;
2011 if (!is_ada_operator (*argptr
)
2012 && strchr (linespec_quote_characters
, **argptr
) != NULL
)
2016 end
= skip_quote_char (*argptr
+ 1, **argptr
);
2017 if (end
!= NULL
&& is_closing_quote_enclosed (end
))
2019 /* Here's the special case. Skip ARGPTR past the initial
2022 parser
->is_quote_enclosed
= 1;
2026 parser
->lexer
.saved_arg
= *argptr
;
2027 parser
->lexer
.stream
= argptr
;
2028 file_exception
.reason
= 0;
2030 /* Initialize the default symtab and line offset. */
2031 initialize_defaults (&PARSER_STATE (parser
)->default_symtab
,
2032 &PARSER_STATE (parser
)->default_line
);
2034 /* Objective-C shortcut. */
2035 values
= decode_objc (PARSER_STATE (parser
), PARSER_RESULT (parser
), argptr
);
2036 if (values
.sals
!= NULL
)
2039 /* Start parsing. */
2041 /* Get the first token. */
2042 token
= linespec_lexer_lex_one (parser
);
2044 /* It must be either LSTOKEN_STRING or LSTOKEN_NUMBER. */
2045 if (token
.type
== LSTOKEN_STRING
&& *LS_TOKEN_STOKEN (token
).ptr
== '*')
2049 /* User specified an expression, *EXPR. */
2050 copy
= expr
= copy_token_string (token
);
2051 cleanup
= make_cleanup (xfree
, expr
);
2052 PARSER_RESULT (parser
)->expr_pc
= linespec_expression_to_pc (©
);
2053 discard_cleanups (cleanup
);
2054 PARSER_RESULT (parser
)->expression
= expr
;
2056 /* This is a little hacky/tricky. If linespec_expression_to_pc
2057 did not evaluate the entire token, then we must find the
2058 string COPY inside the original token buffer. */
2061 PARSER_STREAM (parser
) = strstr (parser
->lexer
.saved_arg
, copy
);
2062 gdb_assert (PARSER_STREAM (parser
) != NULL
);
2065 /* Consume the token. */
2066 linespec_lexer_consume_token (parser
);
2068 goto convert_to_sals
;
2070 else if (token
.type
== LSTOKEN_STRING
&& *LS_TOKEN_STOKEN (token
).ptr
== '$')
2074 /* A NULL entry means to use GLOBAL_DEFAULT_SYMTAB. */
2075 VEC_safe_push (symtab_p
, PARSER_RESULT (parser
)->file_symtabs
, NULL
);
2077 /* User specified a convenience variable or history value. */
2078 var
= copy_token_string (token
);
2079 cleanup
= make_cleanup (xfree
, var
);
2080 PARSER_RESULT (parser
)->line_offset
2081 = linespec_parse_variable (PARSER_STATE (parser
), var
);
2083 /* If a line_offset wasn't found (VAR is the name of a user
2084 variable/function), then skip to normal symbol processing. */
2085 if (PARSER_RESULT (parser
)->line_offset
.sign
!= LINE_OFFSET_UNKNOWN
)
2087 discard_cleanups (cleanup
);
2089 /* Consume this token. */
2090 linespec_lexer_consume_token (parser
);
2092 goto convert_to_sals
;
2095 do_cleanups (cleanup
);
2097 else if (token
.type
!= LSTOKEN_STRING
&& token
.type
!= LSTOKEN_NUMBER
)
2098 unexpected_linespec_error (parser
);
2100 /* Shortcut: If the next token is not LSTOKEN_COLON, we know that
2101 this token cannot represent a filename. */
2102 token
= linespec_lexer_peek_token (parser
);
2104 if (token
.type
== LSTOKEN_COLON
)
2106 char *user_filename
;
2108 /* Get the current token again and extract the filename. */
2109 token
= linespec_lexer_lex_one (parser
);
2110 user_filename
= copy_token_string (token
);
2112 /* Check if the input is a filename. */
2113 TRY_CATCH (file_exception
, RETURN_MASK_ERROR
)
2115 PARSER_RESULT (parser
)->file_symtabs
2116 = symtabs_from_filename (user_filename
);
2119 if (file_exception
.reason
>= 0)
2121 /* Symtabs were found for the file. Record the filename. */
2122 PARSER_RESULT (parser
)->source_filename
= user_filename
;
2124 /* Get the next token. */
2125 token
= linespec_lexer_consume_token (parser
);
2127 /* This is LSTOKEN_COLON; consume it. */
2128 linespec_lexer_consume_token (parser
);
2132 /* No symtabs found -- discard user_filename. */
2133 xfree (user_filename
);
2135 /* A NULL entry means to use GLOBAL_DEFAULT_SYMTAB. */
2136 VEC_safe_push (symtab_p
, PARSER_RESULT (parser
)->file_symtabs
, NULL
);
2139 /* If the next token is not EOI, KEYWORD, or COMMA, issue an error. */
2140 else if (token
.type
!= LSTOKEN_EOI
&& token
.type
!= LSTOKEN_KEYWORD
2141 && token
.type
!= LSTOKEN_COMMA
)
2143 /* TOKEN is the _next_ token, not the one currently in the parser.
2144 Consuming the token will give the correct error message. */
2145 linespec_lexer_consume_token (parser
);
2146 unexpected_linespec_error (parser
);
2150 /* A NULL entry means to use GLOBAL_DEFAULT_SYMTAB. */
2151 VEC_safe_push (symtab_p
, PARSER_RESULT (parser
)->file_symtabs
, NULL
);
2154 /* Parse the rest of the linespec. */
2155 linespec_parse_basic (parser
);
2157 if (PARSER_RESULT (parser
)->function_symbols
== NULL
2158 && PARSER_RESULT (parser
)->labels
.label_symbols
== NULL
2159 && PARSER_RESULT (parser
)->line_offset
.sign
== LINE_OFFSET_UNKNOWN
2160 && PARSER_RESULT (parser
)->minimal_symbols
== NULL
)
2162 /* The linespec didn't parse. Re-throw the file exception if
2164 if (file_exception
.reason
< 0)
2165 throw_exception (file_exception
);
2167 /* Otherwise, the symbol is not found. */
2168 symbol_not_found_error (PARSER_RESULT (parser
)->function_name
,
2169 PARSER_RESULT (parser
)->source_filename
);
2174 /* Get the last token and record how much of the input was parsed,
2176 token
= linespec_lexer_lex_one (parser
);
2177 if (token
.type
!= LSTOKEN_EOI
&& token
.type
!= LSTOKEN_KEYWORD
)
2178 PARSER_STREAM (parser
) = LS_TOKEN_STOKEN (token
).ptr
;
2180 /* Convert the data in PARSER_RESULT to SALs. */
2181 values
= convert_linespec_to_sals (PARSER_STATE (parser
),
2182 PARSER_RESULT (parser
));
2188 /* A constructor for linespec_state. */
2191 linespec_state_constructor (struct linespec_state
*self
,
2192 int flags
, const struct language_defn
*language
,
2193 struct symtab
*default_symtab
,
2195 struct linespec_result
*canonical
)
2197 memset (self
, 0, sizeof (*self
));
2198 self
->language
= language
;
2199 self
->funfirstline
= (flags
& DECODE_LINE_FUNFIRSTLINE
) ? 1 : 0;
2200 self
->list_mode
= (flags
& DECODE_LINE_LIST_MODE
) ? 1 : 0;
2201 self
->default_symtab
= default_symtab
;
2202 self
->default_line
= default_line
;
2203 self
->canonical
= canonical
;
2204 self
->program_space
= current_program_space
;
2205 self
->addr_set
= htab_create_alloc (10, hash_address_entry
, eq_address_entry
,
2206 xfree
, xcalloc
, xfree
);
2209 /* Initialize a new linespec parser. */
2212 linespec_parser_new (linespec_parser
*parser
,
2213 int flags
, const struct language_defn
*language
,
2214 struct symtab
*default_symtab
,
2216 struct linespec_result
*canonical
)
2218 parser
->lexer
.current
.type
= LSTOKEN_CONSUMED
;
2219 memset (PARSER_RESULT (parser
), 0, sizeof (struct linespec
));
2220 PARSER_RESULT (parser
)->line_offset
.sign
= LINE_OFFSET_UNKNOWN
;
2221 linespec_state_constructor (PARSER_STATE (parser
), flags
, language
,
2222 default_symtab
, default_line
, canonical
);
2225 /* A destructor for linespec_state. */
2228 linespec_state_destructor (struct linespec_state
*self
)
2230 htab_delete (self
->addr_set
);
2233 /* Delete a linespec parser. */
2236 linespec_parser_delete (void *arg
)
2238 linespec_parser
*parser
= (linespec_parser
*) arg
;
2240 xfree ((char *) PARSER_RESULT (parser
)->expression
);
2241 xfree ((char *) PARSER_RESULT (parser
)->source_filename
);
2242 xfree ((char *) PARSER_RESULT (parser
)->label_name
);
2243 xfree ((char *) PARSER_RESULT (parser
)->function_name
);
2245 if (PARSER_RESULT (parser
)->file_symtabs
!= NULL
)
2246 VEC_free (symtab_p
, PARSER_RESULT (parser
)->file_symtabs
);
2248 if (PARSER_RESULT (parser
)->function_symbols
!= NULL
)
2249 VEC_free (symbolp
, PARSER_RESULT (parser
)->function_symbols
);
2251 if (PARSER_RESULT (parser
)->minimal_symbols
!= NULL
)
2252 VEC_free (minsym_and_objfile_d
, PARSER_RESULT (parser
)->minimal_symbols
);
2254 if (PARSER_RESULT (parser
)->labels
.label_symbols
!= NULL
)
2255 VEC_free (symbolp
, PARSER_RESULT (parser
)->labels
.label_symbols
);
2257 if (PARSER_RESULT (parser
)->labels
.function_symbols
!= NULL
)
2258 VEC_free (symbolp
, PARSER_RESULT (parser
)->labels
.function_symbols
);
2260 linespec_state_destructor (PARSER_STATE (parser
));
2263 /* See linespec.h. */
2266 decode_line_full (char **argptr
, int flags
,
2267 struct symtab
*default_symtab
,
2268 int default_line
, struct linespec_result
*canonical
,
2269 const char *select_mode
,
2272 struct symtabs_and_lines result
;
2273 struct cleanup
*cleanups
;
2274 VEC (const_char_ptr
) *filters
= NULL
;
2275 linespec_parser parser
;
2276 struct linespec_state
*state
;
2278 gdb_assert (canonical
!= NULL
);
2279 /* The filter only makes sense for 'all'. */
2280 gdb_assert (filter
== NULL
|| select_mode
== multiple_symbols_all
);
2281 gdb_assert (select_mode
== NULL
2282 || select_mode
== multiple_symbols_all
2283 || select_mode
== multiple_symbols_ask
2284 || select_mode
== multiple_symbols_cancel
);
2285 gdb_assert ((flags
& DECODE_LINE_LIST_MODE
) == 0);
2287 linespec_parser_new (&parser
, flags
, current_language
, default_symtab
,
2288 default_line
, canonical
);
2289 cleanups
= make_cleanup (linespec_parser_delete
, &parser
);
2290 save_current_program_space ();
2292 result
= parse_linespec (&parser
, argptr
);
2293 state
= PARSER_STATE (&parser
);
2295 gdb_assert (result
.nelts
== 1 || canonical
->pre_expanded
);
2296 gdb_assert (canonical
->addr_string
!= NULL
);
2297 canonical
->pre_expanded
= 1;
2299 /* Arrange for allocated canonical names to be freed. */
2300 if (result
.nelts
> 0)
2304 make_cleanup (xfree
, state
->canonical_names
);
2305 for (i
= 0; i
< result
.nelts
; ++i
)
2307 gdb_assert (state
->canonical_names
[i
] != NULL
);
2308 make_cleanup (xfree
, state
->canonical_names
[i
]);
2312 if (select_mode
== NULL
)
2314 if (ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ())))
2315 select_mode
= multiple_symbols_all
;
2317 select_mode
= multiple_symbols_select_mode ();
2320 if (select_mode
== multiple_symbols_all
)
2324 make_cleanup (VEC_cleanup (const_char_ptr
), &filters
);
2325 VEC_safe_push (const_char_ptr
, filters
, filter
);
2326 filter_results (state
, &result
, filters
);
2329 convert_results_to_lsals (state
, &result
);
2332 decode_line_2 (state
, &result
, select_mode
);
2334 do_cleanups (cleanups
);
2337 /* See linespec.h. */
2339 struct symtabs_and_lines
2340 decode_line_1 (char **argptr
, int flags
,
2341 struct symtab
*default_symtab
,
2344 struct symtabs_and_lines result
;
2345 linespec_parser parser
;
2346 struct cleanup
*cleanups
;
2348 linespec_parser_new (&parser
, flags
, current_language
, default_symtab
,
2349 default_line
, NULL
);
2350 cleanups
= make_cleanup (linespec_parser_delete
, &parser
);
2351 save_current_program_space ();
2353 result
= parse_linespec (&parser
, argptr
);
2355 do_cleanups (cleanups
);
2359 /* See linespec.h. */
2361 struct symtabs_and_lines
2362 decode_line_with_current_source (char *string
, int flags
)
2364 struct symtabs_and_lines sals
;
2365 struct symtab_and_line cursal
;
2368 error (_("Empty line specification."));
2370 /* We use whatever is set as the current source line. We do not try
2371 and get a default source symtab+line or it will recursively call us! */
2372 cursal
= get_current_source_symtab_and_line ();
2374 sals
= decode_line_1 (&string
, flags
,
2375 cursal
.symtab
, cursal
.line
);
2378 error (_("Junk at end of line specification: %s"), string
);
2382 /* See linespec.h. */
2384 struct symtabs_and_lines
2385 decode_line_with_last_displayed (char *string
, int flags
)
2387 struct symtabs_and_lines sals
;
2390 error (_("Empty line specification."));
2392 if (last_displayed_sal_is_valid ())
2393 sals
= decode_line_1 (&string
, flags
,
2394 get_last_displayed_symtab (),
2395 get_last_displayed_line ());
2397 sals
= decode_line_1 (&string
, flags
, (struct symtab
*) NULL
, 0);
2400 error (_("Junk at end of line specification: %s"), string
);
2406 /* First, some functions to initialize stuff at the beggining of the
2410 initialize_defaults (struct symtab
**default_symtab
, int *default_line
)
2412 if (*default_symtab
== 0)
2414 /* Use whatever we have for the default source line. We don't use
2415 get_current_or_default_symtab_and_line as it can recurse and call
2417 struct symtab_and_line cursal
=
2418 get_current_source_symtab_and_line ();
2420 *default_symtab
= cursal
.symtab
;
2421 *default_line
= cursal
.line
;
2427 /* Evaluate the expression pointed to by EXP_PTR into a CORE_ADDR,
2428 advancing EXP_PTR past any parsed text. */
2431 linespec_expression_to_pc (char **exp_ptr
)
2433 if (current_program_space
->executing_startup
)
2434 /* The error message doesn't really matter, because this case
2435 should only hit during breakpoint reset. */
2436 throw_error (NOT_FOUND_ERROR
, _("cannot evaluate expressions while "
2437 "program space is in startup"));
2440 return value_as_address (parse_to_comma_and_eval (exp_ptr
));
2445 /* Here's where we recognise an Objective-C Selector. An Objective C
2446 selector may be implemented by more than one class, therefore it
2447 may represent more than one method/function. This gives us a
2448 situation somewhat analogous to C++ overloading. If there's more
2449 than one method that could represent the selector, then use some of
2450 the existing C++ code to let the user choose one. */
2452 static struct symtabs_and_lines
2453 decode_objc (struct linespec_state
*self
, linespec_p ls
, char **argptr
)
2455 struct collect_info info
;
2456 VEC (const_char_ptr
) *symbol_names
= NULL
;
2457 struct symtabs_and_lines values
;
2459 struct cleanup
*cleanup
= make_cleanup (VEC_cleanup (const_char_ptr
),
2463 info
.file_symtabs
= NULL
;
2464 VEC_safe_push (symtab_p
, info
.file_symtabs
, NULL
);
2465 make_cleanup (VEC_cleanup (symtab_p
), &info
.file_symtabs
);
2466 info
.result
.symbols
= NULL
;
2467 info
.result
.minimal_symbols
= NULL
;
2471 new_argptr
= find_imps (*argptr
, &symbol_names
);
2472 if (VEC_empty (const_char_ptr
, symbol_names
))
2474 do_cleanups (cleanup
);
2478 add_all_symbol_names_from_pspace (&info
, NULL
, symbol_names
);
2480 if (!VEC_empty (symbolp
, info
.result
.symbols
)
2481 || !VEC_empty (minsym_and_objfile_d
, info
.result
.minimal_symbols
))
2485 saved_arg
= alloca (new_argptr
- *argptr
+ 1);
2486 memcpy (saved_arg
, *argptr
, new_argptr
- *argptr
);
2487 saved_arg
[new_argptr
- *argptr
] = '\0';
2489 ls
->function_name
= xstrdup (saved_arg
);
2490 ls
->function_symbols
= info
.result
.symbols
;
2491 ls
->minimal_symbols
= info
.result
.minimal_symbols
;
2492 values
= convert_linespec_to_sals (self
, ls
);
2494 if (self
->canonical
)
2496 self
->canonical
->pre_expanded
= 1;
2497 if (ls
->source_filename
)
2498 self
->canonical
->addr_string
2499 = xstrprintf ("%s:%s", ls
->source_filename
, saved_arg
);
2501 self
->canonical
->addr_string
= xstrdup (saved_arg
);
2505 *argptr
= new_argptr
;
2507 do_cleanups (cleanup
);
2512 /* An instance of this type is used when collecting prefix symbols for
2515 struct decode_compound_collector
2517 /* The result vector. */
2518 VEC (symbolp
) *symbols
;
2520 /* A hash table of all symbols we found. We use this to avoid
2521 adding any symbol more than once. */
2525 /* A callback for iterate_over_symbols that is used by
2526 lookup_prefix_sym to collect type symbols. */
2529 collect_one_symbol (struct symbol
*sym
, void *d
)
2531 struct decode_compound_collector
*collector
= d
;
2535 if (SYMBOL_CLASS (sym
) != LOC_TYPEDEF
)
2536 return 1; /* Continue iterating. */
2538 t
= SYMBOL_TYPE (sym
);
2540 if (TYPE_CODE (t
) != TYPE_CODE_STRUCT
2541 && TYPE_CODE (t
) != TYPE_CODE_UNION
2542 && TYPE_CODE (t
) != TYPE_CODE_NAMESPACE
)
2543 return 1; /* Continue iterating. */
2545 slot
= htab_find_slot (collector
->unique_syms
, sym
, INSERT
);
2549 VEC_safe_push (symbolp
, collector
->symbols
, sym
);
2552 return 1; /* Continue iterating. */
2555 /* Return any symbols corresponding to CLASS_NAME in FILE_SYMTABS. */
2557 static VEC (symbolp
) *
2558 lookup_prefix_sym (struct linespec_state
*state
, VEC (symtab_p
) *file_symtabs
,
2559 const char *class_name
)
2563 struct decode_compound_collector collector
;
2564 struct cleanup
*outer
;
2565 struct cleanup
*cleanup
;
2567 collector
.symbols
= NULL
;
2568 outer
= make_cleanup (VEC_cleanup (symbolp
), &collector
.symbols
);
2570 collector
.unique_syms
= htab_create_alloc (1, htab_hash_pointer
,
2571 htab_eq_pointer
, NULL
,
2573 cleanup
= make_cleanup_htab_delete (collector
.unique_syms
);
2575 for (ix
= 0; VEC_iterate (symtab_p
, file_symtabs
, ix
, elt
); ++ix
)
2579 iterate_over_all_matching_symtabs (state
, class_name
, STRUCT_DOMAIN
,
2580 collect_one_symbol
, &collector
,
2582 iterate_over_all_matching_symtabs (state
, class_name
, VAR_DOMAIN
,
2583 collect_one_symbol
, &collector
,
2588 struct block
*search_block
;
2590 /* Program spaces that are executing startup should have
2591 been filtered out earlier. */
2592 gdb_assert (!SYMTAB_PSPACE (elt
)->executing_startup
);
2593 set_current_program_space (SYMTAB_PSPACE (elt
));
2594 search_block
= get_search_block (elt
);
2595 LA_ITERATE_OVER_SYMBOLS (search_block
, class_name
, STRUCT_DOMAIN
,
2596 collect_one_symbol
, &collector
);
2597 LA_ITERATE_OVER_SYMBOLS (search_block
, class_name
, VAR_DOMAIN
,
2598 collect_one_symbol
, &collector
);
2602 do_cleanups (cleanup
);
2603 discard_cleanups (outer
);
2604 return collector
.symbols
;
2607 /* A qsort comparison function for symbols. The resulting order does
2608 not actually matter; we just need to be able to sort them so that
2609 symbols with the same program space end up next to each other. */
2612 compare_symbols (const void *a
, const void *b
)
2614 struct symbol
* const *sa
= a
;
2615 struct symbol
* const *sb
= b
;
2618 uia
= (uintptr_t) SYMTAB_PSPACE (SYMBOL_SYMTAB (*sa
));
2619 uib
= (uintptr_t) SYMTAB_PSPACE (SYMBOL_SYMTAB (*sb
));
2626 uia
= (uintptr_t) *sa
;
2627 uib
= (uintptr_t) *sb
;
2637 /* Like compare_symbols but for minimal symbols. */
2640 compare_msymbols (const void *a
, const void *b
)
2642 const struct minsym_and_objfile
*sa
= a
;
2643 const struct minsym_and_objfile
*sb
= b
;
2646 uia
= (uintptr_t) sa
->objfile
->pspace
;
2647 uib
= (uintptr_t) sa
->objfile
->pspace
;
2654 uia
= (uintptr_t) sa
->minsym
;
2655 uib
= (uintptr_t) sb
->minsym
;
2665 /* Look for all the matching instances of each symbol in NAMES. Only
2666 instances from PSPACE are considered; other program spaces are
2667 handled by our caller. If PSPACE is NULL, then all program spaces
2668 are considered. Results are stored into INFO. */
2671 add_all_symbol_names_from_pspace (struct collect_info
*info
,
2672 struct program_space
*pspace
,
2673 VEC (const_char_ptr
) *names
)
2678 for (ix
= 0; VEC_iterate (const_char_ptr
, names
, ix
, iter
); ++ix
)
2679 add_matching_symbols_to_info (iter
, info
, pspace
);
2683 find_superclass_methods (VEC (typep
) *superclasses
,
2685 VEC (const_char_ptr
) **result_names
)
2687 int old_len
= VEC_length (const_char_ptr
, *result_names
);
2688 VEC (typep
) *iter_classes
;
2689 struct cleanup
*cleanup
= make_cleanup (null_cleanup
, NULL
);
2691 iter_classes
= superclasses
;
2694 VEC (typep
) *new_supers
= NULL
;
2698 make_cleanup (VEC_cleanup (typep
), &new_supers
);
2699 for (ix
= 0; VEC_iterate (typep
, iter_classes
, ix
, t
); ++ix
)
2700 find_methods (t
, name
, result_names
, &new_supers
);
2702 if (VEC_length (const_char_ptr
, *result_names
) != old_len
2703 || VEC_empty (typep
, new_supers
))
2706 iter_classes
= new_supers
;
2709 do_cleanups (cleanup
);
2712 /* This finds the method METHOD_NAME in the class CLASS_NAME whose type is
2713 given by one of the symbols in SYM_CLASSES. Matches are returned
2714 in SYMBOLS (for debug symbols) and MINSYMS (for minimal symbols). */
2717 find_method (struct linespec_state
*self
, VEC (symtab_p
) *file_symtabs
,
2718 const char *class_name
, const char *method_name
,
2719 VEC (symbolp
) *sym_classes
, VEC (symbolp
) **symbols
,
2720 VEC (minsym_and_objfile_d
) **minsyms
)
2723 struct cleanup
*cleanup
= make_cleanup (null_cleanup
, NULL
);
2725 int last_result_len
;
2726 VEC (typep
) *superclass_vec
;
2727 VEC (const_char_ptr
) *result_names
;
2728 struct collect_info info
;
2730 /* Sort symbols so that symbols with the same program space are next
2732 qsort (VEC_address (symbolp
, sym_classes
),
2733 VEC_length (symbolp
, sym_classes
),
2738 info
.file_symtabs
= file_symtabs
;
2739 info
.result
.symbols
= NULL
;
2740 info
.result
.minimal_symbols
= NULL
;
2742 /* Iterate over all the types, looking for the names of existing
2743 methods matching METHOD_NAME. If we cannot find a direct method in a
2744 given program space, then we consider inherited methods; this is
2745 not ideal (ideal would be to respect C++ hiding rules), but it
2746 seems good enough and is what GDB has historically done. We only
2747 need to collect the names because later we find all symbols with
2748 those names. This loop is written in a somewhat funny way
2749 because we collect data across the program space before deciding
2751 superclass_vec
= NULL
;
2752 make_cleanup (VEC_cleanup (typep
), &superclass_vec
);
2753 result_names
= NULL
;
2754 make_cleanup (VEC_cleanup (const_char_ptr
), &result_names
);
2755 last_result_len
= 0;
2756 for (ix
= 0; VEC_iterate (symbolp
, sym_classes
, ix
, sym
); ++ix
)
2759 struct program_space
*pspace
;
2761 /* Program spaces that are executing startup should have
2762 been filtered out earlier. */
2763 gdb_assert (!SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
))->executing_startup
);
2764 pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
2765 set_current_program_space (pspace
);
2766 t
= check_typedef (SYMBOL_TYPE (sym
));
2767 find_methods (t
, method_name
, &result_names
, &superclass_vec
);
2769 /* Handle all items from a single program space at once; and be
2770 sure not to miss the last batch. */
2771 if (ix
== VEC_length (symbolp
, sym_classes
) - 1
2773 != SYMTAB_PSPACE (SYMBOL_SYMTAB (VEC_index (symbolp
, sym_classes
,
2776 /* If we did not find a direct implementation anywhere in
2777 this program space, consider superclasses. */
2778 if (VEC_length (const_char_ptr
, result_names
) == last_result_len
)
2779 find_superclass_methods (superclass_vec
, method_name
,
2782 /* We have a list of candidate symbol names, so now we
2783 iterate over the symbol tables looking for all
2784 matches in this pspace. */
2785 add_all_symbol_names_from_pspace (&info
, pspace
, result_names
);
2787 VEC_truncate (typep
, superclass_vec
, 0);
2788 last_result_len
= VEC_length (const_char_ptr
, result_names
);
2792 if (!VEC_empty (symbolp
, info
.result
.symbols
)
2793 || !VEC_empty (minsym_and_objfile_d
, info
.result
.minimal_symbols
))
2795 *symbols
= info
.result
.symbols
;
2796 *minsyms
= info
.result
.minimal_symbols
;
2797 do_cleanups (cleanup
);
2801 /* Throw an NOT_FOUND_ERROR. This will be caught by the caller
2802 and other attempts to locate the symbol will be made. */
2803 throw_error (NOT_FOUND_ERROR
, _("see caller, this text doesn't matter"));
2808 /* This object is used when collecting all matching symtabs. */
2810 struct symtab_collector
2812 /* The result vector of symtabs. */
2813 VEC (symtab_p
) *symtabs
;
2815 /* This is used to ensure the symtabs are unique. */
2816 htab_t symtab_table
;
2819 /* Callback for iterate_over_symtabs. */
2822 add_symtabs_to_list (struct symtab
*symtab
, void *d
)
2824 struct symtab_collector
*data
= d
;
2827 slot
= htab_find_slot (data
->symtab_table
, symtab
, INSERT
);
2831 VEC_safe_push (symtab_p
, data
->symtabs
, symtab
);
2837 /* Given a file name, return a VEC of all matching symtabs. */
2839 static VEC (symtab_p
) *
2840 collect_symtabs_from_filename (const char *file
)
2842 struct symtab_collector collector
;
2843 struct cleanup
*cleanups
;
2844 struct program_space
*pspace
;
2846 collector
.symtabs
= NULL
;
2847 collector
.symtab_table
= htab_create (1, htab_hash_pointer
, htab_eq_pointer
,
2849 cleanups
= make_cleanup_htab_delete (collector
.symtab_table
);
2851 /* Find that file's data. */
2852 ALL_PSPACES (pspace
)
2854 if (pspace
->executing_startup
)
2857 set_current_program_space (pspace
);
2858 iterate_over_symtabs (file
, add_symtabs_to_list
, &collector
);
2861 do_cleanups (cleanups
);
2862 return collector
.symtabs
;
2865 /* Return all the symtabs associated to the FILENAME. */
2867 static VEC (symtab_p
) *
2868 symtabs_from_filename (const char *filename
)
2870 VEC (symtab_p
) *result
;
2872 result
= collect_symtabs_from_filename (filename
);
2874 if (VEC_empty (symtab_p
, result
))
2876 if (!have_full_symbols () && !have_partial_symbols ())
2877 throw_error (NOT_FOUND_ERROR
,
2878 _("No symbol table is loaded. "
2879 "Use the \"file\" command."));
2880 throw_error (NOT_FOUND_ERROR
, _("No source file named %s."), filename
);
2886 /* Look up a function symbol named NAME in symtabs FILE_SYMTABS. Matching
2887 debug symbols are returned in SYMBOLS. Matching minimal symbols are
2888 returned in MINSYMS. */
2891 find_function_symbols (struct linespec_state
*state
,
2892 VEC (symtab_p
) *file_symtabs
, const char *name
,
2893 VEC (symbolp
) **symbols
,
2894 VEC (minsym_and_objfile_d
) **minsyms
)
2896 struct collect_info info
;
2897 VEC (const_char_ptr
) *symbol_names
= NULL
;
2898 struct cleanup
*cleanup
= make_cleanup (VEC_cleanup (const_char_ptr
),
2902 info
.result
.symbols
= NULL
;
2903 info
.result
.minimal_symbols
= NULL
;
2904 info
.file_symtabs
= file_symtabs
;
2906 /* Try NAME as an Objective-C selector. */
2907 find_imps ((char *) name
, &symbol_names
);
2908 if (!VEC_empty (const_char_ptr
, symbol_names
))
2909 add_all_symbol_names_from_pspace (&info
, NULL
, symbol_names
);
2911 add_matching_symbols_to_info (name
, &info
, NULL
);
2913 do_cleanups (cleanup
);
2915 if (VEC_empty (symbolp
, info
.result
.symbols
))
2917 VEC_free (symbolp
, info
.result
.symbols
);
2921 *symbols
= info
.result
.symbols
;
2923 if (VEC_empty (minsym_and_objfile_d
, info
.result
.minimal_symbols
))
2925 VEC_free (minsym_and_objfile_d
, info
.result
.minimal_symbols
);
2929 *minsyms
= info
.result
.minimal_symbols
;
2932 /* Find all symbols named NAME in FILE_SYMTABS, returning debug symbols
2933 in SYMBOLS and minimal symbols in MINSYMS. */
2936 find_linespec_symbols (struct linespec_state
*state
,
2937 VEC (symtab_p
) *file_symtabs
,
2939 VEC (symbolp
) **symbols
,
2940 VEC (minsym_and_objfile_d
) **minsyms
)
2942 char *klass
, *method
, *canon
;
2943 const char *lookup_name
, *last
, *p
, *scope_op
;
2944 struct cleanup
*cleanup
;
2945 VEC (symbolp
) *classes
;
2946 volatile struct gdb_exception except
;
2948 cleanup
= demangle_for_lookup (name
, state
->language
->la_language
,
2950 if (state
->language
->la_language
== language_ada
)
2952 /* In Ada, the symbol lookups are performed using the encoded
2953 name rather than the demangled name. */
2954 lookup_name
= ada_name_for_lookup (name
);
2955 make_cleanup (xfree
, (void *) lookup_name
);
2958 canon
= cp_canonicalize_string_no_typedefs (lookup_name
);
2961 lookup_name
= canon
;
2962 cleanup
= make_cleanup (xfree
, canon
);
2965 /* See if we can find a scope operator and break this symbol
2966 name into namespaces${SCOPE_OPERATOR}class_name and method_name. */
2968 p
= find_toplevel_string (lookup_name
, scope_op
);
2971 /* No C++ scope operator. Try Java. */
2973 p
= find_toplevel_string (lookup_name
, scope_op
);
2980 p
= find_toplevel_string (p
+ strlen (scope_op
), scope_op
);
2983 /* If no scope operator was found, lookup the name as a symbol. */
2986 find_function_symbols (state
, file_symtabs
, lookup_name
,
2988 do_cleanups (cleanup
);
2992 /* NAME points to the class name.
2993 LAST points to the method name. */
2994 klass
= xmalloc ((last
- lookup_name
+ 1) * sizeof (char));
2995 make_cleanup (xfree
, klass
);
2996 strncpy (klass
, lookup_name
, last
- lookup_name
);
2997 klass
[last
- lookup_name
] = '\0';
2999 /* Skip past the scope operator. */
3000 last
+= strlen (scope_op
);
3001 method
= xmalloc ((strlen (last
) + 1) * sizeof (char));
3002 make_cleanup (xfree
, method
);
3003 strcpy (method
, last
);
3005 /* Find a list of classes named KLASS. */
3006 classes
= lookup_prefix_sym (state
, file_symtabs
, klass
);
3007 make_cleanup (VEC_cleanup (symbolp
), &classes
);
3008 if (!VEC_empty (symbolp
, classes
))
3010 /* Now locate a list of suitable methods named METHOD. */
3011 TRY_CATCH (except
, RETURN_MASK_ERROR
)
3013 find_method (state
, file_symtabs
, klass
, method
, classes
,
3017 /* If successful, we're done. If NOT_FOUND_ERROR
3018 was not thrown, rethrow the exception that we did get.
3019 Otherwise, fall back to looking up the entire name as a symbol.
3020 This can happen with namespace::function. */
3021 if (except
.reason
>= 0)
3023 do_cleanups (cleanup
);
3026 else if (except
.error
!= NOT_FOUND_ERROR
)
3027 throw_exception (except
);
3030 /* We couldn't find a class, so we check the entire name as a symbol
3032 find_function_symbols (state
, file_symtabs
, lookup_name
, symbols
, minsyms
);
3033 do_cleanups (cleanup
);
3036 /* Return all labels named NAME in FUNCTION_SYMBOLS. Return the
3037 actual function symbol in which the label was found in LABEL_FUNC_RET. */
3039 static VEC (symbolp
) *
3040 find_label_symbols (struct linespec_state
*self
,
3041 VEC (symbolp
) *function_symbols
,
3042 VEC (symbolp
) **label_funcs_ret
, const char *name
)
3045 struct block
*block
;
3047 struct symbol
*fn_sym
;
3048 VEC (symbolp
) *result
= NULL
;
3050 if (function_symbols
== NULL
)
3052 set_current_program_space (self
->program_space
);
3053 block
= get_search_block (NULL
);
3056 block
&& !BLOCK_FUNCTION (block
);
3057 block
= BLOCK_SUPERBLOCK (block
))
3061 fn_sym
= BLOCK_FUNCTION (block
);
3063 sym
= lookup_symbol (name
, block
, LABEL_DOMAIN
, 0);
3067 VEC_safe_push (symbolp
, result
, sym
);
3068 VEC_safe_push (symbolp
, *label_funcs_ret
, fn_sym
);
3074 VEC_iterate (symbolp
, function_symbols
, ix
, fn_sym
); ++ix
)
3076 set_current_program_space (SYMTAB_PSPACE (SYMBOL_SYMTAB (fn_sym
)));
3077 block
= SYMBOL_BLOCK_VALUE (fn_sym
);
3078 sym
= lookup_symbol (name
, block
, LABEL_DOMAIN
, 0);
3082 VEC_safe_push (symbolp
, result
, sym
);
3083 VEC_safe_push (symbolp
, *label_funcs_ret
, fn_sym
);
3093 /* A helper for create_sals_line_offset that handles the 'list_mode' case. */
3096 decode_digits_list_mode (struct linespec_state
*self
,
3098 struct symtabs_and_lines
*values
,
3099 struct symtab_and_line val
)
3104 gdb_assert (self
->list_mode
);
3106 for (ix
= 0; VEC_iterate (symtab_p
, ls
->file_symtabs
, ix
, elt
);
3109 /* The logic above should ensure this. */
3110 gdb_assert (elt
!= NULL
);
3112 set_current_program_space (SYMTAB_PSPACE (elt
));
3114 /* Simplistic search just for the list command. */
3115 val
.symtab
= find_line_symtab (elt
, val
.line
, NULL
, NULL
);
3116 if (val
.symtab
== NULL
)
3118 val
.pspace
= SYMTAB_PSPACE (elt
);
3120 val
.explicit_line
= 1;
3122 add_sal_to_sals (self
, values
, &val
, NULL
, 0);
3126 /* A helper for create_sals_line_offset that iterates over the symtabs,
3127 adding lines to the VEC. */
3130 decode_digits_ordinary (struct linespec_state
*self
,
3133 struct symtabs_and_lines
*sals
,
3134 struct linetable_entry
**best_entry
)
3139 for (ix
= 0; VEC_iterate (symtab_p
, ls
->file_symtabs
, ix
, elt
); ++ix
)
3142 VEC (CORE_ADDR
) *pcs
;
3145 /* The logic above should ensure this. */
3146 gdb_assert (elt
!= NULL
);
3148 set_current_program_space (SYMTAB_PSPACE (elt
));
3150 pcs
= find_pcs_for_symtab_line (elt
, line
, best_entry
);
3151 for (i
= 0; VEC_iterate (CORE_ADDR
, pcs
, i
, pc
); ++i
)
3153 struct symtab_and_line sal
;
3156 sal
.pspace
= SYMTAB_PSPACE (elt
);
3160 add_sal_to_sals_basic (sals
, &sal
);
3163 VEC_free (CORE_ADDR
, pcs
);
3169 /* Return the line offset represented by VARIABLE. */
3171 static struct line_offset
3172 linespec_parse_variable (struct linespec_state
*self
, const char *variable
)
3176 struct line_offset offset
= {0, LINE_OFFSET_NONE
};
3178 p
= (variable
[1] == '$') ? variable
+ 2 : variable
+ 1;
3181 while (*p
>= '0' && *p
<= '9')
3183 if (!*p
) /* Reached end of token without hitting non-digit. */
3185 /* We have a value history reference. */
3186 struct value
*val_history
;
3188 sscanf ((variable
[1] == '$') ? variable
+ 2 : variable
+ 1, "%d", &index
);
3190 = access_value_history ((variable
[1] == '$') ? -index
: index
);
3191 if (TYPE_CODE (value_type (val_history
)) != TYPE_CODE_INT
)
3192 error (_("History values used in line "
3193 "specs must have integer values."));
3194 offset
.offset
= value_as_long (val_history
);
3198 /* Not all digits -- may be user variable/function or a
3199 convenience variable. */
3201 struct internalvar
*ivar
;
3203 /* Try it as a convenience variable. If it is not a convenience
3204 variable, return and allow normal symbol lookup to occur. */
3205 ivar
= lookup_only_internalvar (variable
+ 1);
3207 /* No internal variable with that name. Mark the offset
3208 as unknown to allow the name to be looked up as a symbol. */
3209 offset
.sign
= LINE_OFFSET_UNKNOWN
;
3212 /* We found a valid variable name. If it is not an integer,
3214 if (!get_internalvar_integer (ivar
, &valx
))
3215 error (_("Convenience variables used in line "
3216 "specs must have integer values."));
3218 offset
.offset
= valx
;
3226 /* A callback used to possibly add a symbol to the results. */
3229 collect_symbols (struct symbol
*sym
, void *data
)
3231 struct collect_info
*info
= data
;
3233 /* In list mode, add all matching symbols, regardless of class.
3234 This allows the user to type "list a_global_variable". */
3235 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
|| info
->state
->list_mode
)
3236 VEC_safe_push (symbolp
, info
->result
.symbols
, sym
);
3237 return 1; /* Continue iterating. */
3240 /* We've found a minimal symbol MSYMBOL in OBJFILE to associate with our
3241 linespec; return the SAL in RESULT. */
3244 minsym_found (struct linespec_state
*self
, struct objfile
*objfile
,
3245 struct minimal_symbol
*msymbol
,
3246 struct symtabs_and_lines
*result
)
3248 struct gdbarch
*gdbarch
= get_objfile_arch (objfile
);
3250 struct symtab_and_line sal
;
3252 sal
= find_pc_sect_line (SYMBOL_VALUE_ADDRESS (msymbol
),
3253 (struct obj_section
*) 0, 0);
3254 sal
.section
= SYMBOL_OBJ_SECTION (msymbol
);
3256 /* The minimal symbol might point to a function descriptor;
3257 resolve it to the actual code address instead. */
3258 pc
= gdbarch_convert_from_func_ptr_addr (gdbarch
, sal
.pc
, ¤t_target
);
3260 sal
= find_pc_sect_line (pc
, NULL
, 0);
3262 if (self
->funfirstline
)
3263 skip_prologue_sal (&sal
);
3265 if (maybe_add_address (self
->addr_set
, objfile
->pspace
, sal
.pc
))
3266 add_sal_to_sals (self
, result
, &sal
, SYMBOL_NATURAL_NAME (msymbol
), 0);
3269 /* A helper struct to pass some data through
3270 iterate_over_minimal_symbols. */
3272 struct collect_minsyms
3274 /* The objfile we're examining. */
3275 struct objfile
*objfile
;
3277 /* The funfirstline setting from the initial call. */
3280 /* The list_mode setting from the initial call. */
3283 /* The resulting symbols. */
3284 VEC (minsym_and_objfile_d
) *msyms
;
3287 /* A helper function to classify a minimal_symbol_type according to
3291 classify_mtype (enum minimal_symbol_type t
)
3298 /* Intermediate priority. */
3301 case mst_solib_trampoline
:
3302 /* Lowest priority. */
3306 /* Highest priority. */
3311 /* Callback for qsort that sorts symbols by priority. */
3314 compare_msyms (const void *a
, const void *b
)
3316 const minsym_and_objfile_d
*moa
= a
;
3317 const minsym_and_objfile_d
*mob
= b
;
3318 enum minimal_symbol_type ta
= MSYMBOL_TYPE (moa
->minsym
);
3319 enum minimal_symbol_type tb
= MSYMBOL_TYPE (mob
->minsym
);
3321 return classify_mtype (ta
) - classify_mtype (tb
);
3324 /* Callback for iterate_over_minimal_symbols that adds the symbol to
3328 add_minsym (struct minimal_symbol
*minsym
, void *d
)
3330 struct collect_minsyms
*info
= d
;
3331 minsym_and_objfile_d mo
;
3333 /* Exclude data symbols when looking for breakpoint locations. */
3334 if (!info
->list_mode
)
3335 switch (minsym
->type
)
3337 case mst_slot_got_plt
:
3344 /* Make sure this minsym is not a function descriptor
3345 before we decide to discard it. */
3346 struct gdbarch
*gdbarch
= info
->objfile
->gdbarch
;
3347 CORE_ADDR addr
= gdbarch_convert_from_func_ptr_addr
3348 (gdbarch
, SYMBOL_VALUE_ADDRESS (minsym
),
3351 if (addr
== SYMBOL_VALUE_ADDRESS (minsym
))
3357 mo
.objfile
= info
->objfile
;
3358 VEC_safe_push (minsym_and_objfile_d
, info
->msyms
, &mo
);
3361 /* Search minimal symbols in all objfiles for NAME. If SEARCH_PSPACE
3362 is not NULL, the search is restricted to just that program
3366 search_minsyms_for_name (struct collect_info
*info
, const char *name
,
3367 struct program_space
*search_pspace
)
3369 struct objfile
*objfile
;
3370 struct program_space
*pspace
;
3372 ALL_PSPACES (pspace
)
3374 struct collect_minsyms local
;
3375 struct cleanup
*cleanup
;
3377 if (search_pspace
!= NULL
&& search_pspace
!= pspace
)
3379 if (pspace
->executing_startup
)
3382 set_current_program_space (pspace
);
3384 memset (&local
, 0, sizeof (local
));
3385 local
.funfirstline
= info
->state
->funfirstline
;
3386 local
.list_mode
= info
->state
->list_mode
;
3388 cleanup
= make_cleanup (VEC_cleanup (minsym_and_objfile_d
),
3391 ALL_OBJFILES (objfile
)
3393 local
.objfile
= objfile
;
3394 iterate_over_minimal_symbols (objfile
, name
, add_minsym
, &local
);
3397 if (!VEC_empty (minsym_and_objfile_d
, local
.msyms
))
3401 minsym_and_objfile_d
*item
;
3403 qsort (VEC_address (minsym_and_objfile_d
, local
.msyms
),
3404 VEC_length (minsym_and_objfile_d
, local
.msyms
),
3405 sizeof (minsym_and_objfile_d
),
3408 /* Now the minsyms are in classification order. So, we walk
3409 over them and process just the minsyms with the same
3410 classification as the very first minsym in the list. */
3411 item
= VEC_index (minsym_and_objfile_d
, local
.msyms
, 0);
3412 classification
= classify_mtype (MSYMBOL_TYPE (item
->minsym
));
3415 VEC_iterate (minsym_and_objfile_d
, local
.msyms
, ix
, item
);
3418 if (classify_mtype (MSYMBOL_TYPE (item
->minsym
)) != classification
)
3421 VEC_safe_push (minsym_and_objfile_d
,
3422 info
->result
.minimal_symbols
, item
);
3426 do_cleanups (cleanup
);
3430 /* A helper function to add all symbols matching NAME to INFO. If
3431 PSPACE is not NULL, the search is restricted to just that program
3435 add_matching_symbols_to_info (const char *name
,
3436 struct collect_info
*info
,
3437 struct program_space
*pspace
)
3442 for (ix
= 0; VEC_iterate (symtab_p
, info
->file_symtabs
, ix
, elt
); ++ix
)
3446 iterate_over_all_matching_symtabs (info
->state
, name
, VAR_DOMAIN
,
3447 collect_symbols
, info
,
3449 search_minsyms_for_name (info
, name
, pspace
);
3451 else if (pspace
== NULL
|| pspace
== SYMTAB_PSPACE (elt
))
3453 /* Program spaces that are executing startup should have
3454 been filtered out earlier. */
3455 gdb_assert (!SYMTAB_PSPACE (elt
)->executing_startup
);
3456 set_current_program_space (SYMTAB_PSPACE (elt
));
3457 LA_ITERATE_OVER_SYMBOLS (get_search_block (elt
), name
,
3458 VAR_DOMAIN
, collect_symbols
,
3466 /* Now come some functions that are called from multiple places within
3470 symbol_to_sal (struct symtab_and_line
*result
,
3471 int funfirstline
, struct symbol
*sym
)
3473 if (SYMBOL_CLASS (sym
) == LOC_BLOCK
)
3475 *result
= find_function_start_sal (sym
, funfirstline
);
3480 if (SYMBOL_CLASS (sym
) == LOC_LABEL
&& SYMBOL_VALUE_ADDRESS (sym
) != 0)
3483 result
->symtab
= SYMBOL_SYMTAB (sym
);
3484 result
->line
= SYMBOL_LINE (sym
);
3485 result
->pc
= SYMBOL_VALUE_ADDRESS (sym
);
3486 result
->pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
3487 result
->explicit_pc
= 1;
3490 else if (funfirstline
)
3494 else if (SYMBOL_LINE (sym
) != 0)
3496 /* We know its line number. */
3498 result
->symtab
= SYMBOL_SYMTAB (sym
);
3499 result
->line
= SYMBOL_LINE (sym
);
3500 result
->pspace
= SYMTAB_PSPACE (SYMBOL_SYMTAB (sym
));
3508 /* See the comment in linespec.h. */
3511 init_linespec_result (struct linespec_result
*lr
)
3513 memset (lr
, 0, sizeof (*lr
));
3516 /* See the comment in linespec.h. */
3519 destroy_linespec_result (struct linespec_result
*ls
)
3522 struct linespec_sals
*lsal
;
3524 xfree (ls
->addr_string
);
3525 for (i
= 0; VEC_iterate (linespec_sals
, ls
->sals
, i
, lsal
); ++i
)
3527 xfree (lsal
->canonical
);
3528 xfree (lsal
->sals
.sals
);
3530 VEC_free (linespec_sals
, ls
->sals
);
3533 /* Cleanup function for a linespec_result. */
3536 cleanup_linespec_result (void *a
)
3538 destroy_linespec_result (a
);
3541 /* See the comment in linespec.h. */
3544 make_cleanup_destroy_linespec_result (struct linespec_result
*ls
)
3546 return make_cleanup (cleanup_linespec_result
, ls
);