gdb: make skip_over_slash_fmt available outside printcmd.c
[binutils-gdb.git] / gdb / completer.c
1 /* Line completion stuff for GDB, the GNU debugger.
2 Copyright (C) 2000-2023 Free Software Foundation, Inc.
3
4 This file is part of GDB.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18
19 #include "defs.h"
20 #include "symtab.h"
21 #include "gdbtypes.h"
22 #include "expression.h"
23 #include "filenames.h"
24 #include "language.h"
25 #include "gdbsupport/gdb_signals.h"
26 #include "target.h"
27 #include "reggroups.h"
28 #include "user-regs.h"
29 #include "arch-utils.h"
30 #include "location.h"
31 #include <algorithm>
32 #include "linespec.h"
33 #include "cli/cli-decode.h"
34
35 /* FIXME: This is needed because of lookup_cmd_1 (). We should be
36 calling a hook instead so we eliminate the CLI dependency. */
37 #include "gdbcmd.h"
38
39 /* Needed for rl_completer_word_break_characters and for
40 rl_filename_completion_function. */
41 #include "readline/readline.h"
42
43 /* readline defines this. */
44 #undef savestring
45
46 #include "completer.h"
47
48 /* See completer.h. */
49
50 class completion_tracker::completion_hash_entry
51 {
52 public:
53 /* Constructor. */
54 completion_hash_entry (gdb::unique_xmalloc_ptr<char> name,
55 gdb::unique_xmalloc_ptr<char> lcd)
56 : m_name (std::move (name)),
57 m_lcd (std::move (lcd))
58 {
59 /* Nothing. */
60 }
61
62 /* Returns a pointer to the lowest common denominator string. This
63 string will only be valid while this hash entry is still valid as the
64 string continues to be owned by this hash entry and will be released
65 when this entry is deleted. */
66 char *get_lcd () const
67 {
68 return m_lcd.get ();
69 }
70
71 /* Get, and release the name field from this hash entry. This can only
72 be called once, after which the name field is no longer valid. This
73 should be used to pass ownership of the name to someone else. */
74 char *release_name ()
75 {
76 return m_name.release ();
77 }
78
79 /* Return true of the name in this hash entry is STR. */
80 bool is_name_eq (const char *str) const
81 {
82 return strcmp (m_name.get (), str) == 0;
83 }
84
85 /* Return the hash value based on the name of the entry. */
86 hashval_t hash_name () const
87 {
88 return htab_hash_string (m_name.get ());
89 }
90
91 private:
92
93 /* The symbol name stored in this hash entry. */
94 gdb::unique_xmalloc_ptr<char> m_name;
95
96 /* The lowest common denominator string computed for this hash entry. */
97 gdb::unique_xmalloc_ptr<char> m_lcd;
98 };
99
100 /* Misc state that needs to be tracked across several different
101 readline completer entry point calls, all related to a single
102 completion invocation. */
103
104 struct gdb_completer_state
105 {
106 /* The current completion's completion tracker. This is a global
107 because a tracker can be shared between the handle_brkchars and
108 handle_completion phases, which involves different readline
109 callbacks. */
110 completion_tracker *tracker = NULL;
111
112 /* Whether the current completion was aborted. */
113 bool aborted = false;
114 };
115
116 /* The current completion state. */
117 static gdb_completer_state current_completion;
118
119 /* An enumeration of the various things a user might attempt to
120 complete for a location. If you change this, remember to update
121 the explicit_options array below too. */
122
123 enum explicit_location_match_type
124 {
125 /* The filename of a source file. */
126 MATCH_SOURCE,
127
128 /* The name of a function or method. */
129 MATCH_FUNCTION,
130
131 /* The fully-qualified name of a function or method. */
132 MATCH_QUALIFIED,
133
134 /* A line number. */
135 MATCH_LINE,
136
137 /* The name of a label. */
138 MATCH_LABEL
139 };
140
141 /* Prototypes for local functions. */
142
143 /* readline uses the word breaks for two things:
144 (1) In figuring out where to point the TEXT parameter to the
145 rl_completion_entry_function. Since we don't use TEXT for much,
146 it doesn't matter a lot what the word breaks are for this purpose,
147 but it does affect how much stuff M-? lists.
148 (2) If one of the matches contains a word break character, readline
149 will quote it. That's why we switch between
150 current_language->word_break_characters () and
151 gdb_completer_command_word_break_characters. I'm not sure when
152 we need this behavior (perhaps for funky characters in C++
153 symbols?). */
154
155 /* Variables which are necessary for fancy command line editing. */
156
157 /* When completing on command names, we remove '-' and '.' from the list of
158 word break characters, since we use it in command names. If the
159 readline library sees one in any of the current completion strings,
160 it thinks that the string needs to be quoted and automatically
161 supplies a leading quote. */
162 static const char gdb_completer_command_word_break_characters[] =
163 " \t\n!@#$%^&*()+=|~`}{[]\"';:?/><,";
164
165 /* When completing on file names, we remove from the list of word
166 break characters any characters that are commonly used in file
167 names, such as '-', '+', '~', etc. Otherwise, readline displays
168 incorrect completion candidates. */
169 /* MS-DOS and MS-Windows use colon as part of the drive spec, and most
170 programs support @foo style response files. */
171 static const char gdb_completer_file_name_break_characters[] =
172 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
173 " \t\n*|\"';?><@";
174 #else
175 " \t\n*|\"';:?><";
176 #endif
177
178 /* Characters that can be used to quote completion strings. Note that
179 we can't include '"' because the gdb C parser treats such quoted
180 sequences as strings. */
181 static const char gdb_completer_quote_characters[] = "'";
182 \f
183 /* Accessor for some completer data that may interest other files. */
184
185 const char *
186 get_gdb_completer_quote_characters (void)
187 {
188 return gdb_completer_quote_characters;
189 }
190
191 /* This can be used for functions which don't want to complete on
192 symbols but don't want to complete on anything else either. */
193
194 void
195 noop_completer (struct cmd_list_element *ignore,
196 completion_tracker &tracker,
197 const char *text, const char *prefix)
198 {
199 }
200
201 /* Complete on filenames. */
202
203 void
204 filename_completer (struct cmd_list_element *ignore,
205 completion_tracker &tracker,
206 const char *text, const char *word)
207 {
208 int subsequent_name;
209
210 subsequent_name = 0;
211 while (1)
212 {
213 gdb::unique_xmalloc_ptr<char> p_rl
214 (rl_filename_completion_function (text, subsequent_name));
215 if (p_rl == NULL)
216 break;
217 /* We need to set subsequent_name to a non-zero value before the
218 continue line below, because otherwise, if the first file
219 seen by GDB is a backup file whose name ends in a `~', we
220 will loop indefinitely. */
221 subsequent_name = 1;
222 /* Like emacs, don't complete on old versions. Especially
223 useful in the "source" command. */
224 const char *p = p_rl.get ();
225 if (p[strlen (p) - 1] == '~')
226 continue;
227
228 tracker.add_completion
229 (make_completion_match_str (std::move (p_rl), text, word));
230 }
231 #if 0
232 /* There is no way to do this just long enough to affect quote
233 inserting without also affecting the next completion. This
234 should be fixed in readline. FIXME. */
235 /* Ensure that readline does the right thing
236 with respect to inserting quotes. */
237 rl_completer_word_break_characters = "";
238 #endif
239 }
240
241 /* The corresponding completer_handle_brkchars
242 implementation. */
243
244 static void
245 filename_completer_handle_brkchars (struct cmd_list_element *ignore,
246 completion_tracker &tracker,
247 const char *text, const char *word)
248 {
249 set_rl_completer_word_break_characters
250 (gdb_completer_file_name_break_characters);
251 }
252
253 /* Find the bounds of the current word for completion purposes, and
254 return a pointer to the end of the word. This mimics (and is a
255 modified version of) readline's _rl_find_completion_word internal
256 function.
257
258 This function skips quoted substrings (characters between matched
259 pairs of characters in rl_completer_quote_characters). We try to
260 find an unclosed quoted substring on which to do matching. If one
261 is not found, we use the word break characters to find the
262 boundaries of the current word. QC, if non-null, is set to the
263 opening quote character if we found an unclosed quoted substring,
264 '\0' otherwise. DP, if non-null, is set to the value of the
265 delimiter character that caused a word break. */
266
267 struct gdb_rl_completion_word_info
268 {
269 const char *word_break_characters;
270 const char *quote_characters;
271 const char *basic_quote_characters;
272 };
273
274 static const char *
275 gdb_rl_find_completion_word (struct gdb_rl_completion_word_info *info,
276 int *qc, int *dp,
277 const char *line_buffer)
278 {
279 int scan, end, delimiter, pass_next, isbrk;
280 char quote_char;
281 const char *brkchars;
282 int point = strlen (line_buffer);
283
284 /* The algorithm below does '--point'. Avoid buffer underflow with
285 the empty string. */
286 if (point == 0)
287 {
288 if (qc != NULL)
289 *qc = '\0';
290 if (dp != NULL)
291 *dp = '\0';
292 return line_buffer;
293 }
294
295 end = point;
296 delimiter = 0;
297 quote_char = '\0';
298
299 brkchars = info->word_break_characters;
300
301 if (info->quote_characters != NULL)
302 {
303 /* We have a list of characters which can be used in pairs to
304 quote substrings for the completer. Try to find the start of
305 an unclosed quoted substring. */
306 for (scan = pass_next = 0;
307 scan < end;
308 scan++)
309 {
310 if (pass_next)
311 {
312 pass_next = 0;
313 continue;
314 }
315
316 /* Shell-like semantics for single quotes -- don't allow
317 backslash to quote anything in single quotes, especially
318 not the closing quote. If you don't like this, take out
319 the check on the value of quote_char. */
320 if (quote_char != '\'' && line_buffer[scan] == '\\')
321 {
322 pass_next = 1;
323 continue;
324 }
325
326 if (quote_char != '\0')
327 {
328 /* Ignore everything until the matching close quote
329 char. */
330 if (line_buffer[scan] == quote_char)
331 {
332 /* Found matching close. Abandon this
333 substring. */
334 quote_char = '\0';
335 point = end;
336 }
337 }
338 else if (strchr (info->quote_characters, line_buffer[scan]))
339 {
340 /* Found start of a quoted substring. */
341 quote_char = line_buffer[scan];
342 point = scan + 1;
343 }
344 }
345 }
346
347 if (point == end && quote_char == '\0')
348 {
349 /* We didn't find an unclosed quoted substring upon which to do
350 completion, so use the word break characters to find the
351 substring on which to complete. */
352 while (--point)
353 {
354 scan = line_buffer[point];
355
356 if (strchr (brkchars, scan) != 0)
357 break;
358 }
359 }
360
361 /* If we are at an unquoted word break, then advance past it. */
362 scan = line_buffer[point];
363
364 if (scan)
365 {
366 isbrk = strchr (brkchars, scan) != 0;
367
368 if (isbrk)
369 {
370 /* If the character that caused the word break was a quoting
371 character, then remember it as the delimiter. */
372 if (info->basic_quote_characters
373 && strchr (info->basic_quote_characters, scan)
374 && (end - point) > 1)
375 delimiter = scan;
376
377 point++;
378 }
379 }
380
381 if (qc != NULL)
382 *qc = quote_char;
383 if (dp != NULL)
384 *dp = delimiter;
385
386 return line_buffer + point;
387 }
388
389 /* Find the completion word point for TEXT, emulating the algorithm
390 readline uses to find the word point, using WORD_BREAK_CHARACTERS
391 as word break characters. */
392
393 static const char *
394 advance_to_completion_word (completion_tracker &tracker,
395 const char *word_break_characters,
396 const char *text)
397 {
398 gdb_rl_completion_word_info info;
399
400 info.word_break_characters = word_break_characters;
401 info.quote_characters = gdb_completer_quote_characters;
402 info.basic_quote_characters = rl_basic_quote_characters;
403
404 int delimiter;
405 const char *start
406 = gdb_rl_find_completion_word (&info, NULL, &delimiter, text);
407
408 tracker.advance_custom_word_point_by (start - text);
409
410 if (delimiter)
411 {
412 tracker.set_quote_char (delimiter);
413 tracker.set_suppress_append_ws (true);
414 }
415
416 return start;
417 }
418
419 /* See completer.h. */
420
421 const char *
422 advance_to_expression_complete_word_point (completion_tracker &tracker,
423 const char *text)
424 {
425 const char *brk_chars = current_language->word_break_characters ();
426 return advance_to_completion_word (tracker, brk_chars, text);
427 }
428
429 /* See completer.h. */
430
431 const char *
432 advance_to_filename_complete_word_point (completion_tracker &tracker,
433 const char *text)
434 {
435 const char *brk_chars = gdb_completer_file_name_break_characters;
436 return advance_to_completion_word (tracker, brk_chars, text);
437 }
438
439 /* See completer.h. */
440
441 bool
442 completion_tracker::completes_to_completion_word (const char *word)
443 {
444 recompute_lowest_common_denominator ();
445 if (m_lowest_common_denominator_unique)
446 {
447 const char *lcd = m_lowest_common_denominator;
448
449 if (strncmp_iw (word, lcd, strlen (lcd)) == 0)
450 {
451 /* Maybe skip the function and complete on keywords. */
452 size_t wordlen = strlen (word);
453 if (word[wordlen - 1] == ' ')
454 return true;
455 }
456 }
457
458 return false;
459 }
460
461 /* See completer.h. */
462
463 void
464 complete_nested_command_line (completion_tracker &tracker, const char *text)
465 {
466 /* Must be called from a custom-word-point completer. */
467 gdb_assert (tracker.use_custom_word_point ());
468
469 /* Disable the custom word point temporarily, because we want to
470 probe whether the command we're completing itself uses a custom
471 word point. */
472 tracker.set_use_custom_word_point (false);
473 size_t save_custom_word_point = tracker.custom_word_point ();
474
475 int quote_char = '\0';
476 const char *word = completion_find_completion_word (tracker, text,
477 &quote_char);
478
479 if (tracker.use_custom_word_point ())
480 {
481 /* The command we're completing uses a custom word point, so the
482 tracker already contains the matches. We're done. */
483 return;
484 }
485
486 /* Restore the custom word point settings. */
487 tracker.set_custom_word_point (save_custom_word_point);
488 tracker.set_use_custom_word_point (true);
489
490 /* Run the handle_completions completer phase. */
491 complete_line (tracker, word, text, strlen (text));
492 }
493
494 /* Complete on linespecs, which might be of two possible forms:
495
496 file:line
497 or
498 symbol+offset
499
500 This is intended to be used in commands that set breakpoints
501 etc. */
502
503 static void
504 complete_files_symbols (completion_tracker &tracker,
505 const char *text, const char *word)
506 {
507 completion_list fn_list;
508 const char *p;
509 int quote_found = 0;
510 int quoted = *text == '\'' || *text == '"';
511 int quote_char = '\0';
512 const char *colon = NULL;
513 char *file_to_match = NULL;
514 const char *symbol_start = text;
515 const char *orig_text = text;
516
517 /* Do we have an unquoted colon, as in "break foo.c:bar"? */
518 for (p = text; *p != '\0'; ++p)
519 {
520 if (*p == '\\' && p[1] == '\'')
521 p++;
522 else if (*p == '\'' || *p == '"')
523 {
524 quote_found = *p;
525 quote_char = *p++;
526 while (*p != '\0' && *p != quote_found)
527 {
528 if (*p == '\\' && p[1] == quote_found)
529 p++;
530 p++;
531 }
532
533 if (*p == quote_found)
534 quote_found = 0;
535 else
536 break; /* Hit the end of text. */
537 }
538 #if HAVE_DOS_BASED_FILE_SYSTEM
539 /* If we have a DOS-style absolute file name at the beginning of
540 TEXT, and the colon after the drive letter is the only colon
541 we found, pretend the colon is not there. */
542 else if (p < text + 3 && *p == ':' && p == text + 1 + quoted)
543 ;
544 #endif
545 else if (*p == ':' && !colon)
546 {
547 colon = p;
548 symbol_start = p + 1;
549 }
550 else if (strchr (current_language->word_break_characters (), *p))
551 symbol_start = p + 1;
552 }
553
554 if (quoted)
555 text++;
556
557 /* Where is the file name? */
558 if (colon)
559 {
560 char *s;
561
562 file_to_match = (char *) xmalloc (colon - text + 1);
563 strncpy (file_to_match, text, colon - text);
564 file_to_match[colon - text] = '\0';
565 /* Remove trailing colons and quotes from the file name. */
566 for (s = file_to_match + (colon - text);
567 s > file_to_match;
568 s--)
569 if (*s == ':' || *s == quote_char)
570 *s = '\0';
571 }
572 /* If the text includes a colon, they want completion only on a
573 symbol name after the colon. Otherwise, we need to complete on
574 symbols as well as on files. */
575 if (colon)
576 {
577 collect_file_symbol_completion_matches (tracker,
578 complete_symbol_mode::EXPRESSION,
579 symbol_name_match_type::EXPRESSION,
580 symbol_start, word,
581 file_to_match);
582 xfree (file_to_match);
583 }
584 else
585 {
586 size_t text_len = strlen (text);
587
588 collect_symbol_completion_matches (tracker,
589 complete_symbol_mode::EXPRESSION,
590 symbol_name_match_type::EXPRESSION,
591 symbol_start, word);
592 /* If text includes characters which cannot appear in a file
593 name, they cannot be asking for completion on files. */
594 if (strcspn (text,
595 gdb_completer_file_name_break_characters) == text_len)
596 fn_list = make_source_files_completion_list (text, text);
597 }
598
599 if (!fn_list.empty () && !tracker.have_completions ())
600 {
601 /* If we only have file names as possible completion, we should
602 bring them in sync with what rl_complete expects. The
603 problem is that if the user types "break /foo/b TAB", and the
604 possible completions are "/foo/bar" and "/foo/baz"
605 rl_complete expects us to return "bar" and "baz", without the
606 leading directories, as possible completions, because `word'
607 starts at the "b". But we ignore the value of `word' when we
608 call make_source_files_completion_list above (because that
609 would not DTRT when the completion results in both symbols
610 and file names), so make_source_files_completion_list returns
611 the full "/foo/bar" and "/foo/baz" strings. This produces
612 wrong results when, e.g., there's only one possible
613 completion, because rl_complete will prepend "/foo/" to each
614 candidate completion. The loop below removes that leading
615 part. */
616 for (const auto &fn_up: fn_list)
617 {
618 char *fn = fn_up.get ();
619 memmove (fn, fn + (word - text), strlen (fn) + 1 - (word - text));
620 }
621 }
622
623 tracker.add_completions (std::move (fn_list));
624
625 if (!tracker.have_completions ())
626 {
627 /* No completions at all. As the final resort, try completing
628 on the entire text as a symbol. */
629 collect_symbol_completion_matches (tracker,
630 complete_symbol_mode::EXPRESSION,
631 symbol_name_match_type::EXPRESSION,
632 orig_text, word);
633 }
634 }
635
636 /* See completer.h. */
637
638 completion_list
639 complete_source_filenames (const char *text)
640 {
641 size_t text_len = strlen (text);
642
643 /* If text includes characters which cannot appear in a file name,
644 the user cannot be asking for completion on files. */
645 if (strcspn (text,
646 gdb_completer_file_name_break_characters)
647 == text_len)
648 return make_source_files_completion_list (text, text);
649
650 return {};
651 }
652
653 /* Complete address and linespec locations. */
654
655 static void
656 complete_address_and_linespec_locations (completion_tracker &tracker,
657 const char *text,
658 symbol_name_match_type match_type)
659 {
660 if (*text == '*')
661 {
662 tracker.advance_custom_word_point_by (1);
663 text++;
664 const char *word
665 = advance_to_expression_complete_word_point (tracker, text);
666 complete_expression (tracker, text, word);
667 }
668 else
669 {
670 linespec_complete (tracker, text, match_type);
671 }
672 }
673
674 /* The explicit location options. Note that indexes into this array
675 must match the explicit_location_match_type enumerators. */
676
677 static const char *const explicit_options[] =
678 {
679 "-source",
680 "-function",
681 "-qualified",
682 "-line",
683 "-label",
684 NULL
685 };
686
687 /* The probe modifier options. These can appear before a location in
688 breakpoint commands. */
689 static const char *const probe_options[] =
690 {
691 "-probe",
692 "-probe-stap",
693 "-probe-dtrace",
694 NULL
695 };
696
697 /* Returns STRING if not NULL, the empty string otherwise. */
698
699 static const char *
700 string_or_empty (const char *string)
701 {
702 return string != NULL ? string : "";
703 }
704
705 /* A helper function to collect explicit location matches for the given
706 LOCATION, which is attempting to match on WORD. */
707
708 static void
709 collect_explicit_location_matches (completion_tracker &tracker,
710 location_spec *locspec,
711 enum explicit_location_match_type what,
712 const char *word,
713 const struct language_defn *language)
714 {
715 const explicit_location_spec *explicit_loc
716 = as_explicit_location_spec (locspec);
717
718 /* True if the option expects an argument. */
719 bool needs_arg = true;
720
721 /* Note, in the various MATCH_* below, we complete on
722 explicit_loc->foo instead of WORD, because only the former will
723 have already skipped past any quote char. */
724 switch (what)
725 {
726 case MATCH_SOURCE:
727 {
728 const char *source = string_or_empty (explicit_loc->source_filename);
729 completion_list matches
730 = make_source_files_completion_list (source, source);
731 tracker.add_completions (std::move (matches));
732 }
733 break;
734
735 case MATCH_FUNCTION:
736 {
737 const char *function = string_or_empty (explicit_loc->function_name);
738 linespec_complete_function (tracker, function,
739 explicit_loc->func_name_match_type,
740 explicit_loc->source_filename);
741 }
742 break;
743
744 case MATCH_QUALIFIED:
745 needs_arg = false;
746 break;
747 case MATCH_LINE:
748 /* Nothing to offer. */
749 break;
750
751 case MATCH_LABEL:
752 {
753 const char *label = string_or_empty (explicit_loc->label_name);
754 linespec_complete_label (tracker, language,
755 explicit_loc->source_filename,
756 explicit_loc->function_name,
757 explicit_loc->func_name_match_type,
758 label);
759 }
760 break;
761
762 default:
763 gdb_assert_not_reached ("unhandled explicit_location_match_type");
764 }
765
766 if (!needs_arg || tracker.completes_to_completion_word (word))
767 {
768 tracker.discard_completions ();
769 tracker.advance_custom_word_point_by (strlen (word));
770 complete_on_enum (tracker, explicit_options, "", "");
771 complete_on_enum (tracker, linespec_keywords, "", "");
772 }
773 else if (!tracker.have_completions ())
774 {
775 /* Maybe we have an unterminated linespec keyword at the tail of
776 the string. Try completing on that. */
777 size_t wordlen = strlen (word);
778 const char *keyword = word + wordlen;
779
780 if (wordlen > 0 && keyword[-1] != ' ')
781 {
782 while (keyword > word && *keyword != ' ')
783 keyword--;
784 /* Don't complete on keywords if we'd be completing on the
785 whole explicit linespec option. E.g., "b -function
786 thr<tab>" should not complete to the "thread"
787 keyword. */
788 if (keyword != word)
789 {
790 keyword = skip_spaces (keyword);
791
792 tracker.advance_custom_word_point_by (keyword - word);
793 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
794 }
795 }
796 else if (wordlen > 0 && keyword[-1] == ' ')
797 {
798 /* Assume that we're maybe past the explicit location
799 argument, and we didn't manage to find any match because
800 the user wants to create a pending breakpoint. Offer the
801 keyword and explicit location options as possible
802 completions. */
803 tracker.advance_custom_word_point_by (keyword - word);
804 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
805 complete_on_enum (tracker, explicit_options, keyword, keyword);
806 }
807 }
808 }
809
810 /* If the next word in *TEXT_P is any of the keywords in KEYWORDS,
811 then advance both TEXT_P and the word point in the tracker past the
812 keyword and return the (0-based) index in the KEYWORDS array that
813 matched. Otherwise, return -1. */
814
815 static int
816 skip_keyword (completion_tracker &tracker,
817 const char * const *keywords, const char **text_p)
818 {
819 const char *text = *text_p;
820 const char *after = skip_to_space (text);
821 size_t len = after - text;
822
823 if (text[len] != ' ')
824 return -1;
825
826 int found = -1;
827 for (int i = 0; keywords[i] != NULL; i++)
828 {
829 if (strncmp (keywords[i], text, len) == 0)
830 {
831 if (found == -1)
832 found = i;
833 else
834 return -1;
835 }
836 }
837
838 if (found != -1)
839 {
840 tracker.advance_custom_word_point_by (len + 1);
841 text += len + 1;
842 *text_p = text;
843 return found;
844 }
845
846 return -1;
847 }
848
849 /* A completer function for explicit location specs. This function
850 completes both options ("-source", "-line", etc) and values. If
851 completing a quoted string, then QUOTED_ARG_START and
852 QUOTED_ARG_END point to the quote characters. LANGUAGE is the
853 current language. */
854
855 static void
856 complete_explicit_location_spec (completion_tracker &tracker,
857 location_spec *locspec,
858 const char *text,
859 const language_defn *language,
860 const char *quoted_arg_start,
861 const char *quoted_arg_end)
862 {
863 if (*text != '-')
864 return;
865
866 int keyword = skip_keyword (tracker, explicit_options, &text);
867
868 if (keyword == -1)
869 {
870 complete_on_enum (tracker, explicit_options, text, text);
871 /* There are keywords that start with "-". Include them, too. */
872 complete_on_enum (tracker, linespec_keywords, text, text);
873 }
874 else
875 {
876 /* Completing on value. */
877 enum explicit_location_match_type what
878 = (explicit_location_match_type) keyword;
879
880 if (quoted_arg_start != NULL && quoted_arg_end != NULL)
881 {
882 if (quoted_arg_end[1] == '\0')
883 {
884 /* If completing a quoted string with the cursor right
885 at the terminating quote char, complete the
886 completion word without interpretation, so that
887 readline advances the cursor one whitespace past the
888 quote, even if there's no match. This makes these
889 cases behave the same:
890
891 before: "b -function function()"
892 after: "b -function function() "
893
894 before: "b -function 'function()'"
895 after: "b -function 'function()' "
896
897 and trusts the user in this case:
898
899 before: "b -function 'not_loaded_function_yet()'"
900 after: "b -function 'not_loaded_function_yet()' "
901 */
902 tracker.add_completion (make_unique_xstrdup (text));
903 }
904 else if (quoted_arg_end[1] == ' ')
905 {
906 /* We're maybe past the explicit location argument.
907 Skip the argument without interpretation, assuming the
908 user may want to create pending breakpoint. Offer
909 the keyword and explicit location options as possible
910 completions. */
911 tracker.advance_custom_word_point_by (strlen (text));
912 complete_on_enum (tracker, linespec_keywords, "", "");
913 complete_on_enum (tracker, explicit_options, "", "");
914 }
915 return;
916 }
917
918 /* Now gather matches */
919 collect_explicit_location_matches (tracker, locspec, what, text,
920 language);
921 }
922 }
923
924 /* A completer for locations. */
925
926 void
927 location_completer (struct cmd_list_element *ignore,
928 completion_tracker &tracker,
929 const char *text, const char * /* word */)
930 {
931 int found_probe_option = -1;
932
933 /* If we have a probe modifier, skip it. This can only appear as
934 first argument. Until we have a specific completer for probes,
935 falling back to the linespec completer for the remainder of the
936 line is better than nothing. */
937 if (text[0] == '-' && text[1] == 'p')
938 found_probe_option = skip_keyword (tracker, probe_options, &text);
939
940 const char *option_text = text;
941 int saved_word_point = tracker.custom_word_point ();
942
943 const char *copy = text;
944
945 explicit_completion_info completion_info;
946 location_spec_up locspec
947 = string_to_explicit_location_spec (&copy, current_language,
948 &completion_info);
949 if (completion_info.quoted_arg_start != NULL
950 && completion_info.quoted_arg_end == NULL)
951 {
952 /* Found an unbalanced quote. */
953 tracker.set_quote_char (*completion_info.quoted_arg_start);
954 tracker.advance_custom_word_point_by (1);
955 }
956
957 if (completion_info.saw_explicit_location_spec_option)
958 {
959 if (*copy != '\0')
960 {
961 tracker.advance_custom_word_point_by (copy - text);
962 text = copy;
963
964 /* We found a terminator at the tail end of the string,
965 which means we're past the explicit location options. We
966 may have a keyword to complete on. If we have a whole
967 keyword, then complete whatever comes after as an
968 expression. This is mainly for the "if" keyword. If the
969 "thread" and "task" keywords gain their own completers,
970 they should be used here. */
971 int keyword = skip_keyword (tracker, linespec_keywords, &text);
972
973 if (keyword == -1)
974 {
975 complete_on_enum (tracker, linespec_keywords, text, text);
976 }
977 else
978 {
979 const char *word
980 = advance_to_expression_complete_word_point (tracker, text);
981 complete_expression (tracker, text, word);
982 }
983 }
984 else
985 {
986 tracker.advance_custom_word_point_by (completion_info.last_option
987 - text);
988 text = completion_info.last_option;
989
990 complete_explicit_location_spec (tracker, locspec.get (), text,
991 current_language,
992 completion_info.quoted_arg_start,
993 completion_info.quoted_arg_end);
994
995 }
996 }
997 /* This is an address or linespec location. */
998 else if (locspec != nullptr)
999 {
1000 /* Handle non-explicit location options. */
1001
1002 int keyword = skip_keyword (tracker, explicit_options, &text);
1003 if (keyword == -1)
1004 complete_on_enum (tracker, explicit_options, text, text);
1005 else
1006 {
1007 tracker.advance_custom_word_point_by (copy - text);
1008 text = copy;
1009
1010 symbol_name_match_type match_type
1011 = as_explicit_location_spec (locspec.get ())->func_name_match_type;
1012 complete_address_and_linespec_locations (tracker, text, match_type);
1013 }
1014 }
1015 else
1016 {
1017 /* No options. */
1018 complete_address_and_linespec_locations (tracker, text,
1019 symbol_name_match_type::WILD);
1020 }
1021
1022 /* Add matches for option names, if either:
1023
1024 - Some completer above found some matches, but the word point did
1025 not advance (e.g., "b <tab>" finds all functions, or "b -<tab>"
1026 matches all objc selectors), or;
1027
1028 - Some completer above advanced the word point, but found no
1029 matches.
1030 */
1031 if ((text[0] == '-' || text[0] == '\0')
1032 && (!tracker.have_completions ()
1033 || tracker.custom_word_point () == saved_word_point))
1034 {
1035 tracker.set_custom_word_point (saved_word_point);
1036 text = option_text;
1037
1038 if (found_probe_option == -1)
1039 complete_on_enum (tracker, probe_options, text, text);
1040 complete_on_enum (tracker, explicit_options, text, text);
1041 }
1042 }
1043
1044 /* The corresponding completer_handle_brkchars
1045 implementation. */
1046
1047 static void
1048 location_completer_handle_brkchars (struct cmd_list_element *ignore,
1049 completion_tracker &tracker,
1050 const char *text,
1051 const char *word_ignored)
1052 {
1053 tracker.set_use_custom_word_point (true);
1054
1055 location_completer (ignore, tracker, text, NULL);
1056 }
1057
1058 /* See completer.h. */
1059
1060 void
1061 complete_expression (completion_tracker &tracker,
1062 const char *text, const char *word)
1063 {
1064 expression_up exp;
1065 std::unique_ptr<expr_completion_base> expr_completer;
1066
1067 /* Perform a tentative parse of the expression, to see whether a
1068 field completion is required. */
1069 try
1070 {
1071 exp = parse_expression_for_completion (text, &expr_completer);
1072 }
1073 catch (const gdb_exception_error &except)
1074 {
1075 return;
1076 }
1077
1078 /* Part of the parse_expression_for_completion contract. */
1079 gdb_assert ((exp == nullptr) == (expr_completer == nullptr));
1080 if (expr_completer != nullptr
1081 && expr_completer->complete (exp.get (), tracker))
1082 return;
1083
1084 complete_files_symbols (tracker, text, word);
1085 }
1086
1087 /* Complete on expressions. Often this means completing on symbol
1088 names, but some language parsers also have support for completing
1089 field names. */
1090
1091 void
1092 expression_completer (struct cmd_list_element *ignore,
1093 completion_tracker &tracker,
1094 const char *text, const char *word)
1095 {
1096 complete_expression (tracker, text, word);
1097 }
1098
1099 /* See definition in completer.h. */
1100
1101 void
1102 set_rl_completer_word_break_characters (const char *break_chars)
1103 {
1104 rl_completer_word_break_characters = (char *) break_chars;
1105 }
1106
1107 /* Complete on symbols. */
1108
1109 void
1110 symbol_completer (struct cmd_list_element *ignore,
1111 completion_tracker &tracker,
1112 const char *text, const char *word)
1113 {
1114 collect_symbol_completion_matches (tracker, complete_symbol_mode::EXPRESSION,
1115 symbol_name_match_type::EXPRESSION,
1116 text, word);
1117 }
1118
1119 /* Here are some useful test cases for completion. FIXME: These
1120 should be put in the test suite. They should be tested with both
1121 M-? and TAB.
1122
1123 "show output-" "radix"
1124 "show output" "-radix"
1125 "p" ambiguous (commands starting with p--path, print, printf, etc.)
1126 "p " ambiguous (all symbols)
1127 "info t foo" no completions
1128 "info t " no completions
1129 "info t" ambiguous ("info target", "info terminal", etc.)
1130 "info ajksdlfk" no completions
1131 "info ajksdlfk " no completions
1132 "info" " "
1133 "info " ambiguous (all info commands)
1134 "p \"a" no completions (string constant)
1135 "p 'a" ambiguous (all symbols starting with a)
1136 "p b-a" ambiguous (all symbols starting with a)
1137 "p b-" ambiguous (all symbols)
1138 "file Make" "file" (word break hard to screw up here)
1139 "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
1140 */
1141
1142 enum complete_line_internal_reason
1143 {
1144 /* Preliminary phase, called by gdb_completion_word_break_characters
1145 function, is used to either:
1146
1147 #1 - Determine the set of chars that are word delimiters
1148 depending on the current command in line_buffer.
1149
1150 #2 - Manually advance RL_POINT to the "word break" point instead
1151 of letting readline do it (based on too-simple character
1152 matching).
1153
1154 Simpler completers that just pass a brkchars array to readline
1155 (#1 above) must defer generating the completions to the main
1156 phase (below). No completion list should be generated in this
1157 phase.
1158
1159 OTOH, completers that manually advance the word point(#2 above)
1160 must set "use_custom_word_point" in the tracker and generate
1161 their completion in this phase. Note that this is the convenient
1162 thing to do since they'll be parsing the input line anyway. */
1163 handle_brkchars,
1164
1165 /* Main phase, called by complete_line function, is used to get the
1166 list of possible completions. */
1167 handle_completions,
1168
1169 /* Special case when completing a 'help' command. In this case,
1170 once sub-command completions are exhausted, we simply return
1171 NULL. */
1172 handle_help,
1173 };
1174
1175 /* Helper for complete_line_internal to simplify it. */
1176
1177 static void
1178 complete_line_internal_normal_command (completion_tracker &tracker,
1179 const char *command, const char *word,
1180 const char *cmd_args,
1181 complete_line_internal_reason reason,
1182 struct cmd_list_element *c)
1183 {
1184 const char *p = cmd_args;
1185
1186 if (c->completer == filename_completer)
1187 {
1188 /* Many commands which want to complete on file names accept
1189 several file names, as in "run foo bar >>baz". So we don't
1190 want to complete the entire text after the command, just the
1191 last word. To this end, we need to find the beginning of the
1192 file name by starting at `word' and going backwards. */
1193 for (p = word;
1194 p > command
1195 && strchr (gdb_completer_file_name_break_characters,
1196 p[-1]) == NULL;
1197 p--)
1198 ;
1199 }
1200
1201 if (reason == handle_brkchars)
1202 {
1203 completer_handle_brkchars_ftype *brkchars_fn;
1204
1205 if (c->completer_handle_brkchars != NULL)
1206 brkchars_fn = c->completer_handle_brkchars;
1207 else
1208 {
1209 brkchars_fn
1210 = (completer_handle_brkchars_func_for_completer
1211 (c->completer));
1212 }
1213
1214 brkchars_fn (c, tracker, p, word);
1215 }
1216
1217 if (reason != handle_brkchars && c->completer != NULL)
1218 (*c->completer) (c, tracker, p, word);
1219 }
1220
1221 /* Internal function used to handle completions.
1222
1223
1224 TEXT is the caller's idea of the "word" we are looking at.
1225
1226 LINE_BUFFER is available to be looked at; it contains the entire
1227 text of the line. POINT is the offset in that line of the cursor.
1228 You should pretend that the line ends at POINT.
1229
1230 See complete_line_internal_reason for description of REASON. */
1231
1232 static void
1233 complete_line_internal_1 (completion_tracker &tracker,
1234 const char *text,
1235 const char *line_buffer, int point,
1236 complete_line_internal_reason reason)
1237 {
1238 char *tmp_command;
1239 const char *p;
1240 int ignore_help_classes;
1241 /* Pointer within tmp_command which corresponds to text. */
1242 const char *word;
1243 struct cmd_list_element *c, *result_list;
1244
1245 /* Choose the default set of word break characters to break
1246 completions. If we later find out that we are doing completions
1247 on command strings (as opposed to strings supplied by the
1248 individual command completer functions, which can be any string)
1249 then we will switch to the special word break set for command
1250 strings, which leaves out the '-' and '.' character used in some
1251 commands. */
1252 set_rl_completer_word_break_characters
1253 (current_language->word_break_characters ());
1254
1255 /* Decide whether to complete on a list of gdb commands or on
1256 symbols. */
1257 tmp_command = (char *) alloca (point + 1);
1258 p = tmp_command;
1259
1260 /* The help command should complete help aliases. */
1261 ignore_help_classes = reason != handle_help;
1262
1263 strncpy (tmp_command, line_buffer, point);
1264 tmp_command[point] = '\0';
1265 if (reason == handle_brkchars)
1266 {
1267 gdb_assert (text == NULL);
1268 word = NULL;
1269 }
1270 else
1271 {
1272 /* Since text always contains some number of characters leading up
1273 to point, we can find the equivalent position in tmp_command
1274 by subtracting that many characters from the end of tmp_command. */
1275 word = tmp_command + point - strlen (text);
1276 }
1277
1278 /* Move P up to the start of the command. */
1279 p = skip_spaces (p);
1280
1281 if (*p == '\0')
1282 {
1283 /* An empty line is ambiguous; that is, it could be any
1284 command. */
1285 c = CMD_LIST_AMBIGUOUS;
1286 result_list = 0;
1287 }
1288 else
1289 c = lookup_cmd_1 (&p, cmdlist, &result_list, NULL, ignore_help_classes,
1290 true);
1291
1292 /* Move p up to the next interesting thing. */
1293 while (*p == ' ' || *p == '\t')
1294 {
1295 p++;
1296 }
1297
1298 tracker.advance_custom_word_point_by (p - tmp_command);
1299
1300 if (!c)
1301 {
1302 /* It is an unrecognized command. So there are no
1303 possible completions. */
1304 }
1305 else if (c == CMD_LIST_AMBIGUOUS)
1306 {
1307 const char *q;
1308
1309 /* lookup_cmd_1 advances p up to the first ambiguous thing, but
1310 doesn't advance over that thing itself. Do so now. */
1311 q = p;
1312 while (valid_cmd_char_p (*q))
1313 ++q;
1314 if (q != tmp_command + point)
1315 {
1316 /* There is something beyond the ambiguous
1317 command, so there are no possible completions. For
1318 example, "info t " or "info t foo" does not complete
1319 to anything, because "info t" can be "info target" or
1320 "info terminal". */
1321 }
1322 else
1323 {
1324 /* We're trying to complete on the command which was ambiguous.
1325 This we can deal with. */
1326 if (result_list)
1327 {
1328 if (reason != handle_brkchars)
1329 complete_on_cmdlist (*result_list->subcommands, tracker, p,
1330 word, ignore_help_classes);
1331 }
1332 else
1333 {
1334 if (reason != handle_brkchars)
1335 complete_on_cmdlist (cmdlist, tracker, p, word,
1336 ignore_help_classes);
1337 }
1338 /* Ensure that readline does the right thing with respect to
1339 inserting quotes. */
1340 set_rl_completer_word_break_characters
1341 (gdb_completer_command_word_break_characters);
1342 }
1343 }
1344 else
1345 {
1346 /* We've recognized a full command. */
1347
1348 if (p == tmp_command + point)
1349 {
1350 /* There is no non-whitespace in the line beyond the
1351 command. */
1352
1353 if (p[-1] == ' ' || p[-1] == '\t')
1354 {
1355 /* The command is followed by whitespace; we need to
1356 complete on whatever comes after command. */
1357 if (c->is_prefix ())
1358 {
1359 /* It is a prefix command; what comes after it is
1360 a subcommand (e.g. "info "). */
1361 if (reason != handle_brkchars)
1362 complete_on_cmdlist (*c->subcommands, tracker, p, word,
1363 ignore_help_classes);
1364
1365 /* Ensure that readline does the right thing
1366 with respect to inserting quotes. */
1367 set_rl_completer_word_break_characters
1368 (gdb_completer_command_word_break_characters);
1369 }
1370 else if (reason == handle_help)
1371 ;
1372 else if (c->enums)
1373 {
1374 if (reason != handle_brkchars)
1375 complete_on_enum (tracker, c->enums, p, word);
1376 set_rl_completer_word_break_characters
1377 (gdb_completer_command_word_break_characters);
1378 }
1379 else
1380 {
1381 /* It is a normal command; what comes after it is
1382 completed by the command's completer function. */
1383 complete_line_internal_normal_command (tracker,
1384 tmp_command, word, p,
1385 reason, c);
1386 }
1387 }
1388 else
1389 {
1390 /* The command is not followed by whitespace; we need to
1391 complete on the command itself, e.g. "p" which is a
1392 command itself but also can complete to "print", "ptype"
1393 etc. */
1394 const char *q;
1395
1396 /* Find the command we are completing on. */
1397 q = p;
1398 while (q > tmp_command)
1399 {
1400 if (valid_cmd_char_p (q[-1]))
1401 --q;
1402 else
1403 break;
1404 }
1405
1406 /* Move the custom word point back too. */
1407 tracker.advance_custom_word_point_by (q - p);
1408
1409 if (reason != handle_brkchars)
1410 complete_on_cmdlist (result_list, tracker, q, word,
1411 ignore_help_classes);
1412
1413 /* Ensure that readline does the right thing
1414 with respect to inserting quotes. */
1415 set_rl_completer_word_break_characters
1416 (gdb_completer_command_word_break_characters);
1417 }
1418 }
1419 else if (reason == handle_help)
1420 ;
1421 else
1422 {
1423 /* There is non-whitespace beyond the command. */
1424
1425 if (c->is_prefix () && !c->allow_unknown)
1426 {
1427 /* It is an unrecognized subcommand of a prefix command,
1428 e.g. "info adsfkdj". */
1429 }
1430 else if (c->enums)
1431 {
1432 if (reason != handle_brkchars)
1433 complete_on_enum (tracker, c->enums, p, word);
1434 }
1435 else
1436 {
1437 /* It is a normal command. */
1438 complete_line_internal_normal_command (tracker,
1439 tmp_command, word, p,
1440 reason, c);
1441 }
1442 }
1443 }
1444 }
1445
1446 /* Wrapper around complete_line_internal_1 to handle
1447 MAX_COMPLETIONS_REACHED_ERROR. */
1448
1449 static void
1450 complete_line_internal (completion_tracker &tracker,
1451 const char *text,
1452 const char *line_buffer, int point,
1453 complete_line_internal_reason reason)
1454 {
1455 try
1456 {
1457 complete_line_internal_1 (tracker, text, line_buffer, point, reason);
1458 }
1459 catch (const gdb_exception_error &except)
1460 {
1461 if (except.error != MAX_COMPLETIONS_REACHED_ERROR)
1462 throw;
1463 }
1464 }
1465
1466 /* See completer.h. */
1467
1468 int max_completions = 200;
1469
1470 /* Initial size of the table. It automagically grows from here. */
1471 #define INITIAL_COMPLETION_HTAB_SIZE 200
1472
1473 /* See completer.h. */
1474
1475 completion_tracker::completion_tracker ()
1476 {
1477 discard_completions ();
1478 }
1479
1480 /* See completer.h. */
1481
1482 void
1483 completion_tracker::discard_completions ()
1484 {
1485 xfree (m_lowest_common_denominator);
1486 m_lowest_common_denominator = NULL;
1487
1488 m_lowest_common_denominator_unique = false;
1489 m_lowest_common_denominator_valid = false;
1490
1491 m_entries_hash.reset (nullptr);
1492
1493 /* A callback used by the hash table to compare new entries with existing
1494 entries. We can't use the standard htab_eq_string function here as the
1495 key to our hash is just a single string, while the values we store in
1496 the hash are a struct containing multiple strings. */
1497 static auto entry_eq_func
1498 = [] (const void *first, const void *second) -> int
1499 {
1500 /* The FIRST argument is the entry already in the hash table, and
1501 the SECOND argument is the new item being inserted. */
1502 const completion_hash_entry *entry
1503 = (const completion_hash_entry *) first;
1504 const char *name_str = (const char *) second;
1505
1506 return entry->is_name_eq (name_str);
1507 };
1508
1509 /* Callback used by the hash table to compute the hash value for an
1510 existing entry. This is needed when expanding the hash table. */
1511 static auto entry_hash_func
1512 = [] (const void *arg) -> hashval_t
1513 {
1514 const completion_hash_entry *entry
1515 = (const completion_hash_entry *) arg;
1516 return entry->hash_name ();
1517 };
1518
1519 m_entries_hash.reset
1520 (htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1521 entry_hash_func, entry_eq_func,
1522 htab_delete_entry<completion_hash_entry>,
1523 xcalloc, xfree));
1524 }
1525
1526 /* See completer.h. */
1527
1528 completion_tracker::~completion_tracker ()
1529 {
1530 xfree (m_lowest_common_denominator);
1531 }
1532
1533 /* See completer.h. */
1534
1535 bool
1536 completion_tracker::maybe_add_completion
1537 (gdb::unique_xmalloc_ptr<char> name,
1538 completion_match_for_lcd *match_for_lcd,
1539 const char *text, const char *word)
1540 {
1541 void **slot;
1542
1543 if (max_completions == 0)
1544 return false;
1545
1546 if (htab_elements (m_entries_hash.get ()) >= max_completions)
1547 return false;
1548
1549 hashval_t hash = htab_hash_string (name.get ());
1550 slot = htab_find_slot_with_hash (m_entries_hash.get (), name.get (),
1551 hash, INSERT);
1552 if (*slot == HTAB_EMPTY_ENTRY)
1553 {
1554 const char *match_for_lcd_str = NULL;
1555
1556 if (match_for_lcd != NULL)
1557 match_for_lcd_str = match_for_lcd->finish ();
1558
1559 if (match_for_lcd_str == NULL)
1560 match_for_lcd_str = name.get ();
1561
1562 gdb::unique_xmalloc_ptr<char> lcd
1563 = make_completion_match_str (match_for_lcd_str, text, word);
1564
1565 size_t lcd_len = strlen (lcd.get ());
1566 *slot = new completion_hash_entry (std::move (name), std::move (lcd));
1567
1568 m_lowest_common_denominator_valid = false;
1569 m_lowest_common_denominator_max_length
1570 = std::max (m_lowest_common_denominator_max_length, lcd_len);
1571 }
1572
1573 return true;
1574 }
1575
1576 /* See completer.h. */
1577
1578 void
1579 completion_tracker::add_completion (gdb::unique_xmalloc_ptr<char> name,
1580 completion_match_for_lcd *match_for_lcd,
1581 const char *text, const char *word)
1582 {
1583 if (!maybe_add_completion (std::move (name), match_for_lcd, text, word))
1584 throw_error (MAX_COMPLETIONS_REACHED_ERROR, _("Max completions reached."));
1585 }
1586
1587 /* See completer.h. */
1588
1589 void
1590 completion_tracker::add_completions (completion_list &&list)
1591 {
1592 for (auto &candidate : list)
1593 add_completion (std::move (candidate));
1594 }
1595
1596 /* See completer.h. */
1597
1598 void
1599 completion_tracker::remove_completion (const char *name)
1600 {
1601 hashval_t hash = htab_hash_string (name);
1602 if (htab_find_slot_with_hash (m_entries_hash.get (), name, hash, NO_INSERT)
1603 != NULL)
1604 {
1605 htab_remove_elt_with_hash (m_entries_hash.get (), name, hash);
1606 m_lowest_common_denominator_valid = false;
1607 }
1608 }
1609
1610 /* Helper for the make_completion_match_str overloads. Returns NULL
1611 as an indication that we want MATCH_NAME exactly. It is up to the
1612 caller to xstrdup that string if desired. */
1613
1614 static char *
1615 make_completion_match_str_1 (const char *match_name,
1616 const char *text, const char *word)
1617 {
1618 char *newobj;
1619
1620 if (word == text)
1621 {
1622 /* Return NULL as an indication that we want MATCH_NAME
1623 exactly. */
1624 return NULL;
1625 }
1626 else if (word > text)
1627 {
1628 /* Return some portion of MATCH_NAME. */
1629 newobj = xstrdup (match_name + (word - text));
1630 }
1631 else
1632 {
1633 /* Return some of WORD plus MATCH_NAME. */
1634 size_t len = strlen (match_name);
1635 newobj = (char *) xmalloc (text - word + len + 1);
1636 memcpy (newobj, word, text - word);
1637 memcpy (newobj + (text - word), match_name, len + 1);
1638 }
1639
1640 return newobj;
1641 }
1642
1643 /* See completer.h. */
1644
1645 gdb::unique_xmalloc_ptr<char>
1646 make_completion_match_str (const char *match_name,
1647 const char *text, const char *word)
1648 {
1649 char *newobj = make_completion_match_str_1 (match_name, text, word);
1650 if (newobj == NULL)
1651 newobj = xstrdup (match_name);
1652 return gdb::unique_xmalloc_ptr<char> (newobj);
1653 }
1654
1655 /* See completer.h. */
1656
1657 gdb::unique_xmalloc_ptr<char>
1658 make_completion_match_str (gdb::unique_xmalloc_ptr<char> &&match_name,
1659 const char *text, const char *word)
1660 {
1661 char *newobj = make_completion_match_str_1 (match_name.get (), text, word);
1662 if (newobj == NULL)
1663 return std::move (match_name);
1664 return gdb::unique_xmalloc_ptr<char> (newobj);
1665 }
1666
1667 /* See complete.h. */
1668
1669 completion_result
1670 complete (const char *line, char const **word, int *quote_char)
1671 {
1672 completion_tracker tracker_handle_brkchars;
1673 completion_tracker tracker_handle_completions;
1674 completion_tracker *tracker;
1675
1676 /* The WORD should be set to the end of word to complete. We initialize
1677 to the completion point which is assumed to be at the end of LINE.
1678 This leaves WORD to be initialized to a sensible value in cases
1679 completion_find_completion_word() fails i.e., throws an exception.
1680 See bug 24587. */
1681 *word = line + strlen (line);
1682
1683 try
1684 {
1685 *word = completion_find_completion_word (tracker_handle_brkchars,
1686 line, quote_char);
1687
1688 /* Completers that provide a custom word point in the
1689 handle_brkchars phase also compute their completions then.
1690 Completers that leave the completion word handling to readline
1691 must be called twice. */
1692 if (tracker_handle_brkchars.use_custom_word_point ())
1693 tracker = &tracker_handle_brkchars;
1694 else
1695 {
1696 complete_line (tracker_handle_completions, *word, line, strlen (line));
1697 tracker = &tracker_handle_completions;
1698 }
1699 }
1700 catch (const gdb_exception &ex)
1701 {
1702 return {};
1703 }
1704
1705 return tracker->build_completion_result (*word, *word - line, strlen (line));
1706 }
1707
1708
1709 /* Generate completions all at once. Does nothing if max_completions
1710 is 0. If max_completions is non-negative, this will collect at
1711 most max_completions strings.
1712
1713 TEXT is the caller's idea of the "word" we are looking at.
1714
1715 LINE_BUFFER is available to be looked at; it contains the entire
1716 text of the line.
1717
1718 POINT is the offset in that line of the cursor. You
1719 should pretend that the line ends at POINT. */
1720
1721 void
1722 complete_line (completion_tracker &tracker,
1723 const char *text, const char *line_buffer, int point)
1724 {
1725 if (max_completions == 0)
1726 return;
1727 complete_line_internal (tracker, text, line_buffer, point,
1728 handle_completions);
1729 }
1730
1731 /* Complete on command names. Used by "help". */
1732
1733 void
1734 command_completer (struct cmd_list_element *ignore,
1735 completion_tracker &tracker,
1736 const char *text, const char *word)
1737 {
1738 complete_line_internal (tracker, word, text,
1739 strlen (text), handle_help);
1740 }
1741
1742 /* The corresponding completer_handle_brkchars implementation. */
1743
1744 static void
1745 command_completer_handle_brkchars (struct cmd_list_element *ignore,
1746 completion_tracker &tracker,
1747 const char *text, const char *word)
1748 {
1749 set_rl_completer_word_break_characters
1750 (gdb_completer_command_word_break_characters);
1751 }
1752
1753 /* Complete on signals. */
1754
1755 void
1756 signal_completer (struct cmd_list_element *ignore,
1757 completion_tracker &tracker,
1758 const char *text, const char *word)
1759 {
1760 size_t len = strlen (word);
1761 int signum;
1762 const char *signame;
1763
1764 for (signum = GDB_SIGNAL_FIRST; signum != GDB_SIGNAL_LAST; ++signum)
1765 {
1766 /* Can't handle this, so skip it. */
1767 if (signum == GDB_SIGNAL_0)
1768 continue;
1769
1770 signame = gdb_signal_to_name ((enum gdb_signal) signum);
1771
1772 /* Ignore the unknown signal case. */
1773 if (!signame || strcmp (signame, "?") == 0)
1774 continue;
1775
1776 if (strncasecmp (signame, word, len) == 0)
1777 tracker.add_completion (make_unique_xstrdup (signame));
1778 }
1779 }
1780
1781 /* Bit-flags for selecting what the register and/or register-group
1782 completer should complete on. */
1783
1784 enum reg_completer_target
1785 {
1786 complete_register_names = 0x1,
1787 complete_reggroup_names = 0x2
1788 };
1789 DEF_ENUM_FLAGS_TYPE (enum reg_completer_target, reg_completer_targets);
1790
1791 /* Complete register names and/or reggroup names based on the value passed
1792 in TARGETS. At least one bit in TARGETS must be set. */
1793
1794 static void
1795 reg_or_group_completer_1 (completion_tracker &tracker,
1796 const char *text, const char *word,
1797 reg_completer_targets targets)
1798 {
1799 size_t len = strlen (word);
1800 struct gdbarch *gdbarch;
1801 const char *name;
1802
1803 gdb_assert ((targets & (complete_register_names
1804 | complete_reggroup_names)) != 0);
1805 gdbarch = get_current_arch ();
1806
1807 if ((targets & complete_register_names) != 0)
1808 {
1809 int i;
1810
1811 for (i = 0;
1812 (name = user_reg_map_regnum_to_name (gdbarch, i)) != NULL;
1813 i++)
1814 {
1815 if (*name != '\0' && strncmp (word, name, len) == 0)
1816 tracker.add_completion (make_unique_xstrdup (name));
1817 }
1818 }
1819
1820 if ((targets & complete_reggroup_names) != 0)
1821 {
1822 for (const struct reggroup *group : gdbarch_reggroups (gdbarch))
1823 {
1824 name = group->name ();
1825 if (strncmp (word, name, len) == 0)
1826 tracker.add_completion (make_unique_xstrdup (name));
1827 }
1828 }
1829 }
1830
1831 /* Perform completion on register and reggroup names. */
1832
1833 void
1834 reg_or_group_completer (struct cmd_list_element *ignore,
1835 completion_tracker &tracker,
1836 const char *text, const char *word)
1837 {
1838 reg_or_group_completer_1 (tracker, text, word,
1839 (complete_register_names
1840 | complete_reggroup_names));
1841 }
1842
1843 /* Perform completion on reggroup names. */
1844
1845 void
1846 reggroup_completer (struct cmd_list_element *ignore,
1847 completion_tracker &tracker,
1848 const char *text, const char *word)
1849 {
1850 reg_or_group_completer_1 (tracker, text, word,
1851 complete_reggroup_names);
1852 }
1853
1854 /* The default completer_handle_brkchars implementation. */
1855
1856 static void
1857 default_completer_handle_brkchars (struct cmd_list_element *ignore,
1858 completion_tracker &tracker,
1859 const char *text, const char *word)
1860 {
1861 set_rl_completer_word_break_characters
1862 (current_language->word_break_characters ());
1863 }
1864
1865 /* See definition in completer.h. */
1866
1867 completer_handle_brkchars_ftype *
1868 completer_handle_brkchars_func_for_completer (completer_ftype *fn)
1869 {
1870 if (fn == filename_completer)
1871 return filename_completer_handle_brkchars;
1872
1873 if (fn == location_completer)
1874 return location_completer_handle_brkchars;
1875
1876 if (fn == command_completer)
1877 return command_completer_handle_brkchars;
1878
1879 return default_completer_handle_brkchars;
1880 }
1881
1882 /* Used as brkchars when we want to tell readline we have a custom
1883 word point. We do that by making our rl_completion_word_break_hook
1884 set RL_POINT to the desired word point, and return the character at
1885 the word break point as the break char. This is two bytes in order
1886 to fit one break character plus the terminating null. */
1887 static char gdb_custom_word_point_brkchars[2];
1888
1889 /* Since rl_basic_quote_characters is not completer-specific, we save
1890 its original value here, in order to be able to restore it in
1891 gdb_rl_attempted_completion_function. */
1892 static const char *gdb_org_rl_basic_quote_characters = rl_basic_quote_characters;
1893
1894 /* Get the list of chars that are considered as word breaks
1895 for the current command. */
1896
1897 static char *
1898 gdb_completion_word_break_characters_throw ()
1899 {
1900 /* New completion starting. Get rid of the previous tracker and
1901 start afresh. */
1902 delete current_completion.tracker;
1903 current_completion.tracker = new completion_tracker ();
1904
1905 completion_tracker &tracker = *current_completion.tracker;
1906
1907 complete_line_internal (tracker, NULL, rl_line_buffer,
1908 rl_point, handle_brkchars);
1909
1910 if (tracker.use_custom_word_point ())
1911 {
1912 gdb_assert (tracker.custom_word_point () > 0);
1913 rl_point = tracker.custom_word_point () - 1;
1914
1915 gdb_assert (rl_point >= 0 && rl_point < strlen (rl_line_buffer));
1916
1917 gdb_custom_word_point_brkchars[0] = rl_line_buffer[rl_point];
1918 rl_completer_word_break_characters = gdb_custom_word_point_brkchars;
1919 rl_completer_quote_characters = NULL;
1920
1921 /* Clear this too, so that if we're completing a quoted string,
1922 readline doesn't consider the quote character a delimiter.
1923 If we didn't do this, readline would auto-complete {b
1924 'fun<tab>} to {'b 'function()'}, i.e., add the terminating
1925 \', but, it wouldn't append the separator space either, which
1926 is not desirable. So instead we take care of appending the
1927 quote character to the LCD ourselves, in
1928 gdb_rl_attempted_completion_function. Since this global is
1929 not just completer-specific, we'll restore it back to the
1930 default in gdb_rl_attempted_completion_function. */
1931 rl_basic_quote_characters = NULL;
1932 }
1933
1934 return (char *) rl_completer_word_break_characters;
1935 }
1936
1937 char *
1938 gdb_completion_word_break_characters ()
1939 {
1940 /* New completion starting. */
1941 current_completion.aborted = false;
1942
1943 try
1944 {
1945 return gdb_completion_word_break_characters_throw ();
1946 }
1947 catch (const gdb_exception &ex)
1948 {
1949 /* Set this to that gdb_rl_attempted_completion_function knows
1950 to abort early. */
1951 current_completion.aborted = true;
1952 }
1953
1954 return NULL;
1955 }
1956
1957 /* See completer.h. */
1958
1959 const char *
1960 completion_find_completion_word (completion_tracker &tracker, const char *text,
1961 int *quote_char)
1962 {
1963 size_t point = strlen (text);
1964
1965 complete_line_internal (tracker, NULL, text, point, handle_brkchars);
1966
1967 if (tracker.use_custom_word_point ())
1968 {
1969 gdb_assert (tracker.custom_word_point () > 0);
1970 *quote_char = tracker.quote_char ();
1971 return text + tracker.custom_word_point ();
1972 }
1973
1974 gdb_rl_completion_word_info info;
1975
1976 info.word_break_characters = rl_completer_word_break_characters;
1977 info.quote_characters = gdb_completer_quote_characters;
1978 info.basic_quote_characters = rl_basic_quote_characters;
1979
1980 return gdb_rl_find_completion_word (&info, quote_char, NULL, text);
1981 }
1982
1983 /* See completer.h. */
1984
1985 void
1986 completion_tracker::recompute_lcd_visitor (completion_hash_entry *entry)
1987 {
1988 if (!m_lowest_common_denominator_valid)
1989 {
1990 /* This is the first lowest common denominator that we are
1991 considering, just copy it in. */
1992 strcpy (m_lowest_common_denominator, entry->get_lcd ());
1993 m_lowest_common_denominator_unique = true;
1994 m_lowest_common_denominator_valid = true;
1995 }
1996 else
1997 {
1998 /* Find the common denominator between the currently-known lowest
1999 common denominator and NEW_MATCH_UP. That becomes the new lowest
2000 common denominator. */
2001 size_t i;
2002 const char *new_match = entry->get_lcd ();
2003
2004 for (i = 0;
2005 (new_match[i] != '\0'
2006 && new_match[i] == m_lowest_common_denominator[i]);
2007 i++)
2008 ;
2009 if (m_lowest_common_denominator[i] != new_match[i])
2010 {
2011 m_lowest_common_denominator[i] = '\0';
2012 m_lowest_common_denominator_unique = false;
2013 }
2014 }
2015 }
2016
2017 /* See completer.h. */
2018
2019 void
2020 completion_tracker::recompute_lowest_common_denominator ()
2021 {
2022 /* We've already done this. */
2023 if (m_lowest_common_denominator_valid)
2024 return;
2025
2026 /* Resize the storage to ensure we have enough space, the plus one gives
2027 us space for the trailing null terminator we will include. */
2028 m_lowest_common_denominator
2029 = (char *) xrealloc (m_lowest_common_denominator,
2030 m_lowest_common_denominator_max_length + 1);
2031
2032 /* Callback used to visit each entry in the m_entries_hash. */
2033 auto visitor_func
2034 = [] (void **slot, void *info) -> int
2035 {
2036 completion_tracker *obj = (completion_tracker *) info;
2037 completion_hash_entry *entry = (completion_hash_entry *) *slot;
2038 obj->recompute_lcd_visitor (entry);
2039 return 1;
2040 };
2041
2042 htab_traverse (m_entries_hash.get (), visitor_func, this);
2043 m_lowest_common_denominator_valid = true;
2044 }
2045
2046 /* See completer.h. */
2047
2048 void
2049 completion_tracker::advance_custom_word_point_by (int len)
2050 {
2051 m_custom_word_point += len;
2052 }
2053
2054 /* Build a new C string that is a copy of LCD with the whitespace of
2055 ORIG/ORIG_LEN preserved.
2056
2057 Say the user is completing a symbol name, with spaces, like:
2058
2059 "foo ( i"
2060
2061 and the resulting completion match is:
2062
2063 "foo(int)"
2064
2065 we want to end up with an input line like:
2066
2067 "foo ( int)"
2068 ^^^^^^^ => text from LCD [1], whitespace from ORIG preserved.
2069 ^^ => new text from LCD
2070
2071 [1] - We must take characters from the LCD instead of the original
2072 text, since some completions want to change upper/lowercase. E.g.:
2073
2074 "handle sig<>"
2075
2076 completes to:
2077
2078 "handle SIG[QUIT|etc.]"
2079 */
2080
2081 static char *
2082 expand_preserving_ws (const char *orig, size_t orig_len,
2083 const char *lcd)
2084 {
2085 const char *p_orig = orig;
2086 const char *orig_end = orig + orig_len;
2087 const char *p_lcd = lcd;
2088 std::string res;
2089
2090 while (p_orig < orig_end)
2091 {
2092 if (*p_orig == ' ')
2093 {
2094 while (p_orig < orig_end && *p_orig == ' ')
2095 res += *p_orig++;
2096 p_lcd = skip_spaces (p_lcd);
2097 }
2098 else
2099 {
2100 /* Take characters from the LCD instead of the original
2101 text, since some completions change upper/lowercase.
2102 E.g.:
2103 "handle sig<>"
2104 completes to:
2105 "handle SIG[QUIT|etc.]"
2106 */
2107 res += *p_lcd;
2108 p_orig++;
2109 p_lcd++;
2110 }
2111 }
2112
2113 while (*p_lcd != '\0')
2114 res += *p_lcd++;
2115
2116 return xstrdup (res.c_str ());
2117 }
2118
2119 /* See completer.h. */
2120
2121 completion_result
2122 completion_tracker::build_completion_result (const char *text,
2123 int start, int end)
2124 {
2125 size_t element_count = htab_elements (m_entries_hash.get ());
2126
2127 if (element_count == 0)
2128 return {};
2129
2130 /* +1 for the LCD, and +1 for NULL termination. */
2131 char **match_list = XNEWVEC (char *, 1 + element_count + 1);
2132
2133 /* Build replacement word, based on the LCD. */
2134
2135 recompute_lowest_common_denominator ();
2136 match_list[0]
2137 = expand_preserving_ws (text, end - start,
2138 m_lowest_common_denominator);
2139
2140 if (m_lowest_common_denominator_unique)
2141 {
2142 /* We don't rely on readline appending the quote char as
2143 delimiter as then readline wouldn't append the ' ' after the
2144 completion. */
2145 char buf[2] = { (char) quote_char () };
2146
2147 match_list[0] = reconcat (match_list[0], match_list[0],
2148 buf, (char *) NULL);
2149 match_list[1] = NULL;
2150
2151 /* If the tracker wants to, or we already have a space at the
2152 end of the match, tell readline to skip appending
2153 another. */
2154 char *match = match_list[0];
2155 bool completion_suppress_append
2156 = (suppress_append_ws ()
2157 || (match[0] != '\0'
2158 && match[strlen (match) - 1] == ' '));
2159
2160 return completion_result (match_list, 1, completion_suppress_append);
2161 }
2162 else
2163 {
2164 /* State object used while building the completion list. */
2165 struct list_builder
2166 {
2167 list_builder (char **ml)
2168 : match_list (ml),
2169 index (1)
2170 { /* Nothing. */ }
2171
2172 /* The list we are filling. */
2173 char **match_list;
2174
2175 /* The next index in the list to write to. */
2176 int index;
2177 };
2178 list_builder builder (match_list);
2179
2180 /* Visit each entry in m_entries_hash and add it to the completion
2181 list, updating the builder state object. */
2182 auto func
2183 = [] (void **slot, void *info) -> int
2184 {
2185 completion_hash_entry *entry = (completion_hash_entry *) *slot;
2186 list_builder *state = (list_builder *) info;
2187
2188 state->match_list[state->index] = entry->release_name ();
2189 state->index++;
2190 return 1;
2191 };
2192
2193 /* Build the completion list and add a null at the end. */
2194 htab_traverse_noresize (m_entries_hash.get (), func, &builder);
2195 match_list[builder.index] = NULL;
2196
2197 return completion_result (match_list, builder.index - 1, false);
2198 }
2199 }
2200
2201 /* See completer.h */
2202
2203 completion_result::completion_result ()
2204 : match_list (NULL), number_matches (0),
2205 completion_suppress_append (false)
2206 {}
2207
2208 /* See completer.h */
2209
2210 completion_result::completion_result (char **match_list_,
2211 size_t number_matches_,
2212 bool completion_suppress_append_)
2213 : match_list (match_list_),
2214 number_matches (number_matches_),
2215 completion_suppress_append (completion_suppress_append_)
2216 {}
2217
2218 /* See completer.h */
2219
2220 completion_result::~completion_result ()
2221 {
2222 reset_match_list ();
2223 }
2224
2225 /* See completer.h */
2226
2227 completion_result::completion_result (completion_result &&rhs) noexcept
2228 : match_list (rhs.match_list),
2229 number_matches (rhs.number_matches)
2230 {
2231 rhs.match_list = NULL;
2232 rhs.number_matches = 0;
2233 }
2234
2235 /* See completer.h */
2236
2237 char **
2238 completion_result::release_match_list ()
2239 {
2240 char **ret = match_list;
2241 match_list = NULL;
2242 return ret;
2243 }
2244
2245 /* See completer.h */
2246
2247 void
2248 completion_result::sort_match_list ()
2249 {
2250 if (number_matches > 1)
2251 {
2252 /* Element 0 is special (it's the common prefix), leave it
2253 be. */
2254 std::sort (&match_list[1],
2255 &match_list[number_matches + 1],
2256 compare_cstrings);
2257 }
2258 }
2259
2260 /* See completer.h */
2261
2262 void
2263 completion_result::reset_match_list ()
2264 {
2265 if (match_list != NULL)
2266 {
2267 for (char **p = match_list; *p != NULL; p++)
2268 xfree (*p);
2269 xfree (match_list);
2270 match_list = NULL;
2271 }
2272 }
2273
2274 /* Helper for gdb_rl_attempted_completion_function, which does most of
2275 the work. This is called by readline to build the match list array
2276 and to determine the lowest common denominator. The real matches
2277 list starts at match[1], while match[0] is the slot holding
2278 readline's idea of the lowest common denominator of all matches,
2279 which is what readline replaces the completion "word" with.
2280
2281 TEXT is the caller's idea of the "word" we are looking at, as
2282 computed in the handle_brkchars phase.
2283
2284 START is the offset from RL_LINE_BUFFER where TEXT starts. END is
2285 the offset from RL_LINE_BUFFER where TEXT ends (i.e., where
2286 rl_point is).
2287
2288 You should thus pretend that the line ends at END (relative to
2289 RL_LINE_BUFFER).
2290
2291 RL_LINE_BUFFER contains the entire text of the line. RL_POINT is
2292 the offset in that line of the cursor. You should pretend that the
2293 line ends at POINT.
2294
2295 Returns NULL if there are no completions. */
2296
2297 static char **
2298 gdb_rl_attempted_completion_function_throw (const char *text, int start, int end)
2299 {
2300 /* Completers that provide a custom word point in the
2301 handle_brkchars phase also compute their completions then.
2302 Completers that leave the completion word handling to readline
2303 must be called twice. If rl_point (i.e., END) is at column 0,
2304 then readline skips the handle_brkchars phase, and so we create a
2305 tracker now in that case too. */
2306 if (end == 0 || !current_completion.tracker->use_custom_word_point ())
2307 {
2308 delete current_completion.tracker;
2309 current_completion.tracker = new completion_tracker ();
2310
2311 complete_line (*current_completion.tracker, text,
2312 rl_line_buffer, rl_point);
2313 }
2314
2315 completion_tracker &tracker = *current_completion.tracker;
2316
2317 completion_result result
2318 = tracker.build_completion_result (text, start, end);
2319
2320 rl_completion_suppress_append = result.completion_suppress_append;
2321 return result.release_match_list ();
2322 }
2323
2324 /* Function installed as "rl_attempted_completion_function" readline
2325 hook. Wrapper around gdb_rl_attempted_completion_function_throw
2326 that catches C++ exceptions, which can't cross readline. */
2327
2328 char **
2329 gdb_rl_attempted_completion_function (const char *text, int start, int end)
2330 {
2331 /* Restore globals that might have been tweaked in
2332 gdb_completion_word_break_characters. */
2333 rl_basic_quote_characters = gdb_org_rl_basic_quote_characters;
2334
2335 /* If we end up returning NULL, either on error, or simple because
2336 there are no matches, inhibit readline's default filename
2337 completer. */
2338 rl_attempted_completion_over = 1;
2339
2340 /* If the handle_brkchars phase was aborted, don't try
2341 completing. */
2342 if (current_completion.aborted)
2343 return NULL;
2344
2345 try
2346 {
2347 return gdb_rl_attempted_completion_function_throw (text, start, end);
2348 }
2349 catch (const gdb_exception &ex)
2350 {
2351 }
2352
2353 return NULL;
2354 }
2355
2356 /* Skip over the possibly quoted word STR (as defined by the quote
2357 characters QUOTECHARS and the word break characters BREAKCHARS).
2358 Returns pointer to the location after the "word". If either
2359 QUOTECHARS or BREAKCHARS is NULL, use the same values used by the
2360 completer. */
2361
2362 const char *
2363 skip_quoted_chars (const char *str, const char *quotechars,
2364 const char *breakchars)
2365 {
2366 char quote_char = '\0';
2367 const char *scan;
2368
2369 if (quotechars == NULL)
2370 quotechars = gdb_completer_quote_characters;
2371
2372 if (breakchars == NULL)
2373 breakchars = current_language->word_break_characters ();
2374
2375 for (scan = str; *scan != '\0'; scan++)
2376 {
2377 if (quote_char != '\0')
2378 {
2379 /* Ignore everything until the matching close quote char. */
2380 if (*scan == quote_char)
2381 {
2382 /* Found matching close quote. */
2383 scan++;
2384 break;
2385 }
2386 }
2387 else if (strchr (quotechars, *scan))
2388 {
2389 /* Found start of a quoted string. */
2390 quote_char = *scan;
2391 }
2392 else if (strchr (breakchars, *scan))
2393 {
2394 break;
2395 }
2396 }
2397
2398 return (scan);
2399 }
2400
2401 /* Skip over the possibly quoted word STR (as defined by the quote
2402 characters and word break characters used by the completer).
2403 Returns pointer to the location after the "word". */
2404
2405 const char *
2406 skip_quoted (const char *str)
2407 {
2408 return skip_quoted_chars (str, NULL, NULL);
2409 }
2410
2411 /* Return a message indicating that the maximum number of completions
2412 has been reached and that there may be more. */
2413
2414 const char *
2415 get_max_completions_reached_message (void)
2416 {
2417 return _("*** List may be truncated, max-completions reached. ***");
2418 }
2419 \f
2420 /* GDB replacement for rl_display_match_list.
2421 Readline doesn't provide a clean interface for TUI(curses).
2422 A hack previously used was to send readline's rl_outstream through a pipe
2423 and read it from the event loop. Bleah. IWBN if readline abstracted
2424 away all the necessary bits, and this is what this code does. It
2425 replicates the parts of readline we need and then adds an abstraction
2426 layer, currently implemented as struct match_list_displayer, so that both
2427 CLI and TUI can use it. We copy all this readline code to minimize
2428 GDB-specific mods to readline. Once this code performs as desired then
2429 we can submit it to the readline maintainers.
2430
2431 N.B. A lot of the code is the way it is in order to minimize differences
2432 from readline's copy. */
2433
2434 /* Not supported here. */
2435 #undef VISIBLE_STATS
2436
2437 #if defined (HANDLE_MULTIBYTE)
2438 #define MB_INVALIDCH(x) ((x) == (size_t)-1 || (x) == (size_t)-2)
2439 #define MB_NULLWCH(x) ((x) == 0)
2440 #endif
2441
2442 #define ELLIPSIS_LEN 3
2443
2444 /* gdb version of readline/complete.c:get_y_or_n.
2445 'y' -> returns 1, and 'n' -> returns 0.
2446 Also supported: space == 'y', RUBOUT == 'n', ctrl-g == start over.
2447 If FOR_PAGER is non-zero, then also supported are:
2448 NEWLINE or RETURN -> returns 2, and 'q' -> returns 0. */
2449
2450 static int
2451 gdb_get_y_or_n (int for_pager, const struct match_list_displayer *displayer)
2452 {
2453 int c;
2454
2455 for (;;)
2456 {
2457 RL_SETSTATE (RL_STATE_MOREINPUT);
2458 c = displayer->read_key (displayer);
2459 RL_UNSETSTATE (RL_STATE_MOREINPUT);
2460
2461 if (c == 'y' || c == 'Y' || c == ' ')
2462 return 1;
2463 if (c == 'n' || c == 'N' || c == RUBOUT)
2464 return 0;
2465 if (c == ABORT_CHAR || c < 0)
2466 {
2467 /* Readline doesn't erase_entire_line here, but without it the
2468 --More-- prompt isn't erased and neither is the text entered
2469 thus far redisplayed. */
2470 displayer->erase_entire_line (displayer);
2471 /* Note: The arguments to rl_abort are ignored. */
2472 rl_abort (0, 0);
2473 }
2474 if (for_pager && (c == NEWLINE || c == RETURN))
2475 return 2;
2476 if (for_pager && (c == 'q' || c == 'Q'))
2477 return 0;
2478 displayer->beep (displayer);
2479 }
2480 }
2481
2482 /* Pager function for tab-completion.
2483 This is based on readline/complete.c:_rl_internal_pager.
2484 LINES is the number of lines of output displayed thus far.
2485 Returns:
2486 -1 -> user pressed 'n' or equivalent,
2487 0 -> user pressed 'y' or equivalent,
2488 N -> user pressed NEWLINE or equivalent and N is LINES - 1. */
2489
2490 static int
2491 gdb_display_match_list_pager (int lines,
2492 const struct match_list_displayer *displayer)
2493 {
2494 int i;
2495
2496 displayer->puts (displayer, "--More--");
2497 displayer->flush (displayer);
2498 i = gdb_get_y_or_n (1, displayer);
2499 displayer->erase_entire_line (displayer);
2500 if (i == 0)
2501 return -1;
2502 else if (i == 2)
2503 return (lines - 1);
2504 else
2505 return 0;
2506 }
2507
2508 /* Return non-zero if FILENAME is a directory.
2509 Based on readline/complete.c:path_isdir. */
2510
2511 static int
2512 gdb_path_isdir (const char *filename)
2513 {
2514 struct stat finfo;
2515
2516 return (stat (filename, &finfo) == 0 && S_ISDIR (finfo.st_mode));
2517 }
2518
2519 /* Return the portion of PATHNAME that should be output when listing
2520 possible completions. If we are hacking filename completion, we
2521 are only interested in the basename, the portion following the
2522 final slash. Otherwise, we return what we were passed. Since
2523 printing empty strings is not very informative, if we're doing
2524 filename completion, and the basename is the empty string, we look
2525 for the previous slash and return the portion following that. If
2526 there's no previous slash, we just return what we were passed.
2527
2528 Based on readline/complete.c:printable_part. */
2529
2530 static char *
2531 gdb_printable_part (char *pathname)
2532 {
2533 char *temp, *x;
2534
2535 if (rl_filename_completion_desired == 0) /* don't need to do anything */
2536 return (pathname);
2537
2538 temp = strrchr (pathname, '/');
2539 #if defined (__MSDOS__)
2540 if (temp == 0 && ISALPHA ((unsigned char)pathname[0]) && pathname[1] == ':')
2541 temp = pathname + 1;
2542 #endif
2543
2544 if (temp == 0 || *temp == '\0')
2545 return (pathname);
2546 /* If the basename is NULL, we might have a pathname like '/usr/src/'.
2547 Look for a previous slash and, if one is found, return the portion
2548 following that slash. If there's no previous slash, just return the
2549 pathname we were passed. */
2550 else if (temp[1] == '\0')
2551 {
2552 for (x = temp - 1; x > pathname; x--)
2553 if (*x == '/')
2554 break;
2555 return ((*x == '/') ? x + 1 : pathname);
2556 }
2557 else
2558 return ++temp;
2559 }
2560
2561 /* Compute width of STRING when displayed on screen by print_filename.
2562 Based on readline/complete.c:fnwidth. */
2563
2564 static int
2565 gdb_fnwidth (const char *string)
2566 {
2567 int width, pos;
2568 #if defined (HANDLE_MULTIBYTE)
2569 mbstate_t ps;
2570 int left, w;
2571 size_t clen;
2572 wchar_t wc;
2573
2574 left = strlen (string) + 1;
2575 memset (&ps, 0, sizeof (mbstate_t));
2576 #endif
2577
2578 width = pos = 0;
2579 while (string[pos])
2580 {
2581 if (CTRL_CHAR (string[pos]) || string[pos] == RUBOUT)
2582 {
2583 width += 2;
2584 pos++;
2585 }
2586 else
2587 {
2588 #if defined (HANDLE_MULTIBYTE)
2589 clen = mbrtowc (&wc, string + pos, left - pos, &ps);
2590 if (MB_INVALIDCH (clen))
2591 {
2592 width++;
2593 pos++;
2594 memset (&ps, 0, sizeof (mbstate_t));
2595 }
2596 else if (MB_NULLWCH (clen))
2597 break;
2598 else
2599 {
2600 pos += clen;
2601 w = wcwidth (wc);
2602 width += (w >= 0) ? w : 1;
2603 }
2604 #else
2605 width++;
2606 pos++;
2607 #endif
2608 }
2609 }
2610
2611 return width;
2612 }
2613
2614 /* Print TO_PRINT, one matching completion.
2615 PREFIX_BYTES is number of common prefix bytes.
2616 Based on readline/complete.c:fnprint. */
2617
2618 static int
2619 gdb_fnprint (const char *to_print, int prefix_bytes,
2620 const struct match_list_displayer *displayer)
2621 {
2622 int printed_len, w;
2623 const char *s;
2624 #if defined (HANDLE_MULTIBYTE)
2625 mbstate_t ps;
2626 const char *end;
2627 size_t tlen;
2628 int width;
2629 wchar_t wc;
2630
2631 end = to_print + strlen (to_print) + 1;
2632 memset (&ps, 0, sizeof (mbstate_t));
2633 #endif
2634
2635 printed_len = 0;
2636
2637 /* Don't print only the ellipsis if the common prefix is one of the
2638 possible completions */
2639 if (to_print[prefix_bytes] == '\0')
2640 prefix_bytes = 0;
2641
2642 if (prefix_bytes)
2643 {
2644 char ellipsis;
2645
2646 ellipsis = (to_print[prefix_bytes] == '.') ? '_' : '.';
2647 for (w = 0; w < ELLIPSIS_LEN; w++)
2648 displayer->putch (displayer, ellipsis);
2649 printed_len = ELLIPSIS_LEN;
2650 }
2651
2652 s = to_print + prefix_bytes;
2653 while (*s)
2654 {
2655 if (CTRL_CHAR (*s))
2656 {
2657 displayer->putch (displayer, '^');
2658 displayer->putch (displayer, UNCTRL (*s));
2659 printed_len += 2;
2660 s++;
2661 #if defined (HANDLE_MULTIBYTE)
2662 memset (&ps, 0, sizeof (mbstate_t));
2663 #endif
2664 }
2665 else if (*s == RUBOUT)
2666 {
2667 displayer->putch (displayer, '^');
2668 displayer->putch (displayer, '?');
2669 printed_len += 2;
2670 s++;
2671 #if defined (HANDLE_MULTIBYTE)
2672 memset (&ps, 0, sizeof (mbstate_t));
2673 #endif
2674 }
2675 else
2676 {
2677 #if defined (HANDLE_MULTIBYTE)
2678 tlen = mbrtowc (&wc, s, end - s, &ps);
2679 if (MB_INVALIDCH (tlen))
2680 {
2681 tlen = 1;
2682 width = 1;
2683 memset (&ps, 0, sizeof (mbstate_t));
2684 }
2685 else if (MB_NULLWCH (tlen))
2686 break;
2687 else
2688 {
2689 w = wcwidth (wc);
2690 width = (w >= 0) ? w : 1;
2691 }
2692 for (w = 0; w < tlen; ++w)
2693 displayer->putch (displayer, s[w]);
2694 s += tlen;
2695 printed_len += width;
2696 #else
2697 displayer->putch (displayer, *s);
2698 s++;
2699 printed_len++;
2700 #endif
2701 }
2702 }
2703
2704 return printed_len;
2705 }
2706
2707 /* Output TO_PRINT to rl_outstream. If VISIBLE_STATS is defined and we
2708 are using it, check for and output a single character for `special'
2709 filenames. Return the number of characters we output.
2710 Based on readline/complete.c:print_filename. */
2711
2712 static int
2713 gdb_print_filename (char *to_print, char *full_pathname, int prefix_bytes,
2714 const struct match_list_displayer *displayer)
2715 {
2716 int printed_len, extension_char, slen, tlen;
2717 char *s, c, *new_full_pathname;
2718 const char *dn;
2719 extern int _rl_complete_mark_directories;
2720
2721 extension_char = 0;
2722 printed_len = gdb_fnprint (to_print, prefix_bytes, displayer);
2723
2724 #if defined (VISIBLE_STATS)
2725 if (rl_filename_completion_desired && (rl_visible_stats || _rl_complete_mark_directories))
2726 #else
2727 if (rl_filename_completion_desired && _rl_complete_mark_directories)
2728 #endif
2729 {
2730 /* If to_print != full_pathname, to_print is the basename of the
2731 path passed. In this case, we try to expand the directory
2732 name before checking for the stat character. */
2733 if (to_print != full_pathname)
2734 {
2735 /* Terminate the directory name. */
2736 c = to_print[-1];
2737 to_print[-1] = '\0';
2738
2739 /* If setting the last slash in full_pathname to a NUL results in
2740 full_pathname being the empty string, we are trying to complete
2741 files in the root directory. If we pass a null string to the
2742 bash directory completion hook, for example, it will expand it
2743 to the current directory. We just want the `/'. */
2744 if (full_pathname == 0 || *full_pathname == 0)
2745 dn = "/";
2746 else if (full_pathname[0] != '/')
2747 dn = full_pathname;
2748 else if (full_pathname[1] == 0)
2749 dn = "//"; /* restore trailing slash to `//' */
2750 else if (full_pathname[1] == '/' && full_pathname[2] == 0)
2751 dn = "/"; /* don't turn /// into // */
2752 else
2753 dn = full_pathname;
2754 s = tilde_expand (dn);
2755 if (rl_directory_completion_hook)
2756 (*rl_directory_completion_hook) (&s);
2757
2758 slen = strlen (s);
2759 tlen = strlen (to_print);
2760 new_full_pathname = (char *)xmalloc (slen + tlen + 2);
2761 strcpy (new_full_pathname, s);
2762 if (s[slen - 1] == '/')
2763 slen--;
2764 else
2765 new_full_pathname[slen] = '/';
2766 new_full_pathname[slen] = '/';
2767 strcpy (new_full_pathname + slen + 1, to_print);
2768
2769 #if defined (VISIBLE_STATS)
2770 if (rl_visible_stats)
2771 extension_char = stat_char (new_full_pathname);
2772 else
2773 #endif
2774 if (gdb_path_isdir (new_full_pathname))
2775 extension_char = '/';
2776
2777 xfree (new_full_pathname);
2778 to_print[-1] = c;
2779 }
2780 else
2781 {
2782 s = tilde_expand (full_pathname);
2783 #if defined (VISIBLE_STATS)
2784 if (rl_visible_stats)
2785 extension_char = stat_char (s);
2786 else
2787 #endif
2788 if (gdb_path_isdir (s))
2789 extension_char = '/';
2790 }
2791
2792 xfree (s);
2793 if (extension_char)
2794 {
2795 displayer->putch (displayer, extension_char);
2796 printed_len++;
2797 }
2798 }
2799
2800 return printed_len;
2801 }
2802
2803 /* GDB version of readline/complete.c:complete_get_screenwidth. */
2804
2805 static int
2806 gdb_complete_get_screenwidth (const struct match_list_displayer *displayer)
2807 {
2808 /* Readline has other stuff here which it's not clear we need. */
2809 return displayer->width;
2810 }
2811
2812 extern int _rl_completion_prefix_display_length;
2813 extern int _rl_print_completions_horizontally;
2814
2815 extern "C" int _rl_qsort_string_compare (const void *, const void *);
2816 typedef int QSFUNC (const void *, const void *);
2817
2818 /* GDB version of readline/complete.c:rl_display_match_list.
2819 See gdb_display_match_list for a description of MATCHES, LEN, MAX.
2820 Returns non-zero if all matches are displayed. */
2821
2822 static int
2823 gdb_display_match_list_1 (char **matches, int len, int max,
2824 const struct match_list_displayer *displayer)
2825 {
2826 int count, limit, printed_len, lines, cols;
2827 int i, j, k, l, common_length, sind;
2828 char *temp, *t;
2829 int page_completions = displayer->height != INT_MAX && pagination_enabled;
2830
2831 /* Find the length of the prefix common to all items: length as displayed
2832 characters (common_length) and as a byte index into the matches (sind) */
2833 common_length = sind = 0;
2834 if (_rl_completion_prefix_display_length > 0)
2835 {
2836 t = gdb_printable_part (matches[0]);
2837 temp = strrchr (t, '/');
2838 common_length = temp ? gdb_fnwidth (temp) : gdb_fnwidth (t);
2839 sind = temp ? strlen (temp) : strlen (t);
2840
2841 if (common_length > _rl_completion_prefix_display_length && common_length > ELLIPSIS_LEN)
2842 max -= common_length - ELLIPSIS_LEN;
2843 else
2844 common_length = sind = 0;
2845 }
2846
2847 /* How many items of MAX length can we fit in the screen window? */
2848 cols = gdb_complete_get_screenwidth (displayer);
2849 max += 2;
2850 limit = cols / max;
2851 if (limit != 1 && (limit * max == cols))
2852 limit--;
2853
2854 /* If cols == 0, limit will end up -1 */
2855 if (cols < displayer->width && limit < 0)
2856 limit = 1;
2857
2858 /* Avoid a possible floating exception. If max > cols,
2859 limit will be 0 and a divide-by-zero fault will result. */
2860 if (limit == 0)
2861 limit = 1;
2862
2863 /* How many iterations of the printing loop? */
2864 count = (len + (limit - 1)) / limit;
2865
2866 /* Watch out for special case. If LEN is less than LIMIT, then
2867 just do the inner printing loop.
2868 0 < len <= limit implies count = 1. */
2869
2870 /* Sort the items if they are not already sorted. */
2871 if (rl_ignore_completion_duplicates == 0 && rl_sort_completion_matches)
2872 qsort (matches + 1, len, sizeof (char *), (QSFUNC *)_rl_qsort_string_compare);
2873
2874 displayer->crlf (displayer);
2875
2876 lines = 0;
2877 if (_rl_print_completions_horizontally == 0)
2878 {
2879 /* Print the sorted items, up-and-down alphabetically, like ls. */
2880 for (i = 1; i <= count; i++)
2881 {
2882 for (j = 0, l = i; j < limit; j++)
2883 {
2884 if (l > len || matches[l] == 0)
2885 break;
2886 else
2887 {
2888 temp = gdb_printable_part (matches[l]);
2889 printed_len = gdb_print_filename (temp, matches[l], sind,
2890 displayer);
2891
2892 if (j + 1 < limit)
2893 for (k = 0; k < max - printed_len; k++)
2894 displayer->putch (displayer, ' ');
2895 }
2896 l += count;
2897 }
2898 displayer->crlf (displayer);
2899 lines++;
2900 if (page_completions && lines >= (displayer->height - 1) && i < count)
2901 {
2902 lines = gdb_display_match_list_pager (lines, displayer);
2903 if (lines < 0)
2904 return 0;
2905 }
2906 }
2907 }
2908 else
2909 {
2910 /* Print the sorted items, across alphabetically, like ls -x. */
2911 for (i = 1; matches[i]; i++)
2912 {
2913 temp = gdb_printable_part (matches[i]);
2914 printed_len = gdb_print_filename (temp, matches[i], sind, displayer);
2915 /* Have we reached the end of this line? */
2916 if (matches[i+1])
2917 {
2918 if (i && (limit > 1) && (i % limit) == 0)
2919 {
2920 displayer->crlf (displayer);
2921 lines++;
2922 if (page_completions && lines >= displayer->height - 1)
2923 {
2924 lines = gdb_display_match_list_pager (lines, displayer);
2925 if (lines < 0)
2926 return 0;
2927 }
2928 }
2929 else
2930 for (k = 0; k < max - printed_len; k++)
2931 displayer->putch (displayer, ' ');
2932 }
2933 }
2934 displayer->crlf (displayer);
2935 }
2936
2937 return 1;
2938 }
2939
2940 /* Utility for displaying completion list matches, used by both CLI and TUI.
2941
2942 MATCHES is the list of strings, in argv format, LEN is the number of
2943 strings in MATCHES, and MAX is the length of the longest string in
2944 MATCHES. */
2945
2946 void
2947 gdb_display_match_list (char **matches, int len, int max,
2948 const struct match_list_displayer *displayer)
2949 {
2950 /* Readline will never call this if complete_line returned NULL. */
2951 gdb_assert (max_completions != 0);
2952
2953 /* complete_line will never return more than this. */
2954 if (max_completions > 0)
2955 gdb_assert (len <= max_completions);
2956
2957 if (rl_completion_query_items > 0 && len >= rl_completion_query_items)
2958 {
2959 char msg[100];
2960
2961 /* We can't use *query here because they wait for <RET> which is
2962 wrong here. This follows the readline version as closely as possible
2963 for compatibility's sake. See readline/complete.c. */
2964
2965 displayer->crlf (displayer);
2966
2967 xsnprintf (msg, sizeof (msg),
2968 "Display all %d possibilities? (y or n)", len);
2969 displayer->puts (displayer, msg);
2970 displayer->flush (displayer);
2971
2972 if (gdb_get_y_or_n (0, displayer) == 0)
2973 {
2974 displayer->crlf (displayer);
2975 return;
2976 }
2977 }
2978
2979 if (gdb_display_match_list_1 (matches, len, max, displayer))
2980 {
2981 /* Note: MAX_COMPLETIONS may be -1 or zero, but LEN is always > 0. */
2982 if (len == max_completions)
2983 {
2984 /* The maximum number of completions has been reached. Warn the user
2985 that there may be more. */
2986 const char *message = get_max_completions_reached_message ();
2987
2988 displayer->puts (displayer, message);
2989 displayer->crlf (displayer);
2990 }
2991 }
2992 }
2993
2994 /* See completer.h. */
2995
2996 bool
2997 skip_over_slash_fmt (completion_tracker &tracker, const char **args)
2998 {
2999 const char *text = *args;
3000
3001 if (text[0] == '/')
3002 {
3003 bool in_fmt;
3004 tracker.set_use_custom_word_point (true);
3005
3006 if (text[1] == '\0')
3007 {
3008 /* The user tried to complete after typing just the '/' character
3009 of the /FMT string. Step the completer past the '/', but we
3010 don't offer any completions. */
3011 in_fmt = true;
3012 ++text;
3013 }
3014 else
3015 {
3016 /* The user has typed some characters after the '/', we assume
3017 this is a complete /FMT string, first skip over it. */
3018 text = skip_to_space (text);
3019
3020 if (*text == '\0')
3021 {
3022 /* We're at the end of the input string. The user has typed
3023 '/FMT' and asked for a completion. Push an empty
3024 completion string, this will cause readline to insert a
3025 space so the user now has '/FMT '. */
3026 in_fmt = true;
3027 tracker.add_completion (make_unique_xstrdup (text));
3028 }
3029 else
3030 {
3031 /* The user has already typed things after the /FMT, skip the
3032 whitespace and return false. Whoever called this function
3033 should then try to complete what comes next. */
3034 in_fmt = false;
3035 text = skip_spaces (text);
3036 }
3037 }
3038
3039 tracker.advance_custom_word_point_by (text - *args);
3040 *args = text;
3041 return in_fmt;
3042 }
3043
3044 return false;
3045 }
3046
3047 void _initialize_completer ();
3048 void
3049 _initialize_completer ()
3050 {
3051 add_setshow_zuinteger_unlimited_cmd ("max-completions", no_class,
3052 &max_completions, _("\
3053 Set maximum number of completion candidates."), _("\
3054 Show maximum number of completion candidates."), _("\
3055 Use this to limit the number of candidates considered\n\
3056 during completion. Specifying \"unlimited\" or -1\n\
3057 disables limiting. Note that setting either no limit or\n\
3058 a very large limit can make completion slow."),
3059 NULL, NULL, &setlist, &showlist);
3060 }