nm: Add --quiet to suppress "no symbols" diagnostic
[deliverable/binutils-gdb.git] / gdb / expression.h
CommitLineData
c906108c 1/* Definitions for expressions stored in reversed prefix form, for GDB.
1bac305b 2
3666a048 3 Copyright (C) 1986-2021 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
19
20#if !defined (EXPRESSION_H)
21#define EXPRESSION_H 1
22
0d12e84c
TT
23#include "gdbtypes.h"
24
7ad417dd
TT
25/* While parsing expressions we need to track the innermost lexical block
26 that we encounter. In some situations we need to track the innermost
27 block just for symbols, and in other situations we want to track the
28 innermost block for symbols and registers. These flags are used by the
29 innermost block tracker to control which blocks we consider for the
30 innermost block. These flags can be combined together as needed. */
31
32enum innermost_block_tracker_type
33{
34 /* Track the innermost block for symbols within an expression. */
35 INNERMOST_BLOCK_FOR_SYMBOLS = (1 << 0),
36
37 /* Track the innermost block for registers within an expression. */
38 INNERMOST_BLOCK_FOR_REGISTERS = (1 << 1)
39};
40DEF_ENUM_FLAGS_TYPE (enum innermost_block_tracker_type,
41 innermost_block_tracker_types);
c906108c
SS
42
43/* Definitions for saved C expressions. */
44
45/* An expression is represented as a vector of union exp_element's.
46 Each exp_element is an opcode, except that some opcodes cause
47 the following exp_element to be treated as a long or double constant
48 or as a variable. The opcodes are obeyed, using a stack for temporaries.
49 The value is left on the temporary stack at the end. */
50
51/* When it is necessary to include a string,
52 it can occupy as many exp_elements as it needs.
53 We find the length of the string using strlen,
54 divide to find out how many exp_elements are used up,
55 and skip that many. Strings, like numbers, are indicated
56 by the preceding opcode. */
57
1dffa580 58enum exp_opcode : uint8_t
c5aa993b 59 {
56c12414 60#define OP(name) name ,
c906108c 61
56c12414 62#include "std-operator.def"
c906108c 63
56c12414 64#undef OP
8285870a
JK
65
66 /* Existing only to swallow the last comma (',') from last .inc file. */
67 OP_UNUSED_LAST
c5aa993b 68 };
c906108c 69
6c078f0b
TT
70/* Values of NOSIDE argument to eval_subexp. */
71
72enum noside
73 {
74 EVAL_NORMAL,
75 EVAL_SKIP, /* Only effect is to increment pos.
76 Return type information where
77 possible. */
78 EVAL_AVOID_SIDE_EFFECTS /* Don't modify any variables or
79 call any functions. The value
80 returned will have the correct
81 type, and will have an
82 approximately correct lvalue
83 type (inaccuracy: anything that is
84 listed as being in a register in
85 the function in which it was
86 declared will be lval_register).
87 Ideally this would not even read
88 target memory, but currently it
89 does in many situations. */
90 };
91
c906108c 92union exp_element
c5aa993b
JM
93 {
94 enum exp_opcode opcode;
95 struct symbol *symbol;
74ea4be4 96 struct minimal_symbol *msymbol;
c5aa993b 97 LONGEST longconst;
edd079d9 98 gdb_byte floatconst[16];
c5aa993b
JM
99 /* Really sizeof (union exp_element) characters (or less for the last
100 element of a string). */
101 char string;
102 struct type *type;
103 struct internalvar *internalvar;
270140bd 104 const struct block *block;
9e35dae4 105 struct objfile *objfile;
c5aa993b 106 };
c906108c
SS
107
108struct expression
77bf7e99
TT
109{
110 expression (const struct language_defn *, struct gdbarch *, size_t);
111 ~expression ();
112 DISABLE_COPY_AND_ASSIGN (expression);
113
114 void resize (size_t);
115
2adab65c
TT
116 /* Return the opcode for the outermost sub-expression of this
117 expression. */
118 enum exp_opcode first_opcode () const
119 {
120 return elts[0].opcode;
121 }
122
26f53cd3
TT
123 /* Evaluate the expression. EXPECT_TYPE is the context type of the
124 expression; normally this should be nullptr. NOSIDE controls how
125 evaluation is performed. */
126 struct value *evaluate (struct type *expect_type, enum noside noside);
127
77bf7e99
TT
128 /* Language it was entered in. */
129 const struct language_defn *language_defn;
130 /* Architecture it was parsed in. */
131 struct gdbarch *gdbarch;
132 int nelts = 0;
133 union exp_element *elts;
134};
c906108c 135
77bf7e99 136typedef std::unique_ptr<expression> expression_up;
4d01a485 137
c906108c 138/* Macros for converting between number of expression elements and bytes
0963b4bd 139 to store that many expression elements. */
c906108c
SS
140
141#define EXP_ELEM_TO_BYTES(elements) \
142 ((elements) * sizeof (union exp_element))
143#define BYTES_TO_EXP_ELEM(bytes) \
144 (((bytes) + sizeof (union exp_element) - 1) / sizeof (union exp_element))
145
146/* From parse.c */
147
699bd4cf
TT
148class innermost_block_tracker;
149extern expression_up parse_expression (const char *,
8fc48b79
TT
150 innermost_block_tracker * = nullptr,
151 bool void_context_p = false);
c906108c 152
4d01a485
PA
153extern expression_up parse_expression_with_language (const char *string,
154 enum language lang);
429e1e81 155
3eac2b65
TT
156extern struct type *parse_expression_for_completion
157 (const char *, gdb::unique_xmalloc_ptr<char> *, enum type_code *);
65d12d83 158
699bd4cf 159class innermost_block_tracker;
4d01a485 160extern expression_up parse_exp_1 (const char **, CORE_ADDR pc,
7ad417dd 161 const struct block *, int,
699bd4cf 162 innermost_block_tracker * = nullptr);
c906108c 163
c906108c
SS
164/* From eval.c */
165
c5aa993b 166extern struct value *evaluate_subexp_standard
a14ed312 167 (struct type *, struct expression *, int *, enum noside);
c906108c 168
1ab8280d
TT
169/* Evaluate a function call. The function to be called is in CALLEE and
170 the arguments passed to the function are in ARGVEC.
6d816919
AB
171 FUNCTION_NAME is the name of the function, if known.
172 DEFAULT_RETURN_TYPE is used as the function's return type if the return
173 type is unknown. */
174
175extern struct value *evaluate_subexp_do_call (expression *exp,
176 enum noside noside,
1ab8280d
TT
177 value *callee,
178 gdb::array_view<value *> argvec,
6d816919
AB
179 const char *function_name,
180 type *default_return_type);
181
c906108c
SS
182/* From expprint.c */
183
d9fcf2fb 184extern void print_expression (struct expression *, struct ui_file *);
c906108c 185
88b91969 186extern const char *op_name (enum exp_opcode opcode);
bd0b9f9e 187
a121b7c1 188extern const char *op_string (enum exp_opcode);
c906108c 189
3e43a32a 190extern void dump_raw_expression (struct expression *,
a121b7c1 191 struct ui_file *, const char *);
24daaebc 192extern void dump_prefix_expression (struct expression *, struct ui_file *);
c906108c 193
01739a3b
TT
194/* In an OP_RANGE expression, either bound could be empty, indicating
195 that its value is by default that of the corresponding bound of the
6873858b
TT
196 array or string. Also, the upper end of the range can be exclusive
197 or inclusive. So we have six sorts of subrange. This enumeration
198 type is to identify this. */
199
f2d8e4c5 200enum range_flag : unsigned
6873858b 201{
2f1b18db
AB
202 /* This is a standard range. Both the lower and upper bounds are
203 defined, and the bounds are inclusive. */
204 RANGE_STANDARD = 0,
205
206 /* The low bound was not given. */
207 RANGE_LOW_BOUND_DEFAULT = 1 << 0,
208
209 /* The high bound was not given. */
210 RANGE_HIGH_BOUND_DEFAULT = 1 << 1,
211
212 /* The high bound of this range is exclusive. */
213 RANGE_HIGH_BOUND_EXCLUSIVE = 1 << 2,
6b4c676c
AB
214
215 /* The range has a stride. */
216 RANGE_HAS_STRIDE = 1 << 3,
6873858b 217};
01739a3b 218
f2d8e4c5 219DEF_ENUM_FLAGS_TYPE (enum range_flag, range_flags);
2f1b18db 220
c5aa993b 221#endif /* !defined (EXPRESSION_H) */
This page took 2.102552 seconds and 4 git commands to generate.