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