blob: 2b31baa4c8522097841beeddb743e164f97ca12e [file] [log] [blame]
/* Data structures and API for location specs in GDB.
Copyright (C) 2013-2022 Free Software Foundation, Inc.
This file is part of GDB.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include "defs.h"
#include "gdbsupport/gdb_assert.h"
#include "location.h"
#include "symtab.h"
#include "language.h"
#include "linespec.h"
#include "cli/cli-utils.h"
#include "probe.h"
#include "cp-support.h"
#include <ctype.h>
#include <string.h>
static std::string
explicit_to_string_internal (bool as_linespec,
const explicit_location_spec *explicit_loc);
/* Return a xstrdup of STR if not NULL, otherwise return NULL. */
static char *
maybe_xstrdup (const char *str)
{
return (str != nullptr ? xstrdup (str) : nullptr);
}
probe_location_spec::probe_location_spec (std::string &&probe)
: location_spec (PROBE_LOCATION_SPEC, std::move (probe))
{
}
location_spec_up
probe_location_spec::clone () const
{
return location_spec_up (new probe_location_spec (*this));
}
bool
probe_location_spec::empty_p () const
{
return false;
}
std::string probe_location_spec::compute_string () const
{
return std::move (m_as_string);
}
/* A "normal" linespec. */
linespec_location_spec::linespec_location_spec
(const char **linespec, symbol_name_match_type match_type_)
: location_spec (LINESPEC_LOCATION_SPEC),
match_type (match_type_)
{
if (*linespec != NULL)
{
const char *p;
const char *orig = *linespec;
linespec_lex_to_end (linespec);
p = remove_trailing_whitespace (orig, *linespec);
/* If there is no valid linespec then this will leave the
spec_string as nullptr. This behaviour is relied on in the
breakpoint setting code, where spec_string being nullptr means
to use the default breakpoint location. */
if ((p - orig) > 0)
spec_string = savestring (orig, p - orig);
}
}
linespec_location_spec::~linespec_location_spec ()
{
xfree (spec_string);
}
location_spec_up
linespec_location_spec::clone () const
{
return location_spec_up (new linespec_location_spec (*this));
}
bool
linespec_location_spec::empty_p () const
{
return false;
}
linespec_location_spec::linespec_location_spec
(const linespec_location_spec &other)
: location_spec (other),
match_type (other.match_type),
spec_string (maybe_xstrdup (other.spec_string))
{
}
std::string
linespec_location_spec::compute_string () const
{
if (spec_string != nullptr)
{
if (match_type == symbol_name_match_type::FULL)
return std::string ("-qualified ") + spec_string;
else
return spec_string;
}
return {};
}
address_location_spec::address_location_spec (CORE_ADDR addr,
const char *addr_string,
int addr_string_len)
: location_spec (ADDRESS_LOCATION_SPEC),
address (addr)
{
if (addr_string != nullptr)
m_as_string = std::string (addr_string, addr_string_len);
}
location_spec_up
address_location_spec::clone () const
{
return location_spec_up (new address_location_spec (*this));
}
bool
address_location_spec::empty_p () const
{
return false;
}
address_location_spec::address_location_spec
(const address_location_spec &other)
: location_spec (other),
address (other.address)
{
}
std::string
address_location_spec::compute_string () const
{
const char *addr_string = core_addr_to_string (address);
return std::string ("*") + addr_string;
}
explicit_location_spec::explicit_location_spec ()
: location_spec (EXPLICIT_LOCATION_SPEC)
{
}
explicit_location_spec::~explicit_location_spec ()
{
xfree (source_filename);
xfree (function_name);
xfree (label_name);
}
explicit_location_spec::explicit_location_spec
(const explicit_location_spec &other)
: location_spec (other),
source_filename (maybe_xstrdup (other.source_filename)),
function_name (maybe_xstrdup (other.function_name)),
func_name_match_type (other.func_name_match_type),
label_name (maybe_xstrdup (other.label_name)),
line_offset (other.line_offset)
{
}
location_spec_up
explicit_location_spec::clone () const
{
return location_spec_up (new explicit_location_spec (*this));
}
bool
explicit_location_spec::empty_p () const
{
return (source_filename == nullptr
&& function_name == nullptr
&& label_name == nullptr
&& line_offset.sign == LINE_OFFSET_UNKNOWN);
}
std::string
explicit_location_spec::compute_string () const
{
return explicit_to_string_internal (false, this);
}
/* See description in location.h. */
location_spec_up
new_linespec_location_spec (const char **linespec,
symbol_name_match_type match_type)
{
return location_spec_up (new linespec_location_spec (linespec,
match_type));
}
/* See description in location.h. */
const linespec_location_spec *
as_linespec_location_spec (const location_spec *locspec)
{
gdb_assert (locspec->type () == LINESPEC_LOCATION_SPEC);
return static_cast<const linespec_location_spec *> (locspec);
}
/* See description in location.h. */
location_spec_up
new_address_location_spec (CORE_ADDR addr, const char *addr_string,
int addr_string_len)
{
return location_spec_up (new address_location_spec (addr, addr_string,
addr_string_len));
}
/* See description in location.h. */
const address_location_spec *
as_address_location_spec (const location_spec *locspec)
{
gdb_assert (locspec->type () == ADDRESS_LOCATION_SPEC);
return static_cast<const address_location_spec *> (locspec);
}
/* See description in location.h. */
location_spec_up
new_probe_location_spec (std::string &&probe)
{
return location_spec_up (new probe_location_spec (std::move (probe)));
}
/* See description in location.h. */
const probe_location_spec *
as_probe_location_spec (const location_spec *locspec)
{
gdb_assert (locspec->type () == PROBE_LOCATION_SPEC);
return static_cast<const probe_location_spec *> (locspec);
}
/* See description in location.h. */
const explicit_location_spec *
as_explicit_location_spec (const location_spec *locspec)
{
gdb_assert (locspec->type () == EXPLICIT_LOCATION_SPEC);
return static_cast<const explicit_location_spec *> (locspec);
}
/* See description in location.h. */
explicit_location_spec *
as_explicit_location_spec (location_spec *locspec)
{
gdb_assert (locspec->type () == EXPLICIT_LOCATION_SPEC);
return static_cast<explicit_location_spec *> (locspec);
}
/* Return a string representation of the explicit location spec in
EXPLICIT_LOCSPEC.
AS_LINESPEC is true if this string should be a linespec. Otherwise
it will be output in explicit form. */
static std::string
explicit_to_string_internal (bool as_linespec,
const explicit_location_spec *explicit_loc)
{
bool need_space = false;
char space = as_linespec ? ':' : ' ';
string_file buf;
if (explicit_loc->source_filename != NULL)
{
if (!as_linespec)
buf.puts ("-source ");
buf.puts (explicit_loc->source_filename);
need_space = true;
}
if (explicit_loc->function_name != NULL)
{
if (need_space)
buf.putc (space);
if (explicit_loc->func_name_match_type == symbol_name_match_type::FULL)
buf.puts ("-qualified ");
if (!as_linespec)
buf.puts ("-function ");
buf.puts (explicit_loc->function_name);
need_space = true;
}
if (explicit_loc->label_name != NULL)
{
if (need_space)
buf.putc (space);
if (!as_linespec)
buf.puts ("-label ");
buf.puts (explicit_loc->label_name);
need_space = true;
}
if (explicit_loc->line_offset.sign != LINE_OFFSET_UNKNOWN)
{
if (need_space)
buf.putc (space);
if (!as_linespec)
buf.puts ("-line ");
buf.printf ("%s%d",
(explicit_loc->line_offset.sign == LINE_OFFSET_NONE ? ""
: (explicit_loc->line_offset.sign
== LINE_OFFSET_PLUS ? "+" : "-")),
explicit_loc->line_offset.offset);
}
return buf.release ();
}
/* See description in location.h. */
std::string
explicit_location_spec::to_linespec () const
{
return explicit_to_string_internal (true, this);
}
/* Find an instance of the quote character C in the string S that is
outside of all single- and double-quoted strings (i.e., any quoting
other than C). */
static const char *
find_end_quote (const char *s, char end_quote_char)
{
/* zero if we're not in quotes;
'"' if we're in a double-quoted string;
'\'' if we're in a single-quoted string. */
char nested_quote_char = '\0';
for (const char *scan = s; *scan != '\0'; scan++)
{
if (nested_quote_char != '\0')
{
if (*scan == nested_quote_char)
nested_quote_char = '\0';
else if (scan[0] == '\\' && *(scan + 1) != '\0')
scan++;
}
else if (*scan == end_quote_char && nested_quote_char == '\0')
return scan;
else if (*scan == '"' || *scan == '\'')
nested_quote_char = *scan;
}
return 0;
}
/* A lexer for explicit location specs. This function will advance
INP past any strings that it lexes. Returns a malloc'd copy of the
lexed string or NULL if no lexing was done. */
static gdb::unique_xmalloc_ptr<char>
explicit_location_spec_lex_one (const char **inp,
const struct language_defn *language,
explicit_completion_info *completion_info)
{
const char *start = *inp;
if (*start == '\0')
return NULL;
/* If quoted, skip to the ending quote. */
if (strchr (get_gdb_linespec_parser_quote_characters (), *start))
{
if (completion_info != NULL)
completion_info->quoted_arg_start = start;
const char *end = find_end_quote (start + 1, *start);
if (end == NULL)
{
if (completion_info == NULL)
error (_("Unmatched quote, %s."), start);
end = start + strlen (start);
*inp = end;
return gdb::unique_xmalloc_ptr<char> (savestring (start + 1,
*inp - start - 1));
}
if (completion_info != NULL)
completion_info->quoted_arg_end = end;
*inp = end + 1;
return gdb::unique_xmalloc_ptr<char> (savestring (start + 1,
*inp - start - 2));
}
/* If the input starts with '-' or '+', the string ends with the next
whitespace or comma. */
if (*start == '-' || *start == '+')
{
while (*inp[0] != '\0' && *inp[0] != ',' && !isspace (*inp[0]))
++(*inp);
}
else
{
/* Handle numbers first, stopping at the next whitespace or ','. */
while (isdigit (*inp[0]))
++(*inp);
if (*inp[0] == '\0' || isspace (*inp[0]) || *inp[0] == ',')
return gdb::unique_xmalloc_ptr<char> (savestring (start,
*inp - start));
/* Otherwise stop at the next occurrence of whitespace, '\0',
keyword, or ','. */
*inp = start;
while ((*inp)[0]
&& (*inp)[0] != ','
&& !(isspace ((*inp)[0])
|| linespec_lexer_lex_keyword (&(*inp)[1])))
{
/* Special case: C++ operator,. */
if (language->la_language == language_cplus
&& startswith (*inp, CP_OPERATOR_STR))
(*inp) += CP_OPERATOR_LEN;
++(*inp);
}
}
if (*inp - start > 0)
return gdb::unique_xmalloc_ptr<char> (savestring (start, *inp - start));
return NULL;
}
/* Return true if COMMA points past "operator". START is the start of
the line that COMMAND points to, hence when reading backwards, we
must not read any character before START. */
static bool
is_cp_operator (const char *start, const char *comma)
{
if (comma != NULL
&& (comma - start) >= CP_OPERATOR_LEN)
{
const char *p = comma;
while (p > start && isspace (p[-1]))
p--;
if (p - start >= CP_OPERATOR_LEN)
{
p -= CP_OPERATOR_LEN;
if (strncmp (p, CP_OPERATOR_STR, CP_OPERATOR_LEN) == 0
&& (p == start
|| !(isalnum (p[-1]) || p[-1] == '_')))
{
return true;
}
}
}
return false;
}
/* When scanning the input string looking for the next explicit
location spec option/delimiter, we jump to the next option by looking
for ",", and "-". Such a character can also appear in C++ symbols
like "operator," and "operator-". So when we find such a
character, we call this function to check if we found such a
symbol, meaning we had a false positive for an option string. In
that case, we keep looking for the next delimiter, until we find
one that is not a false positive, or we reach end of string. FOUND
is the character that scanning found (either '-' or ','), and START
is the start of the line that FOUND points to, hence when reading
backwards, we must not read any character before START. Returns a
pointer to the next non-false-positive delimiter character, or NULL
if none was found. */
static const char *
skip_op_false_positives (const char *start, const char *found)
{
while (found != NULL && is_cp_operator (start, found))
{
if (found[0] == '-' && found[1] == '-')
start = found + 2;
else
start = found + 1;
found = find_toplevel_char (start, *found);
}
return found;
}
/* Assuming both FIRST and NEW_TOK point into the same string, return
the pointer that is closer to the start of the string. If FIRST is
NULL, returns NEW_TOK. If NEW_TOK is NULL, returns FIRST. */
static const char *
first_of (const char *first, const char *new_tok)
{
if (first == NULL)
return new_tok;
else if (new_tok != NULL && new_tok < first)
return new_tok;
else
return first;
}
/* A lexer for functions in explicit location specs. This function will
advance INP past a function until the next option, or until end of
string. Returns a malloc'd copy of the lexed string or NULL if no
lexing was done. */
static gdb::unique_xmalloc_ptr<char>
explicit_location_spec_lex_one_function
(const char **inp,
const struct language_defn *language,
explicit_completion_info *completion_info)
{
const char *start = *inp;
if (*start == '\0')
return NULL;
/* If quoted, skip to the ending quote. */
if (strchr (get_gdb_linespec_parser_quote_characters (), *start))
{
char quote_char = *start;
/* If the input is not an Ada operator, skip to the matching
closing quote and return the string. */
if (!(language->la_language == language_ada
&& quote_char == '\"' && is_ada_operator (start)))
{
if (completion_info != NULL)
completion_info->quoted_arg_start = start;
const char *end = find_toplevel_char (start + 1, quote_char);
if (end == NULL)
{
if (completion_info == NULL)
error (_("Unmatched quote, %s."), start);
end = start + strlen (start);
*inp = end;
char *saved = savestring (start + 1, *inp - start - 1);
return gdb::unique_xmalloc_ptr<char> (saved);
}
if (completion_info != NULL)
completion_info->quoted_arg_end = end;
*inp = end + 1;
char *saved = savestring (start + 1, *inp - start - 2);
return gdb::unique_xmalloc_ptr<char> (saved);
}
}
const char *comma = find_toplevel_char (start, ',');
/* If we have "-function -myfunction", or perhaps better example,
"-function -[BasicClass doIt]" (objc selector), treat
"-myfunction" as the function name. I.e., skip the first char if
it is an hyphen. Don't skip the first char always, because we
may have C++ "operator<", and find_toplevel_char needs to see the
'o' in that case. */
const char *hyphen
= (*start == '-'
? find_toplevel_char (start + 1, '-')
: find_toplevel_char (start, '-'));
/* Check for C++ "operator," and "operator-". */
comma = skip_op_false_positives (start, comma);
hyphen = skip_op_false_positives (start, hyphen);
/* Pick the one that appears first. */
const char *end = first_of (hyphen, comma);
/* See if a linespec keyword appears first. */
const char *s = start;
const char *ws = find_toplevel_char (start, ' ');
while (ws != NULL && linespec_lexer_lex_keyword (ws + 1) == NULL)
{
s = ws + 1;
ws = find_toplevel_char (s, ' ');
}
if (ws != NULL)
end = first_of (end, ws + 1);
/* If we don't have any terminator, then take the whole string. */
if (end == NULL)
end = start + strlen (start);
/* Trim whitespace at the end. */
while (end > start && end[-1] == ' ')
end--;
*inp = end;
if (*inp - start > 0)
return gdb::unique_xmalloc_ptr<char> (savestring (start, *inp - start));
return NULL;
}
/* See description in location.h. */
location_spec_up
string_to_explicit_location_spec (const char **argp,
const struct language_defn *language,
explicit_completion_info *completion_info)
{
/* It is assumed that input beginning with '-' and a non-digit
character is an explicit location. "-p" is reserved, though,
for probe locations. */
if (argp == NULL
|| *argp == NULL
|| *argp[0] != '-'
|| !isalpha ((*argp)[1])
|| ((*argp)[0] == '-' && (*argp)[1] == 'p'))
return NULL;
std::unique_ptr<explicit_location_spec> locspec
(new explicit_location_spec ());
/* Process option/argument pairs. dprintf_command
requires that processing stop on ','. */
while ((*argp)[0] != '\0' && (*argp)[0] != ',')
{
int len;
const char *start;
/* Clear these on each iteration, since they should be filled
with info about the last option. */
if (completion_info != NULL)
{
completion_info->quoted_arg_start = NULL;
completion_info->quoted_arg_end = NULL;
}
/* If *ARGP starts with a keyword, stop processing
options. */
if (linespec_lexer_lex_keyword (*argp) != NULL)
break;
/* Mark the start of the string in case we need to rewind. */
start = *argp;
if (completion_info != NULL)
completion_info->last_option = start;
/* Get the option string. */
gdb::unique_xmalloc_ptr<char> opt
= explicit_location_spec_lex_one (argp, language, NULL);
/* Use the length of the option to allow abbreviations. */
len = strlen (opt.get ());
/* Get the argument string. */
*argp = skip_spaces (*argp);
/* All options have a required argument. Checking for this
required argument is deferred until later. */
gdb::unique_xmalloc_ptr<char> oarg;
/* True if we have an argument. This is required because we'll
move from OARG before checking whether we have an
argument. */
bool have_oarg = false;
/* True if the option needs an argument. */
bool need_oarg = false;
/* Convenience to consistently set both OARG/HAVE_OARG from
ARG. */
auto set_oarg = [&] (gdb::unique_xmalloc_ptr<char> arg)
{
if (completion_info != NULL)
{
/* We do this here because the set of options that take
arguments matches the set of explicit location
options. */
completion_info->saw_explicit_location_spec_option = true;
}
oarg = std::move (arg);
have_oarg = oarg != NULL;
need_oarg = true;
};
if (strncmp (opt.get (), "-source", len) == 0)
{
set_oarg (explicit_location_spec_lex_one (argp, language,
completion_info));
locspec->source_filename = oarg.release ();
}
else if (strncmp (opt.get (), "-function", len) == 0)
{
set_oarg (explicit_location_spec_lex_one_function (argp, language,
completion_info));
locspec->function_name = oarg.release ();
}
else if (strncmp (opt.get (), "-qualified", len) == 0)
{
locspec->func_name_match_type = symbol_name_match_type::FULL;
}
else if (strncmp (opt.get (), "-line", len) == 0)
{
set_oarg (explicit_location_spec_lex_one (argp, language, NULL));
*argp = skip_spaces (*argp);
if (have_oarg)
{
locspec->line_offset = linespec_parse_line_offset (oarg.get ());
continue;
}
}
else if (strncmp (opt.get (), "-label", len) == 0)
{
set_oarg (explicit_location_spec_lex_one (argp, language,
completion_info));
locspec->label_name = oarg.release ();
}
/* Only emit an "invalid argument" error for options
that look like option strings. */
else if (opt.get ()[0] == '-' && !isdigit (opt.get ()[1]))
{
if (completion_info == NULL)
error (_("invalid explicit location argument, \"%s\""), opt.get ());
}
else
{
/* End of the explicit location specification.
Stop parsing and return whatever explicit location was
parsed. */
*argp = start;
break;
}
*argp = skip_spaces (*argp);
/* It's a little lame to error after the fact, but in this
case, it provides a much better user experience to issue
the "invalid argument" error before any missing
argument error. */
if (need_oarg && !have_oarg && completion_info == NULL)
error (_("missing argument for \"%s\""), opt.get ());
}
/* One special error check: If a source filename was given
without offset, function, or label, issue an error. */
if (locspec->source_filename != NULL
&& locspec->function_name == NULL
&& locspec->label_name == NULL
&& (locspec->line_offset.sign == LINE_OFFSET_UNKNOWN)
&& completion_info == NULL)
{
error (_("Source filename requires function, label, or "
"line offset."));
}
return location_spec_up (locspec.release ());
}
/* See description in location.h. */
location_spec_up
string_to_location_spec_basic (const char **stringp,
const struct language_defn *language,
symbol_name_match_type match_type)
{
location_spec_up locspec;
const char *cs;
/* Try the input as a probe spec. */
cs = *stringp;
if (cs != NULL && probe_linespec_to_static_ops (&cs) != NULL)
{
locspec = new_probe_location_spec (*stringp);
*stringp += strlen (*stringp);
}
else
{
/* Try an address location spec. */
if (*stringp != NULL && **stringp == '*')
{
const char *arg, *orig;
CORE_ADDR addr;
orig = arg = *stringp;
addr = linespec_expression_to_pc (&arg);
locspec = new_address_location_spec (addr, orig, arg - orig);
*stringp += arg - orig;
}
else
{
/* Everything else is a linespec. */
locspec = new_linespec_location_spec (stringp, match_type);
}
}
return locspec;
}
/* See description in location.h. */
location_spec_up
string_to_location_spec (const char **stringp,
const struct language_defn *language,
symbol_name_match_type match_type)
{
const char *arg, *orig;
/* Try an explicit location spec. */
orig = arg = *stringp;
location_spec_up locspec
= string_to_explicit_location_spec (&arg, language, NULL);
if (locspec != nullptr)
{
/* It was a valid explicit location. Advance STRINGP to
the end of input. */
*stringp += arg - orig;
/* If the user really specified a location spec, then we're
done. */
if (!locspec->empty_p ())
return locspec;
/* Otherwise, the user _only_ specified optional flags like
"-qualified", otherwise string_to_explicit_location_spec
would have thrown an error. Save the flags for "basic"
linespec parsing below and discard the explicit location
spec. */
explicit_location_spec *xloc
= dynamic_cast<explicit_location_spec *> (locspec.get ());
gdb_assert (xloc != nullptr);
match_type = xloc->func_name_match_type;
}
/* Everything else is a "basic" linespec, address, or probe location
spec. */
return string_to_location_spec_basic (stringp, language, match_type);
}