Initialize variable word in complete
[external/binutils.git] / gdb / completer.c
1 /* Line completion stuff for GDB, the GNU debugger.
2    Copyright (C) 2000-2019 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 "common/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 (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 (const gdb_exception_error &except)
1029     {
1030       return;
1031     }
1032
1033   if (fieldname != nullptr && type)
1034     {
1035       for (;;)
1036         {
1037           type = check_typedef (type);
1038           if (TYPE_CODE (type) != TYPE_CODE_PTR && !TYPE_IS_REFERENCE (type))
1039             break;
1040           type = TYPE_TARGET_TYPE (type);
1041         }
1042
1043       if (TYPE_CODE (type) == TYPE_CODE_UNION
1044           || TYPE_CODE (type) == TYPE_CODE_STRUCT)
1045         {
1046           completion_list result;
1047
1048           add_struct_fields (type, result, fieldname.get (),
1049                              strlen (fieldname.get ()));
1050           tracker.add_completions (std::move (result));
1051           return;
1052         }
1053     }
1054   else if (fieldname != nullptr && code != TYPE_CODE_UNDEF)
1055     {
1056       collect_symbol_completion_matches_type (tracker, fieldname.get (),
1057                                               fieldname.get (), code);
1058       return;
1059     }
1060
1061   complete_files_symbols (tracker, text, word);
1062 }
1063
1064 /* Complete on expressions.  Often this means completing on symbol
1065    names, but some language parsers also have support for completing
1066    field names.  */
1067
1068 void
1069 expression_completer (struct cmd_list_element *ignore,
1070                       completion_tracker &tracker,
1071                       const char *text, const char *word)
1072 {
1073   complete_expression (tracker, text, word);
1074 }
1075
1076 /* See definition in completer.h.  */
1077
1078 void
1079 set_rl_completer_word_break_characters (const char *break_chars)
1080 {
1081   rl_completer_word_break_characters = (char *) break_chars;
1082 }
1083
1084 /* See definition in completer.h.  */
1085
1086 void
1087 set_gdb_completion_word_break_characters (completer_ftype *fn)
1088 {
1089   const char *break_chars;
1090
1091   /* So far we are only interested in differentiating filename
1092      completers from everything else.  */
1093   if (fn == filename_completer)
1094     break_chars = gdb_completer_file_name_break_characters;
1095   else
1096     break_chars = gdb_completer_command_word_break_characters;
1097
1098   set_rl_completer_word_break_characters (break_chars);
1099 }
1100
1101 /* Complete on symbols.  */
1102
1103 void
1104 symbol_completer (struct cmd_list_element *ignore,
1105                   completion_tracker &tracker,
1106                   const char *text, const char *word)
1107 {
1108   collect_symbol_completion_matches (tracker, complete_symbol_mode::EXPRESSION,
1109                                      symbol_name_match_type::EXPRESSION,
1110                                      text, word);
1111 }
1112
1113 /* Here are some useful test cases for completion.  FIXME: These
1114    should be put in the test suite.  They should be tested with both
1115    M-? and TAB.
1116
1117    "show output-" "radix"
1118    "show output" "-radix"
1119    "p" ambiguous (commands starting with p--path, print, printf, etc.)
1120    "p "  ambiguous (all symbols)
1121    "info t foo" no completions
1122    "info t " no completions
1123    "info t" ambiguous ("info target", "info terminal", etc.)
1124    "info ajksdlfk" no completions
1125    "info ajksdlfk " no completions
1126    "info" " "
1127    "info " ambiguous (all info commands)
1128    "p \"a" no completions (string constant)
1129    "p 'a" ambiguous (all symbols starting with a)
1130    "p b-a" ambiguous (all symbols starting with a)
1131    "p b-" ambiguous (all symbols)
1132    "file Make" "file" (word break hard to screw up here)
1133    "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
1134  */
1135
1136 enum complete_line_internal_reason
1137 {
1138   /* Preliminary phase, called by gdb_completion_word_break_characters
1139      function, is used to either:
1140
1141      #1 - Determine the set of chars that are word delimiters
1142           depending on the current command in line_buffer.
1143
1144      #2 - Manually advance RL_POINT to the "word break" point instead
1145           of letting readline do it (based on too-simple character
1146           matching).
1147
1148      Simpler completers that just pass a brkchars array to readline
1149      (#1 above) must defer generating the completions to the main
1150      phase (below).  No completion list should be generated in this
1151      phase.
1152
1153      OTOH, completers that manually advance the word point(#2 above)
1154      must set "use_custom_word_point" in the tracker and generate
1155      their completion in this phase.  Note that this is the convenient
1156      thing to do since they'll be parsing the input line anyway.  */
1157   handle_brkchars,
1158
1159   /* Main phase, called by complete_line function, is used to get the
1160      list of possible completions.  */
1161   handle_completions,
1162
1163   /* Special case when completing a 'help' command.  In this case,
1164      once sub-command completions are exhausted, we simply return
1165      NULL.  */
1166   handle_help,
1167 };
1168
1169 /* Helper for complete_line_internal to simplify it.  */
1170
1171 static void
1172 complete_line_internal_normal_command (completion_tracker &tracker,
1173                                        const char *command, const char *word,
1174                                        const char *cmd_args,
1175                                        complete_line_internal_reason reason,
1176                                        struct cmd_list_element *c)
1177 {
1178   const char *p = cmd_args;
1179
1180   if (c->completer == filename_completer)
1181     {
1182       /* Many commands which want to complete on file names accept
1183          several file names, as in "run foo bar >>baz".  So we don't
1184          want to complete the entire text after the command, just the
1185          last word.  To this end, we need to find the beginning of the
1186          file name by starting at `word' and going backwards.  */
1187       for (p = word;
1188            p > command
1189              && strchr (gdb_completer_file_name_break_characters,
1190                         p[-1]) == NULL;
1191            p--)
1192         ;
1193     }
1194
1195   if (reason == handle_brkchars)
1196     {
1197       completer_handle_brkchars_ftype *brkchars_fn;
1198
1199       if (c->completer_handle_brkchars != NULL)
1200         brkchars_fn = c->completer_handle_brkchars;
1201       else
1202         {
1203           brkchars_fn
1204             = (completer_handle_brkchars_func_for_completer
1205                (c->completer));
1206         }
1207
1208       brkchars_fn (c, tracker, p, word);
1209     }
1210
1211   if (reason != handle_brkchars && c->completer != NULL)
1212     (*c->completer) (c, tracker, p, word);
1213 }
1214
1215 /* Internal function used to handle completions.
1216
1217
1218    TEXT is the caller's idea of the "word" we are looking at.
1219
1220    LINE_BUFFER is available to be looked at; it contains the entire
1221    text of the line.  POINT is the offset in that line of the cursor.
1222    You should pretend that the line ends at POINT.
1223
1224    See complete_line_internal_reason for description of REASON.  */
1225
1226 static void
1227 complete_line_internal_1 (completion_tracker &tracker,
1228                           const char *text,
1229                           const char *line_buffer, int point,
1230                           complete_line_internal_reason reason)
1231 {
1232   char *tmp_command;
1233   const char *p;
1234   int ignore_help_classes;
1235   /* Pointer within tmp_command which corresponds to text.  */
1236   const char *word;
1237   struct cmd_list_element *c, *result_list;
1238
1239   /* Choose the default set of word break characters to break
1240      completions.  If we later find out that we are doing completions
1241      on command strings (as opposed to strings supplied by the
1242      individual command completer functions, which can be any string)
1243      then we will switch to the special word break set for command
1244      strings, which leaves out the '-' character used in some
1245      commands.  */
1246   set_rl_completer_word_break_characters
1247     (current_language->la_word_break_characters());
1248
1249   /* Decide whether to complete on a list of gdb commands or on
1250      symbols.  */
1251   tmp_command = (char *) alloca (point + 1);
1252   p = tmp_command;
1253
1254   /* The help command should complete help aliases.  */
1255   ignore_help_classes = reason != handle_help;
1256
1257   strncpy (tmp_command, line_buffer, point);
1258   tmp_command[point] = '\0';
1259   if (reason == handle_brkchars)
1260     {
1261       gdb_assert (text == NULL);
1262       word = NULL;
1263     }
1264   else
1265     {
1266       /* Since text always contains some number of characters leading up
1267          to point, we can find the equivalent position in tmp_command
1268          by subtracting that many characters from the end of tmp_command.  */
1269       word = tmp_command + point - strlen (text);
1270     }
1271
1272   /* Move P up to the start of the command.  */
1273   p = skip_spaces (p);
1274
1275   if (*p == '\0')
1276     {
1277       /* An empty line is ambiguous; that is, it could be any
1278          command.  */
1279       c = CMD_LIST_AMBIGUOUS;
1280       result_list = 0;
1281     }
1282   else
1283     {
1284       c = lookup_cmd_1 (&p, cmdlist, &result_list, ignore_help_classes);
1285     }
1286
1287   /* Move p up to the next interesting thing.  */
1288   while (*p == ' ' || *p == '\t')
1289     {
1290       p++;
1291     }
1292
1293   tracker.advance_custom_word_point_by (p - tmp_command);
1294
1295   if (!c)
1296     {
1297       /* It is an unrecognized command.  So there are no
1298          possible completions.  */
1299     }
1300   else if (c == CMD_LIST_AMBIGUOUS)
1301     {
1302       const char *q;
1303
1304       /* lookup_cmd_1 advances p up to the first ambiguous thing, but
1305          doesn't advance over that thing itself.  Do so now.  */
1306       q = p;
1307       while (*q && (isalnum (*q) || *q == '-' || *q == '_'))
1308         ++q;
1309       if (q != tmp_command + point)
1310         {
1311           /* There is something beyond the ambiguous
1312              command, so there are no possible completions.  For
1313              example, "info t " or "info t foo" does not complete
1314              to anything, because "info t" can be "info target" or
1315              "info terminal".  */
1316         }
1317       else
1318         {
1319           /* We're trying to complete on the command which was ambiguous.
1320              This we can deal with.  */
1321           if (result_list)
1322             {
1323               if (reason != handle_brkchars)
1324                 complete_on_cmdlist (*result_list->prefixlist, tracker, p,
1325                                      word, ignore_help_classes);
1326             }
1327           else
1328             {
1329               if (reason != handle_brkchars)
1330                 complete_on_cmdlist (cmdlist, tracker, p, word,
1331                                      ignore_help_classes);
1332             }
1333           /* Ensure that readline does the right thing with respect to
1334              inserting quotes.  */
1335           set_rl_completer_word_break_characters
1336             (gdb_completer_command_word_break_characters);
1337         }
1338     }
1339   else
1340     {
1341       /* We've recognized a full command.  */
1342
1343       if (p == tmp_command + point)
1344         {
1345           /* There is no non-whitespace in the line beyond the
1346              command.  */
1347
1348           if (p[-1] == ' ' || p[-1] == '\t')
1349             {
1350               /* The command is followed by whitespace; we need to
1351                  complete on whatever comes after command.  */
1352               if (c->prefixlist)
1353                 {
1354                   /* It is a prefix command; what comes after it is
1355                      a subcommand (e.g. "info ").  */
1356                   if (reason != handle_brkchars)
1357                     complete_on_cmdlist (*c->prefixlist, tracker, p, word,
1358                                          ignore_help_classes);
1359
1360                   /* Ensure that readline does the right thing
1361                      with respect to inserting quotes.  */
1362                   set_rl_completer_word_break_characters
1363                     (gdb_completer_command_word_break_characters);
1364                 }
1365               else if (reason == handle_help)
1366                 ;
1367               else if (c->enums)
1368                 {
1369                   if (reason != handle_brkchars)
1370                     complete_on_enum (tracker, c->enums, p, word);
1371                   set_rl_completer_word_break_characters
1372                     (gdb_completer_command_word_break_characters);
1373                 }
1374               else
1375                 {
1376                   /* It is a normal command; what comes after it is
1377                      completed by the command's completer function.  */
1378                   complete_line_internal_normal_command (tracker,
1379                                                          tmp_command, word, p,
1380                                                          reason, c);
1381                 }
1382             }
1383           else
1384             {
1385               /* The command is not followed by whitespace; we need to
1386                  complete on the command itself, e.g. "p" which is a
1387                  command itself but also can complete to "print", "ptype"
1388                  etc.  */
1389               const char *q;
1390
1391               /* Find the command we are completing on.  */
1392               q = p;
1393               while (q > tmp_command)
1394                 {
1395                   if (isalnum (q[-1]) || q[-1] == '-' || q[-1] == '_')
1396                     --q;
1397                   else
1398                     break;
1399                 }
1400
1401               if (reason != handle_brkchars)
1402                 complete_on_cmdlist (result_list, tracker, q, word,
1403                                      ignore_help_classes);
1404
1405               /* Ensure that readline does the right thing
1406                  with respect to inserting quotes.  */
1407               set_rl_completer_word_break_characters
1408                 (gdb_completer_command_word_break_characters);
1409             }
1410         }
1411       else if (reason == handle_help)
1412         ;
1413       else
1414         {
1415           /* There is non-whitespace beyond the command.  */
1416
1417           if (c->prefixlist && !c->allow_unknown)
1418             {
1419               /* It is an unrecognized subcommand of a prefix command,
1420                  e.g. "info adsfkdj".  */
1421             }
1422           else if (c->enums)
1423             {
1424               if (reason != handle_brkchars)
1425                 complete_on_enum (tracker, c->enums, p, word);
1426             }
1427           else
1428             {
1429               /* It is a normal command.  */
1430               complete_line_internal_normal_command (tracker,
1431                                                      tmp_command, word, p,
1432                                                      reason, c);
1433             }
1434         }
1435     }
1436 }
1437
1438 /* Wrapper around complete_line_internal_1 to handle
1439    MAX_COMPLETIONS_REACHED_ERROR.  */
1440
1441 static void
1442 complete_line_internal (completion_tracker &tracker,
1443                         const char *text,
1444                         const char *line_buffer, int point,
1445                         complete_line_internal_reason reason)
1446 {
1447   try
1448     {
1449       complete_line_internal_1 (tracker, text, line_buffer, point, reason);
1450     }
1451   catch (const gdb_exception_error &except)
1452     {
1453       if (except.error != MAX_COMPLETIONS_REACHED_ERROR)
1454         throw;
1455     }
1456 }
1457
1458 /* See completer.h.  */
1459
1460 int max_completions = 200;
1461
1462 /* Initial size of the table.  It automagically grows from here.  */
1463 #define INITIAL_COMPLETION_HTAB_SIZE 200
1464
1465 /* See completer.h.  */
1466
1467 completion_tracker::completion_tracker ()
1468 {
1469   m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1470                                       htab_hash_string, streq_hash,
1471                                       NULL, xcalloc, xfree);
1472 }
1473
1474 /* See completer.h.  */
1475
1476 void
1477 completion_tracker::discard_completions ()
1478 {
1479   xfree (m_lowest_common_denominator);
1480   m_lowest_common_denominator = NULL;
1481
1482   m_lowest_common_denominator_unique = false;
1483
1484   m_entries_vec.clear ();
1485
1486   htab_delete (m_entries_hash);
1487   m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1488                                       htab_hash_string, streq_hash,
1489                                       NULL, xcalloc, xfree);
1490 }
1491
1492 /* See completer.h.  */
1493
1494 completion_tracker::~completion_tracker ()
1495 {
1496   xfree (m_lowest_common_denominator);
1497   htab_delete (m_entries_hash);
1498 }
1499
1500 /* See completer.h.  */
1501
1502 bool
1503 completion_tracker::maybe_add_completion
1504   (gdb::unique_xmalloc_ptr<char> name,
1505    completion_match_for_lcd *match_for_lcd,
1506    const char *text, const char *word)
1507 {
1508   void **slot;
1509
1510   if (max_completions == 0)
1511     return false;
1512
1513   if (htab_elements (m_entries_hash) >= max_completions)
1514     return false;
1515
1516   slot = htab_find_slot (m_entries_hash, name.get (), INSERT);
1517   if (*slot == HTAB_EMPTY_ENTRY)
1518     {
1519       const char *match_for_lcd_str = NULL;
1520
1521       if (match_for_lcd != NULL)
1522         match_for_lcd_str = match_for_lcd->finish ();
1523
1524       if (match_for_lcd_str == NULL)
1525         match_for_lcd_str = name.get ();
1526
1527       gdb::unique_xmalloc_ptr<char> lcd
1528         = make_completion_match_str (match_for_lcd_str, text, word);
1529
1530       recompute_lowest_common_denominator (std::move (lcd));
1531
1532       *slot = name.get ();
1533       m_entries_vec.push_back (std::move (name));
1534     }
1535
1536   return true;
1537 }
1538
1539 /* See completer.h.  */
1540
1541 void
1542 completion_tracker::add_completion (gdb::unique_xmalloc_ptr<char> name,
1543                                     completion_match_for_lcd *match_for_lcd,
1544                                     const char *text, const char *word)
1545 {
1546   if (!maybe_add_completion (std::move (name), match_for_lcd, text, word))
1547     throw_error (MAX_COMPLETIONS_REACHED_ERROR, _("Max completions reached."));
1548 }
1549
1550 /* See completer.h.  */
1551
1552 void
1553 completion_tracker::add_completions (completion_list &&list)
1554 {
1555   for (auto &candidate : list)
1556     add_completion (std::move (candidate));
1557 }
1558
1559 /* Helper for the make_completion_match_str overloads.  Returns NULL
1560    as an indication that we want MATCH_NAME exactly.  It is up to the
1561    caller to xstrdup that string if desired.  */
1562
1563 static char *
1564 make_completion_match_str_1 (const char *match_name,
1565                              const char *text, const char *word)
1566 {
1567   char *newobj;
1568
1569   if (word == text)
1570     {
1571       /* Return NULL as an indication that we want MATCH_NAME
1572          exactly.  */
1573       return NULL;
1574     }
1575   else if (word > text)
1576     {
1577       /* Return some portion of MATCH_NAME.  */
1578       newobj = xstrdup (match_name + (word - text));
1579     }
1580   else
1581     {
1582       /* Return some of WORD plus MATCH_NAME.  */
1583       size_t len = strlen (match_name);
1584       newobj = (char *) xmalloc (text - word + len + 1);
1585       memcpy (newobj, word, text - word);
1586       memcpy (newobj + (text - word), match_name, len + 1);
1587     }
1588
1589   return newobj;
1590 }
1591
1592 /* See completer.h.  */
1593
1594 gdb::unique_xmalloc_ptr<char>
1595 make_completion_match_str (const char *match_name,
1596                            const char *text, const char *word)
1597 {
1598   char *newobj = make_completion_match_str_1 (match_name, text, word);
1599   if (newobj == NULL)
1600     newobj = xstrdup (match_name);
1601   return gdb::unique_xmalloc_ptr<char> (newobj);
1602 }
1603
1604 /* See completer.h.  */
1605
1606 gdb::unique_xmalloc_ptr<char>
1607 make_completion_match_str (gdb::unique_xmalloc_ptr<char> &&match_name,
1608                            const char *text, const char *word)
1609 {
1610   char *newobj = make_completion_match_str_1 (match_name.get (), text, word);
1611   if (newobj == NULL)
1612     return std::move (match_name);
1613   return gdb::unique_xmalloc_ptr<char> (newobj);
1614 }
1615
1616 /* See complete.h.  */
1617
1618 completion_result
1619 complete (const char *line, char const **word, int *quote_char)
1620 {
1621   completion_tracker tracker_handle_brkchars;
1622   completion_tracker tracker_handle_completions;
1623   completion_tracker *tracker;
1624
1625   /* The WORD should be set to the end of word to complete.  We initialize
1626      to the completion point which is assumed to be at the end of LINE.
1627      This leaves WORD to be initialized to a sensible value in cases
1628      completion_find_completion_word() fails i.e., throws an exception.
1629      See bug 24587. */
1630   *word = line + strlen (line);
1631
1632   try
1633     {
1634       *word = completion_find_completion_word (tracker_handle_brkchars,
1635                                               line, quote_char);
1636
1637       /* Completers that provide a custom word point in the
1638          handle_brkchars phase also compute their completions then.
1639          Completers that leave the completion word handling to readline
1640          must be called twice.  */
1641       if (tracker_handle_brkchars.use_custom_word_point ())
1642         tracker = &tracker_handle_brkchars;
1643       else
1644         {
1645           complete_line (tracker_handle_completions, *word, line, strlen (line));
1646           tracker = &tracker_handle_completions;
1647         }
1648     }
1649   catch (const gdb_exception &ex)
1650     {
1651       return {};
1652     }
1653
1654   return tracker->build_completion_result (*word, *word - line, strlen (line));
1655 }
1656
1657
1658 /* Generate completions all at once.  Does nothing if max_completions
1659    is 0.  If max_completions is non-negative, this will collect at
1660    most max_completions strings.
1661
1662    TEXT is the caller's idea of the "word" we are looking at.
1663
1664    LINE_BUFFER is available to be looked at; it contains the entire
1665    text of the line.
1666
1667    POINT is the offset in that line of the cursor.  You
1668    should pretend that the line ends at POINT.  */
1669
1670 void
1671 complete_line (completion_tracker &tracker,
1672                const char *text, const char *line_buffer, int point)
1673 {
1674   if (max_completions == 0)
1675     return;
1676   complete_line_internal (tracker, text, line_buffer, point,
1677                           handle_completions);
1678 }
1679
1680 /* Complete on command names.  Used by "help".  */
1681
1682 void
1683 command_completer (struct cmd_list_element *ignore, 
1684                    completion_tracker &tracker,
1685                    const char *text, const char *word)
1686 {
1687   complete_line_internal (tracker, word, text,
1688                           strlen (text), handle_help);
1689 }
1690
1691 /* The corresponding completer_handle_brkchars implementation.  */
1692
1693 static void
1694 command_completer_handle_brkchars (struct cmd_list_element *ignore,
1695                                    completion_tracker &tracker,
1696                                    const char *text, const char *word)
1697 {
1698   set_rl_completer_word_break_characters
1699     (gdb_completer_command_word_break_characters);
1700 }
1701
1702 /* Complete on signals.  */
1703
1704 void
1705 signal_completer (struct cmd_list_element *ignore,
1706                   completion_tracker &tracker,
1707                   const char *text, const char *word)
1708 {
1709   size_t len = strlen (word);
1710   int signum;
1711   const char *signame;
1712
1713   for (signum = GDB_SIGNAL_FIRST; signum != GDB_SIGNAL_LAST; ++signum)
1714     {
1715       /* Can't handle this, so skip it.  */
1716       if (signum == GDB_SIGNAL_0)
1717         continue;
1718
1719       signame = gdb_signal_to_name ((enum gdb_signal) signum);
1720
1721       /* Ignore the unknown signal case.  */
1722       if (!signame || strcmp (signame, "?") == 0)
1723         continue;
1724
1725       if (strncasecmp (signame, word, len) == 0)
1726         {
1727           gdb::unique_xmalloc_ptr<char> copy (xstrdup (signame));
1728           tracker.add_completion (std::move (copy));
1729         }
1730     }
1731 }
1732
1733 /* Bit-flags for selecting what the register and/or register-group
1734    completer should complete on.  */
1735
1736 enum reg_completer_target
1737   {
1738     complete_register_names = 0x1,
1739     complete_reggroup_names = 0x2
1740   };
1741 DEF_ENUM_FLAGS_TYPE (enum reg_completer_target, reg_completer_targets);
1742
1743 /* Complete register names and/or reggroup names based on the value passed
1744    in TARGETS.  At least one bit in TARGETS must be set.  */
1745
1746 static void
1747 reg_or_group_completer_1 (completion_tracker &tracker,
1748                           const char *text, const char *word,
1749                           reg_completer_targets targets)
1750 {
1751   size_t len = strlen (word);
1752   struct gdbarch *gdbarch;
1753   const char *name;
1754
1755   gdb_assert ((targets & (complete_register_names
1756                           | complete_reggroup_names)) != 0);
1757   gdbarch = get_current_arch ();
1758
1759   if ((targets & complete_register_names) != 0)
1760     {
1761       int i;
1762
1763       for (i = 0;
1764            (name = user_reg_map_regnum_to_name (gdbarch, i)) != NULL;
1765            i++)
1766         {
1767           if (*name != '\0' && strncmp (word, name, len) == 0)
1768             {
1769               gdb::unique_xmalloc_ptr<char> copy (xstrdup (name));
1770               tracker.add_completion (std::move (copy));
1771             }
1772         }
1773     }
1774
1775   if ((targets & complete_reggroup_names) != 0)
1776     {
1777       struct reggroup *group;
1778
1779       for (group = reggroup_next (gdbarch, NULL);
1780            group != NULL;
1781            group = reggroup_next (gdbarch, group))
1782         {
1783           name = reggroup_name (group);
1784           if (strncmp (word, name, len) == 0)
1785             {
1786               gdb::unique_xmalloc_ptr<char> copy (xstrdup (name));
1787               tracker.add_completion (std::move (copy));
1788             }
1789         }
1790     }
1791 }
1792
1793 /* Perform completion on register and reggroup names.  */
1794
1795 void
1796 reg_or_group_completer (struct cmd_list_element *ignore,
1797                         completion_tracker &tracker,
1798                         const char *text, const char *word)
1799 {
1800   reg_or_group_completer_1 (tracker, text, word,
1801                             (complete_register_names
1802                              | complete_reggroup_names));
1803 }
1804
1805 /* Perform completion on reggroup names.  */
1806
1807 void
1808 reggroup_completer (struct cmd_list_element *ignore,
1809                     completion_tracker &tracker,
1810                     const char *text, const char *word)
1811 {
1812   reg_or_group_completer_1 (tracker, text, word,
1813                             complete_reggroup_names);
1814 }
1815
1816 /* The default completer_handle_brkchars implementation.  */
1817
1818 static void
1819 default_completer_handle_brkchars (struct cmd_list_element *ignore,
1820                                    completion_tracker &tracker,
1821                                    const char *text, const char *word)
1822 {
1823   set_rl_completer_word_break_characters
1824     (current_language->la_word_break_characters ());
1825 }
1826
1827 /* See definition in completer.h.  */
1828
1829 completer_handle_brkchars_ftype *
1830 completer_handle_brkchars_func_for_completer (completer_ftype *fn)
1831 {
1832   if (fn == filename_completer)
1833     return filename_completer_handle_brkchars;
1834
1835   if (fn == location_completer)
1836     return location_completer_handle_brkchars;
1837
1838   if (fn == command_completer)
1839     return command_completer_handle_brkchars;
1840
1841   return default_completer_handle_brkchars;
1842 }
1843
1844 /* Used as brkchars when we want to tell readline we have a custom
1845    word point.  We do that by making our rl_completion_word_break_hook
1846    set RL_POINT to the desired word point, and return the character at
1847    the word break point as the break char.  This is two bytes in order
1848    to fit one break character plus the terminating null.  */
1849 static char gdb_custom_word_point_brkchars[2];
1850
1851 /* Since rl_basic_quote_characters is not completer-specific, we save
1852    its original value here, in order to be able to restore it in
1853    gdb_rl_attempted_completion_function.  */
1854 static const char *gdb_org_rl_basic_quote_characters = rl_basic_quote_characters;
1855
1856 /* Get the list of chars that are considered as word breaks
1857    for the current command.  */
1858
1859 static char *
1860 gdb_completion_word_break_characters_throw ()
1861 {
1862   /* New completion starting.  Get rid of the previous tracker and
1863      start afresh.  */
1864   delete current_completion.tracker;
1865   current_completion.tracker = new completion_tracker ();
1866
1867   completion_tracker &tracker = *current_completion.tracker;
1868
1869   complete_line_internal (tracker, NULL, rl_line_buffer,
1870                           rl_point, handle_brkchars);
1871
1872   if (tracker.use_custom_word_point ())
1873     {
1874       gdb_assert (tracker.custom_word_point () > 0);
1875       rl_point = tracker.custom_word_point () - 1;
1876       gdb_custom_word_point_brkchars[0] = rl_line_buffer[rl_point];
1877       rl_completer_word_break_characters = gdb_custom_word_point_brkchars;
1878       rl_completer_quote_characters = NULL;
1879
1880       /* Clear this too, so that if we're completing a quoted string,
1881          readline doesn't consider the quote character a delimiter.
1882          If we didn't do this, readline would auto-complete {b
1883          'fun<tab>} to {'b 'function()'}, i.e., add the terminating
1884          \', but, it wouldn't append the separator space either, which
1885          is not desirable.  So instead we take care of appending the
1886          quote character to the LCD ourselves, in
1887          gdb_rl_attempted_completion_function.  Since this global is
1888          not just completer-specific, we'll restore it back to the
1889          default in gdb_rl_attempted_completion_function.  */
1890       rl_basic_quote_characters = NULL;
1891     }
1892
1893   return rl_completer_word_break_characters;
1894 }
1895
1896 char *
1897 gdb_completion_word_break_characters ()
1898 {
1899   /* New completion starting.  */
1900   current_completion.aborted = false;
1901
1902   try
1903     {
1904       return gdb_completion_word_break_characters_throw ();
1905     }
1906   catch (const gdb_exception &ex)
1907     {
1908       /* Set this to that gdb_rl_attempted_completion_function knows
1909          to abort early.  */
1910       current_completion.aborted = true;
1911     }
1912
1913   return NULL;
1914 }
1915
1916 /* See completer.h.  */
1917
1918 const char *
1919 completion_find_completion_word (completion_tracker &tracker, const char *text,
1920                                  int *quote_char)
1921 {
1922   size_t point = strlen (text);
1923
1924   complete_line_internal (tracker, NULL, text, point, handle_brkchars);
1925
1926   if (tracker.use_custom_word_point ())
1927     {
1928       gdb_assert (tracker.custom_word_point () > 0);
1929       *quote_char = tracker.quote_char ();
1930       return text + tracker.custom_word_point ();
1931     }
1932
1933   gdb_rl_completion_word_info info;
1934
1935   info.word_break_characters = rl_completer_word_break_characters;
1936   info.quote_characters = gdb_completer_quote_characters;
1937   info.basic_quote_characters = rl_basic_quote_characters;
1938
1939   return gdb_rl_find_completion_word (&info, quote_char, NULL, text);
1940 }
1941
1942 /* See completer.h.  */
1943
1944 void
1945 completion_tracker::recompute_lowest_common_denominator
1946   (gdb::unique_xmalloc_ptr<char> &&new_match_up)
1947 {
1948   if (m_lowest_common_denominator == NULL)
1949     {
1950       /* We don't have a lowest common denominator yet, so simply take
1951          the whole NEW_MATCH_UP as being it.  */
1952       m_lowest_common_denominator = new_match_up.release ();
1953       m_lowest_common_denominator_unique = true;
1954     }
1955   else
1956     {
1957       /* Find the common denominator between the currently-known
1958          lowest common denominator and NEW_MATCH_UP.  That becomes the
1959          new lowest common denominator.  */
1960       size_t i;
1961       const char *new_match = new_match_up.get ();
1962
1963       for (i = 0;
1964            (new_match[i] != '\0'
1965             && new_match[i] == m_lowest_common_denominator[i]);
1966            i++)
1967         ;
1968       if (m_lowest_common_denominator[i] != new_match[i])
1969         {
1970           m_lowest_common_denominator[i] = '\0';
1971           m_lowest_common_denominator_unique = false;
1972         }
1973     }
1974 }
1975
1976 /* See completer.h.  */
1977
1978 void
1979 completion_tracker::advance_custom_word_point_by (size_t len)
1980 {
1981   m_custom_word_point += len;
1982 }
1983
1984 /* Build a new C string that is a copy of LCD with the whitespace of
1985    ORIG/ORIG_LEN preserved.
1986
1987    Say the user is completing a symbol name, with spaces, like:
1988
1989      "foo ( i"
1990
1991    and the resulting completion match is:
1992
1993      "foo(int)"
1994
1995    we want to end up with an input line like:
1996
1997      "foo ( int)"
1998       ^^^^^^^      => text from LCD [1], whitespace from ORIG preserved.
1999              ^^    => new text from LCD
2000
2001    [1] - We must take characters from the LCD instead of the original
2002    text, since some completions want to change upper/lowercase.  E.g.:
2003
2004      "handle sig<>"
2005
2006    completes to:
2007
2008      "handle SIG[QUIT|etc.]"
2009 */
2010
2011 static char *
2012 expand_preserving_ws (const char *orig, size_t orig_len,
2013                       const char *lcd)
2014 {
2015   const char *p_orig = orig;
2016   const char *orig_end = orig + orig_len;
2017   const char *p_lcd = lcd;
2018   std::string res;
2019
2020   while (p_orig < orig_end)
2021     {
2022       if (*p_orig == ' ')
2023         {
2024           while (p_orig < orig_end && *p_orig == ' ')
2025             res += *p_orig++;
2026           p_lcd = skip_spaces (p_lcd);
2027         }
2028       else
2029         {
2030           /* Take characters from the LCD instead of the original
2031              text, since some completions change upper/lowercase.
2032              E.g.:
2033                "handle sig<>"
2034              completes to:
2035                "handle SIG[QUIT|etc.]"
2036           */
2037           res += *p_lcd;
2038           p_orig++;
2039           p_lcd++;
2040         }
2041     }
2042
2043   while (*p_lcd != '\0')
2044     res += *p_lcd++;
2045
2046   return xstrdup (res.c_str ());
2047 }
2048
2049 /* See completer.h.  */
2050
2051 completion_result
2052 completion_tracker::build_completion_result (const char *text,
2053                                              int start, int end)
2054 {
2055   completion_list &list = m_entries_vec;        /* The completions.  */
2056
2057   if (list.empty ())
2058     return {};
2059
2060   /* +1 for the LCD, and +1 for NULL termination.  */
2061   char **match_list = XNEWVEC (char *, 1 + list.size () + 1);
2062
2063   /* Build replacement word, based on the LCD.  */
2064
2065   match_list[0]
2066     = expand_preserving_ws (text, end - start,
2067                             m_lowest_common_denominator);
2068
2069   if (m_lowest_common_denominator_unique)
2070     {
2071       /* We don't rely on readline appending the quote char as
2072          delimiter as then readline wouldn't append the ' ' after the
2073          completion.  */
2074       char buf[2] = { (char) quote_char () };
2075
2076       match_list[0] = reconcat (match_list[0], match_list[0],
2077                                 buf, (char *) NULL);
2078       match_list[1] = NULL;
2079
2080       /* If the tracker wants to, or we already have a space at the
2081          end of the match, tell readline to skip appending
2082          another.  */
2083       bool completion_suppress_append
2084         = (suppress_append_ws ()
2085            || match_list[0][strlen (match_list[0]) - 1] == ' ');
2086
2087       return completion_result (match_list, 1, completion_suppress_append);
2088     }
2089   else
2090     {
2091       int ix;
2092
2093       for (ix = 0; ix < list.size (); ++ix)
2094         match_list[ix + 1] = list[ix].release ();
2095       match_list[ix + 1] = NULL;
2096
2097       return completion_result (match_list, list.size (), false);
2098     }
2099 }
2100
2101 /* See completer.h  */
2102
2103 completion_result::completion_result ()
2104   : match_list (NULL), number_matches (0),
2105     completion_suppress_append (false)
2106 {}
2107
2108 /* See completer.h  */
2109
2110 completion_result::completion_result (char **match_list_,
2111                                       size_t number_matches_,
2112                                       bool completion_suppress_append_)
2113   : match_list (match_list_),
2114     number_matches (number_matches_),
2115     completion_suppress_append (completion_suppress_append_)
2116 {}
2117
2118 /* See completer.h  */
2119
2120 completion_result::~completion_result ()
2121 {
2122   reset_match_list ();
2123 }
2124
2125 /* See completer.h  */
2126
2127 completion_result::completion_result (completion_result &&rhs)
2128 {
2129   if (this == &rhs)
2130     return;
2131
2132   reset_match_list ();
2133   match_list = rhs.match_list;
2134   rhs.match_list = NULL;
2135   number_matches = rhs.number_matches;
2136   rhs.number_matches = 0;
2137 }
2138
2139 /* See completer.h  */
2140
2141 char **
2142 completion_result::release_match_list ()
2143 {
2144   char **ret = match_list;
2145   match_list = NULL;
2146   return ret;
2147 }
2148
2149 /* See completer.h  */
2150
2151 void
2152 completion_result::sort_match_list ()
2153 {
2154   if (number_matches > 1)
2155     {
2156       /* Element 0 is special (it's the common prefix), leave it
2157          be.  */
2158       std::sort (&match_list[1],
2159                  &match_list[number_matches + 1],
2160                  compare_cstrings);
2161     }
2162 }
2163
2164 /* See completer.h  */
2165
2166 void
2167 completion_result::reset_match_list ()
2168 {
2169   if (match_list != NULL)
2170     {
2171       for (char **p = match_list; *p != NULL; p++)
2172         xfree (*p);
2173       xfree (match_list);
2174       match_list = NULL;
2175     }
2176 }
2177
2178 /* Helper for gdb_rl_attempted_completion_function, which does most of
2179    the work.  This is called by readline to build the match list array
2180    and to determine the lowest common denominator.  The real matches
2181    list starts at match[1], while match[0] is the slot holding
2182    readline's idea of the lowest common denominator of all matches,
2183    which is what readline replaces the completion "word" with.
2184
2185    TEXT is the caller's idea of the "word" we are looking at, as
2186    computed in the handle_brkchars phase.
2187
2188    START is the offset from RL_LINE_BUFFER where TEXT starts.  END is
2189    the offset from RL_LINE_BUFFER where TEXT ends (i.e., where
2190    rl_point is).
2191
2192    You should thus pretend that the line ends at END (relative to
2193    RL_LINE_BUFFER).
2194
2195    RL_LINE_BUFFER contains the entire text of the line.  RL_POINT is
2196    the offset in that line of the cursor.  You should pretend that the
2197    line ends at POINT.
2198
2199    Returns NULL if there are no completions.  */
2200
2201 static char **
2202 gdb_rl_attempted_completion_function_throw (const char *text, int start, int end)
2203 {
2204   /* Completers that provide a custom word point in the
2205      handle_brkchars phase also compute their completions then.
2206      Completers that leave the completion word handling to readline
2207      must be called twice.  If rl_point (i.e., END) is at column 0,
2208      then readline skips the handle_brkchars phase, and so we create a
2209      tracker now in that case too.  */
2210   if (end == 0 || !current_completion.tracker->use_custom_word_point ())
2211     {
2212       delete current_completion.tracker;
2213       current_completion.tracker = new completion_tracker ();
2214
2215       complete_line (*current_completion.tracker, text,
2216                      rl_line_buffer, rl_point);
2217     }
2218
2219   completion_tracker &tracker = *current_completion.tracker;
2220
2221   completion_result result
2222     = tracker.build_completion_result (text, start, end);
2223
2224   rl_completion_suppress_append = result.completion_suppress_append;
2225   return result.release_match_list ();
2226 }
2227
2228 /* Function installed as "rl_attempted_completion_function" readline
2229    hook.  Wrapper around gdb_rl_attempted_completion_function_throw
2230    that catches C++ exceptions, which can't cross readline.  */
2231
2232 char **
2233 gdb_rl_attempted_completion_function (const char *text, int start, int end)
2234 {
2235   /* Restore globals that might have been tweaked in
2236      gdb_completion_word_break_characters.  */
2237   rl_basic_quote_characters = gdb_org_rl_basic_quote_characters;
2238
2239   /* If we end up returning NULL, either on error, or simple because
2240      there are no matches, inhibit readline's default filename
2241      completer.  */
2242   rl_attempted_completion_over = 1;
2243
2244   /* If the handle_brkchars phase was aborted, don't try
2245      completing.  */
2246   if (current_completion.aborted)
2247     return NULL;
2248
2249   try
2250     {
2251       return gdb_rl_attempted_completion_function_throw (text, start, end);
2252     }
2253   catch (const gdb_exception &ex)
2254     {
2255     }
2256
2257   return NULL;
2258 }
2259
2260 /* Skip over the possibly quoted word STR (as defined by the quote
2261    characters QUOTECHARS and the word break characters BREAKCHARS).
2262    Returns pointer to the location after the "word".  If either
2263    QUOTECHARS or BREAKCHARS is NULL, use the same values used by the
2264    completer.  */
2265
2266 const char *
2267 skip_quoted_chars (const char *str, const char *quotechars,
2268                    const char *breakchars)
2269 {
2270   char quote_char = '\0';
2271   const char *scan;
2272
2273   if (quotechars == NULL)
2274     quotechars = gdb_completer_quote_characters;
2275
2276   if (breakchars == NULL)
2277     breakchars = current_language->la_word_break_characters();
2278
2279   for (scan = str; *scan != '\0'; scan++)
2280     {
2281       if (quote_char != '\0')
2282         {
2283           /* Ignore everything until the matching close quote char.  */
2284           if (*scan == quote_char)
2285             {
2286               /* Found matching close quote.  */
2287               scan++;
2288               break;
2289             }
2290         }
2291       else if (strchr (quotechars, *scan))
2292         {
2293           /* Found start of a quoted string.  */
2294           quote_char = *scan;
2295         }
2296       else if (strchr (breakchars, *scan))
2297         {
2298           break;
2299         }
2300     }
2301
2302   return (scan);
2303 }
2304
2305 /* Skip over the possibly quoted word STR (as defined by the quote
2306    characters and word break characters used by the completer).
2307    Returns pointer to the location after the "word".  */
2308
2309 const char *
2310 skip_quoted (const char *str)
2311 {
2312   return skip_quoted_chars (str, NULL, NULL);
2313 }
2314
2315 /* Return a message indicating that the maximum number of completions
2316    has been reached and that there may be more.  */
2317
2318 const char *
2319 get_max_completions_reached_message (void)
2320 {
2321   return _("*** List may be truncated, max-completions reached. ***");
2322 }
2323 \f
2324 /* GDB replacement for rl_display_match_list.
2325    Readline doesn't provide a clean interface for TUI(curses).
2326    A hack previously used was to send readline's rl_outstream through a pipe
2327    and read it from the event loop.  Bleah.  IWBN if readline abstracted
2328    away all the necessary bits, and this is what this code does.  It
2329    replicates the parts of readline we need and then adds an abstraction
2330    layer, currently implemented as struct match_list_displayer, so that both
2331    CLI and TUI can use it.  We copy all this readline code to minimize
2332    GDB-specific mods to readline.  Once this code performs as desired then
2333    we can submit it to the readline maintainers.
2334
2335    N.B. A lot of the code is the way it is in order to minimize differences
2336    from readline's copy.  */
2337
2338 /* Not supported here.  */
2339 #undef VISIBLE_STATS
2340
2341 #if defined (HANDLE_MULTIBYTE)
2342 #define MB_INVALIDCH(x) ((x) == (size_t)-1 || (x) == (size_t)-2)
2343 #define MB_NULLWCH(x)   ((x) == 0)
2344 #endif
2345
2346 #define ELLIPSIS_LEN    3
2347
2348 /* gdb version of readline/complete.c:get_y_or_n.
2349    'y' -> returns 1, and 'n' -> returns 0.
2350    Also supported: space == 'y', RUBOUT == 'n', ctrl-g == start over.
2351    If FOR_PAGER is non-zero, then also supported are:
2352    NEWLINE or RETURN -> returns 2, and 'q' -> returns 0.  */
2353
2354 static int
2355 gdb_get_y_or_n (int for_pager, const struct match_list_displayer *displayer)
2356 {
2357   int c;
2358
2359   for (;;)
2360     {
2361       RL_SETSTATE (RL_STATE_MOREINPUT);
2362       c = displayer->read_key (displayer);
2363       RL_UNSETSTATE (RL_STATE_MOREINPUT);
2364
2365       if (c == 'y' || c == 'Y' || c == ' ')
2366         return 1;
2367       if (c == 'n' || c == 'N' || c == RUBOUT)
2368         return 0;
2369       if (c == ABORT_CHAR || c < 0)
2370         {
2371           /* Readline doesn't erase_entire_line here, but without it the
2372              --More-- prompt isn't erased and neither is the text entered
2373              thus far redisplayed.  */
2374           displayer->erase_entire_line (displayer);
2375           /* Note: The arguments to rl_abort are ignored.  */
2376           rl_abort (0, 0);
2377         }
2378       if (for_pager && (c == NEWLINE || c == RETURN))
2379         return 2;
2380       if (for_pager && (c == 'q' || c == 'Q'))
2381         return 0;
2382       displayer->beep (displayer);
2383     }
2384 }
2385
2386 /* Pager function for tab-completion.
2387    This is based on readline/complete.c:_rl_internal_pager.
2388    LINES is the number of lines of output displayed thus far.
2389    Returns:
2390    -1 -> user pressed 'n' or equivalent,
2391    0 -> user pressed 'y' or equivalent,
2392    N -> user pressed NEWLINE or equivalent and N is LINES - 1.  */
2393
2394 static int
2395 gdb_display_match_list_pager (int lines,
2396                               const struct match_list_displayer *displayer)
2397 {
2398   int i;
2399
2400   displayer->puts (displayer, "--More--");
2401   displayer->flush (displayer);
2402   i = gdb_get_y_or_n (1, displayer);
2403   displayer->erase_entire_line (displayer);
2404   if (i == 0)
2405     return -1;
2406   else if (i == 2)
2407     return (lines - 1);
2408   else
2409     return 0;
2410 }
2411
2412 /* Return non-zero if FILENAME is a directory.
2413    Based on readline/complete.c:path_isdir.  */
2414
2415 static int
2416 gdb_path_isdir (const char *filename)
2417 {
2418   struct stat finfo;
2419
2420   return (stat (filename, &finfo) == 0 && S_ISDIR (finfo.st_mode));
2421 }
2422
2423 /* Return the portion of PATHNAME that should be output when listing
2424    possible completions.  If we are hacking filename completion, we
2425    are only interested in the basename, the portion following the
2426    final slash.  Otherwise, we return what we were passed.  Since
2427    printing empty strings is not very informative, if we're doing
2428    filename completion, and the basename is the empty string, we look
2429    for the previous slash and return the portion following that.  If
2430    there's no previous slash, we just return what we were passed.
2431
2432    Based on readline/complete.c:printable_part.  */
2433
2434 static char *
2435 gdb_printable_part (char *pathname)
2436 {
2437   char *temp, *x;
2438
2439   if (rl_filename_completion_desired == 0)      /* don't need to do anything */
2440     return (pathname);
2441
2442   temp = strrchr (pathname, '/');
2443 #if defined (__MSDOS__)
2444   if (temp == 0 && ISALPHA ((unsigned char)pathname[0]) && pathname[1] == ':')
2445     temp = pathname + 1;
2446 #endif
2447
2448   if (temp == 0 || *temp == '\0')
2449     return (pathname);
2450   /* If the basename is NULL, we might have a pathname like '/usr/src/'.
2451      Look for a previous slash and, if one is found, return the portion
2452      following that slash.  If there's no previous slash, just return the
2453      pathname we were passed. */
2454   else if (temp[1] == '\0')
2455     {
2456       for (x = temp - 1; x > pathname; x--)
2457         if (*x == '/')
2458           break;
2459       return ((*x == '/') ? x + 1 : pathname);
2460     }
2461   else
2462     return ++temp;
2463 }
2464
2465 /* Compute width of STRING when displayed on screen by print_filename.
2466    Based on readline/complete.c:fnwidth.  */
2467
2468 static int
2469 gdb_fnwidth (const char *string)
2470 {
2471   int width, pos;
2472 #if defined (HANDLE_MULTIBYTE)
2473   mbstate_t ps;
2474   int left, w;
2475   size_t clen;
2476   wchar_t wc;
2477
2478   left = strlen (string) + 1;
2479   memset (&ps, 0, sizeof (mbstate_t));
2480 #endif
2481
2482   width = pos = 0;
2483   while (string[pos])
2484     {
2485       if (CTRL_CHAR (string[pos]) || string[pos] == RUBOUT)
2486         {
2487           width += 2;
2488           pos++;
2489         }
2490       else
2491         {
2492 #if defined (HANDLE_MULTIBYTE)
2493           clen = mbrtowc (&wc, string + pos, left - pos, &ps);
2494           if (MB_INVALIDCH (clen))
2495             {
2496               width++;
2497               pos++;
2498               memset (&ps, 0, sizeof (mbstate_t));
2499             }
2500           else if (MB_NULLWCH (clen))
2501             break;
2502           else
2503             {
2504               pos += clen;
2505               w = wcwidth (wc);
2506               width += (w >= 0) ? w : 1;
2507             }
2508 #else
2509           width++;
2510           pos++;
2511 #endif
2512         }
2513     }
2514
2515   return width;
2516 }
2517
2518 /* Print TO_PRINT, one matching completion.
2519    PREFIX_BYTES is number of common prefix bytes.
2520    Based on readline/complete.c:fnprint.  */
2521
2522 static int
2523 gdb_fnprint (const char *to_print, int prefix_bytes,
2524              const struct match_list_displayer *displayer)
2525 {
2526   int printed_len, w;
2527   const char *s;
2528 #if defined (HANDLE_MULTIBYTE)
2529   mbstate_t ps;
2530   const char *end;
2531   size_t tlen;
2532   int width;
2533   wchar_t wc;
2534
2535   end = to_print + strlen (to_print) + 1;
2536   memset (&ps, 0, sizeof (mbstate_t));
2537 #endif
2538
2539   printed_len = 0;
2540
2541   /* Don't print only the ellipsis if the common prefix is one of the
2542      possible completions */
2543   if (to_print[prefix_bytes] == '\0')
2544     prefix_bytes = 0;
2545
2546   if (prefix_bytes)
2547     {
2548       char ellipsis;
2549
2550       ellipsis = (to_print[prefix_bytes] == '.') ? '_' : '.';
2551       for (w = 0; w < ELLIPSIS_LEN; w++)
2552         displayer->putch (displayer, ellipsis);
2553       printed_len = ELLIPSIS_LEN;
2554     }
2555
2556   s = to_print + prefix_bytes;
2557   while (*s)
2558     {
2559       if (CTRL_CHAR (*s))
2560         {
2561           displayer->putch (displayer, '^');
2562           displayer->putch (displayer, UNCTRL (*s));
2563           printed_len += 2;
2564           s++;
2565 #if defined (HANDLE_MULTIBYTE)
2566           memset (&ps, 0, sizeof (mbstate_t));
2567 #endif
2568         }
2569       else if (*s == RUBOUT)
2570         {
2571           displayer->putch (displayer, '^');
2572           displayer->putch (displayer, '?');
2573           printed_len += 2;
2574           s++;
2575 #if defined (HANDLE_MULTIBYTE)
2576           memset (&ps, 0, sizeof (mbstate_t));
2577 #endif
2578         }
2579       else
2580         {
2581 #if defined (HANDLE_MULTIBYTE)
2582           tlen = mbrtowc (&wc, s, end - s, &ps);
2583           if (MB_INVALIDCH (tlen))
2584             {
2585               tlen = 1;
2586               width = 1;
2587               memset (&ps, 0, sizeof (mbstate_t));
2588             }
2589           else if (MB_NULLWCH (tlen))
2590             break;
2591           else
2592             {
2593               w = wcwidth (wc);
2594               width = (w >= 0) ? w : 1;
2595             }
2596           for (w = 0; w < tlen; ++w)
2597             displayer->putch (displayer, s[w]);
2598           s += tlen;
2599           printed_len += width;
2600 #else
2601           displayer->putch (displayer, *s);
2602           s++;
2603           printed_len++;
2604 #endif
2605         }
2606     }
2607
2608   return printed_len;
2609 }
2610
2611 /* Output TO_PRINT to rl_outstream.  If VISIBLE_STATS is defined and we
2612    are using it, check for and output a single character for `special'
2613    filenames.  Return the number of characters we output.
2614    Based on readline/complete.c:print_filename.  */
2615
2616 static int
2617 gdb_print_filename (char *to_print, char *full_pathname, int prefix_bytes,
2618                     const struct match_list_displayer *displayer)
2619 {
2620   int printed_len, extension_char, slen, tlen;
2621   char *s, c, *new_full_pathname;
2622   const char *dn;
2623   extern int _rl_complete_mark_directories;
2624
2625   extension_char = 0;
2626   printed_len = gdb_fnprint (to_print, prefix_bytes, displayer);
2627
2628 #if defined (VISIBLE_STATS)
2629  if (rl_filename_completion_desired && (rl_visible_stats || _rl_complete_mark_directories))
2630 #else
2631  if (rl_filename_completion_desired && _rl_complete_mark_directories)
2632 #endif
2633     {
2634       /* If to_print != full_pathname, to_print is the basename of the
2635          path passed.  In this case, we try to expand the directory
2636          name before checking for the stat character. */
2637       if (to_print != full_pathname)
2638         {
2639           /* Terminate the directory name. */
2640           c = to_print[-1];
2641           to_print[-1] = '\0';
2642
2643           /* If setting the last slash in full_pathname to a NUL results in
2644              full_pathname being the empty string, we are trying to complete
2645              files in the root directory.  If we pass a null string to the
2646              bash directory completion hook, for example, it will expand it
2647              to the current directory.  We just want the `/'. */
2648           if (full_pathname == 0 || *full_pathname == 0)
2649             dn = "/";
2650           else if (full_pathname[0] != '/')
2651             dn = full_pathname;
2652           else if (full_pathname[1] == 0)
2653             dn = "//";          /* restore trailing slash to `//' */
2654           else if (full_pathname[1] == '/' && full_pathname[2] == 0)
2655             dn = "/";           /* don't turn /// into // */
2656           else
2657             dn = full_pathname;
2658           s = tilde_expand (dn);
2659           if (rl_directory_completion_hook)
2660             (*rl_directory_completion_hook) (&s);
2661
2662           slen = strlen (s);
2663           tlen = strlen (to_print);
2664           new_full_pathname = (char *)xmalloc (slen + tlen + 2);
2665           strcpy (new_full_pathname, s);
2666           if (s[slen - 1] == '/')
2667             slen--;
2668           else
2669             new_full_pathname[slen] = '/';
2670           new_full_pathname[slen] = '/';
2671           strcpy (new_full_pathname + slen + 1, to_print);
2672
2673 #if defined (VISIBLE_STATS)
2674           if (rl_visible_stats)
2675             extension_char = stat_char (new_full_pathname);
2676           else
2677 #endif
2678           if (gdb_path_isdir (new_full_pathname))
2679             extension_char = '/';
2680
2681           xfree (new_full_pathname);
2682           to_print[-1] = c;
2683         }
2684       else
2685         {
2686           s = tilde_expand (full_pathname);
2687 #if defined (VISIBLE_STATS)
2688           if (rl_visible_stats)
2689             extension_char = stat_char (s);
2690           else
2691 #endif
2692             if (gdb_path_isdir (s))
2693               extension_char = '/';
2694         }
2695
2696       xfree (s);
2697       if (extension_char)
2698         {
2699           displayer->putch (displayer, extension_char);
2700           printed_len++;
2701         }
2702     }
2703
2704   return printed_len;
2705 }
2706
2707 /* GDB version of readline/complete.c:complete_get_screenwidth.  */
2708
2709 static int
2710 gdb_complete_get_screenwidth (const struct match_list_displayer *displayer)
2711 {
2712   /* Readline has other stuff here which it's not clear we need.  */
2713   return displayer->width;
2714 }
2715
2716 extern int _rl_completion_prefix_display_length;
2717 extern int _rl_print_completions_horizontally;
2718
2719 EXTERN_C int _rl_qsort_string_compare (const void *, const void *);
2720 typedef int QSFUNC (const void *, const void *);
2721
2722 /* GDB version of readline/complete.c:rl_display_match_list.
2723    See gdb_display_match_list for a description of MATCHES, LEN, MAX.
2724    Returns non-zero if all matches are displayed.  */
2725
2726 static int
2727 gdb_display_match_list_1 (char **matches, int len, int max,
2728                           const struct match_list_displayer *displayer)
2729 {
2730   int count, limit, printed_len, lines, cols;
2731   int i, j, k, l, common_length, sind;
2732   char *temp, *t;
2733   int page_completions = displayer->height != INT_MAX && pagination_enabled;
2734
2735   /* Find the length of the prefix common to all items: length as displayed
2736      characters (common_length) and as a byte index into the matches (sind) */
2737   common_length = sind = 0;
2738   if (_rl_completion_prefix_display_length > 0)
2739     {
2740       t = gdb_printable_part (matches[0]);
2741       temp = strrchr (t, '/');
2742       common_length = temp ? gdb_fnwidth (temp) : gdb_fnwidth (t);
2743       sind = temp ? strlen (temp) : strlen (t);
2744
2745       if (common_length > _rl_completion_prefix_display_length && common_length > ELLIPSIS_LEN)
2746         max -= common_length - ELLIPSIS_LEN;
2747       else
2748         common_length = sind = 0;
2749     }
2750
2751   /* How many items of MAX length can we fit in the screen window? */
2752   cols = gdb_complete_get_screenwidth (displayer);
2753   max += 2;
2754   limit = cols / max;
2755   if (limit != 1 && (limit * max == cols))
2756     limit--;
2757
2758   /* If cols == 0, limit will end up -1 */
2759   if (cols < displayer->width && limit < 0)
2760     limit = 1;
2761
2762   /* Avoid a possible floating exception.  If max > cols,
2763      limit will be 0 and a divide-by-zero fault will result. */
2764   if (limit == 0)
2765     limit = 1;
2766
2767   /* How many iterations of the printing loop? */
2768   count = (len + (limit - 1)) / limit;
2769
2770   /* Watch out for special case.  If LEN is less than LIMIT, then
2771      just do the inner printing loop.
2772            0 < len <= limit  implies  count = 1. */
2773
2774   /* Sort the items if they are not already sorted. */
2775   if (rl_ignore_completion_duplicates == 0 && rl_sort_completion_matches)
2776     qsort (matches + 1, len, sizeof (char *), (QSFUNC *)_rl_qsort_string_compare);
2777
2778   displayer->crlf (displayer);
2779
2780   lines = 0;
2781   if (_rl_print_completions_horizontally == 0)
2782     {
2783       /* Print the sorted items, up-and-down alphabetically, like ls. */
2784       for (i = 1; i <= count; i++)
2785         {
2786           for (j = 0, l = i; j < limit; j++)
2787             {
2788               if (l > len || matches[l] == 0)
2789                 break;
2790               else
2791                 {
2792                   temp = gdb_printable_part (matches[l]);
2793                   printed_len = gdb_print_filename (temp, matches[l], sind,
2794                                                     displayer);
2795
2796                   if (j + 1 < limit)
2797                     for (k = 0; k < max - printed_len; k++)
2798                       displayer->putch (displayer, ' ');
2799                 }
2800               l += count;
2801             }
2802           displayer->crlf (displayer);
2803           lines++;
2804           if (page_completions && lines >= (displayer->height - 1) && i < count)
2805             {
2806               lines = gdb_display_match_list_pager (lines, displayer);
2807               if (lines < 0)
2808                 return 0;
2809             }
2810         }
2811     }
2812   else
2813     {
2814       /* Print the sorted items, across alphabetically, like ls -x. */
2815       for (i = 1; matches[i]; i++)
2816         {
2817           temp = gdb_printable_part (matches[i]);
2818           printed_len = gdb_print_filename (temp, matches[i], sind, displayer);
2819           /* Have we reached the end of this line? */
2820           if (matches[i+1])
2821             {
2822               if (i && (limit > 1) && (i % limit) == 0)
2823                 {
2824                   displayer->crlf (displayer);
2825                   lines++;
2826                   if (page_completions && lines >= displayer->height - 1)
2827                     {
2828                       lines = gdb_display_match_list_pager (lines, displayer);
2829                       if (lines < 0)
2830                         return 0;
2831                     }
2832                 }
2833               else
2834                 for (k = 0; k < max - printed_len; k++)
2835                   displayer->putch (displayer, ' ');
2836             }
2837         }
2838       displayer->crlf (displayer);
2839     }
2840
2841   return 1;
2842 }
2843
2844 /* Utility for displaying completion list matches, used by both CLI and TUI.
2845
2846    MATCHES is the list of strings, in argv format, LEN is the number of
2847    strings in MATCHES, and MAX is the length of the longest string in
2848    MATCHES.  */
2849
2850 void
2851 gdb_display_match_list (char **matches, int len, int max,
2852                         const struct match_list_displayer *displayer)
2853 {
2854   /* Readline will never call this if complete_line returned NULL.  */
2855   gdb_assert (max_completions != 0);
2856
2857   /* complete_line will never return more than this.  */
2858   if (max_completions > 0)
2859     gdb_assert (len <= max_completions);
2860
2861   if (rl_completion_query_items > 0 && len >= rl_completion_query_items)
2862     {
2863       char msg[100];
2864
2865       /* We can't use *query here because they wait for <RET> which is
2866          wrong here.  This follows the readline version as closely as possible
2867          for compatibility's sake.  See readline/complete.c.  */
2868
2869       displayer->crlf (displayer);
2870
2871       xsnprintf (msg, sizeof (msg),
2872                  "Display all %d possibilities? (y or n)", len);
2873       displayer->puts (displayer, msg);
2874       displayer->flush (displayer);
2875
2876       if (gdb_get_y_or_n (0, displayer) == 0)
2877         {
2878           displayer->crlf (displayer);
2879           return;
2880         }
2881     }
2882
2883   if (gdb_display_match_list_1 (matches, len, max, displayer))
2884     {
2885       /* Note: MAX_COMPLETIONS may be -1 or zero, but LEN is always > 0.  */
2886       if (len == max_completions)
2887         {
2888           /* The maximum number of completions has been reached.  Warn the user
2889              that there may be more.  */
2890           const char *message = get_max_completions_reached_message ();
2891
2892           displayer->puts (displayer, message);
2893           displayer->crlf (displayer);
2894         }
2895     }
2896 }
2897
2898 void
2899 _initialize_completer (void)
2900 {
2901   add_setshow_zuinteger_unlimited_cmd ("max-completions", no_class,
2902                                        &max_completions, _("\
2903 Set maximum number of completion candidates."), _("\
2904 Show maximum number of completion candidates."), _("\
2905 Use this to limit the number of candidates considered\n\
2906 during completion.  Specifying \"unlimited\" or -1\n\
2907 disables limiting.  Note that setting either no limit or\n\
2908 a very large limit can make completion slow."),
2909                                        NULL, NULL, &setlist, &showlist);
2910 }