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