]>
Commit | Line | Data |
---|---|---|
c906108c | 1 | /* Definitions for values of C expressions, for GDB. |
dea7f9ba | 2 | |
b811d2c2 | 3 | Copyright (C) 1986-2020 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 (VALUE_H) | |
21 | #define VALUE_H 1 | |
22 | ||
1df6926e | 23 | #include "frame.h" /* For struct frame_id. */ |
ba18742c | 24 | #include "extension.h" |
268a13a5 | 25 | #include "gdbsupport/gdb_ref_ptr.h" |
dea7f9ba MK |
26 | |
27 | struct block; | |
da3331ec | 28 | struct expression; |
dea7f9ba | 29 | struct regcache; |
da3331ec AC |
30 | struct symbol; |
31 | struct type; | |
dea7f9ba | 32 | struct ui_file; |
d8ca156b | 33 | struct language_defn; |
79a45b7d | 34 | struct value_print_options; |
d16aafd8 | 35 | |
9a0dc9e3 PA |
36 | /* Values can be partially 'optimized out' and/or 'unavailable'. |
37 | These are distinct states and have different string representations | |
38 | and related error strings. | |
39 | ||
40 | 'unavailable' has a specific meaning in this context. It means the | |
41 | value exists in the program (at the machine level), but GDB has no | |
42 | means to get to it. Such a value is normally printed as | |
43 | <unavailable>. Examples of how to end up with an unavailable value | |
44 | would be: | |
45 | ||
46 | - We're inspecting a traceframe, and the memory or registers the | |
47 | debug information says the value lives on haven't been collected. | |
48 | ||
49 | - We're inspecting a core dump, the memory or registers the debug | |
50 | information says the value lives aren't present in the dump | |
51 | (that is, we have a partial/trimmed core dump, or we don't fully | |
52 | understand/handle the core dump's format). | |
53 | ||
54 | - We're doing live debugging, but the debug API has no means to | |
55 | get at where the value lives in the machine, like e.g., ptrace | |
56 | not having access to some register or register set. | |
57 | ||
58 | - Any other similar scenario. | |
59 | ||
60 | OTOH, "optimized out" is about what the compiler decided to generate | |
61 | (or not generate). A chunk of a value that was optimized out does | |
62 | not actually exist in the program. There's no way to get at it | |
63 | short of compiling the program differently. | |
64 | ||
65 | A register that has not been saved in a frame is likewise considered | |
66 | optimized out, except not-saved registers have a different string | |
67 | representation and related error strings. E.g., we'll print them as | |
68 | <not-saved> instead of <optimized out>, as in: | |
69 | ||
70 | (gdb) p/x $rax | |
71 | $1 = <not saved> | |
72 | (gdb) info registers rax | |
73 | rax <not saved> | |
74 | ||
75 | If the debug info describes a variable as being in such a register, | |
76 | we'll still print the variable as <optimized out>. IOW, <not saved> | |
77 | is reserved for inspecting registers at the machine level. | |
78 | ||
79 | When comparing value contents, optimized out chunks, unavailable | |
80 | chunks, and valid contents data are all considered different. See | |
81 | value_contents_eq for more info. | |
82 | */ | |
83 | ||
e4153ae6 CB |
84 | extern bool overload_resolution; |
85 | ||
dea7f9ba MK |
86 | /* The structure which defines the type of a value. It should never |
87 | be possible for a program lval value to survive over a call to the | |
88 | inferior (i.e. to be put into the history list or an internal | |
89 | variable). */ | |
c906108c | 90 | |
91294c83 | 91 | struct value; |
c906108c | 92 | |
bbfa6f00 | 93 | /* Increase VAL's reference count. */ |
22bc8444 | 94 | |
bbfa6f00 | 95 | extern void value_incref (struct value *val); |
22bc8444 | 96 | |
bbfa6f00 TT |
97 | /* Decrease VAL's reference count. When the reference count drops to |
98 | 0, VAL will be freed. */ | |
22bc8444 TT |
99 | |
100 | extern void value_decref (struct value *val); | |
101 | ||
102 | /* A policy class to interface gdb::ref_ptr with struct value. */ | |
103 | ||
104 | struct value_ref_policy | |
105 | { | |
106 | static void incref (struct value *ptr) | |
107 | { | |
108 | value_incref (ptr); | |
109 | } | |
110 | ||
111 | static void decref (struct value *ptr) | |
112 | { | |
113 | value_decref (ptr); | |
114 | } | |
115 | }; | |
116 | ||
117 | /* A gdb:;ref_ptr pointer to a struct value. */ | |
118 | ||
119 | typedef gdb::ref_ptr<struct value, value_ref_policy> value_ref_ptr; | |
120 | ||
17cf0ecd | 121 | /* Values are stored in a chain, so that they can be deleted easily |
a08702d6 TJB |
122 | over calls to the inferior. Values assigned to internal variables, |
123 | put into the value history or exposed to Python are taken off this | |
124 | list. */ | |
91294c83 | 125 | |
4bf7b526 | 126 | struct value *value_next (const struct value *); |
17cf0ecd | 127 | |
91294c83 AC |
128 | /* Type of the value. */ |
129 | ||
0e03807e | 130 | extern struct type *value_type (const struct value *); |
91294c83 | 131 | |
e512cdbd SM |
132 | /* Return the gdbarch associated with the value. */ |
133 | ||
134 | extern struct gdbarch *get_value_arch (const struct value *value); | |
135 | ||
04624583 AC |
136 | /* This is being used to change the type of an existing value, that |
137 | code should instead be creating a new value with the changed type | |
138 | (but possibly shared content). */ | |
91294c83 | 139 | |
04624583 AC |
140 | extern void deprecated_set_value_type (struct value *value, |
141 | struct type *type); | |
91294c83 AC |
142 | |
143 | /* Only used for bitfields; number of bits contained in them. */ | |
144 | ||
6b850546 DT |
145 | extern LONGEST value_bitsize (const struct value *); |
146 | extern void set_value_bitsize (struct value *, LONGEST bit); | |
91294c83 AC |
147 | |
148 | /* Only used for bitfields; position of start of field. For | |
d5a22e77 TT |
149 | little-endian targets, it is the position of the LSB. For |
150 | big-endian targets, it is the position of the MSB. */ | |
91294c83 | 151 | |
6b850546 DT |
152 | extern LONGEST value_bitpos (const struct value *); |
153 | extern void set_value_bitpos (struct value *, LONGEST bit); | |
f5cf64a7 | 154 | |
4ea48cc1 DJ |
155 | /* Only used for bitfields; the containing value. This allows a |
156 | single read from the target when displaying multiple | |
157 | bitfields. */ | |
158 | ||
4bf7b526 | 159 | struct value *value_parent (const struct value *); |
53ba8333 | 160 | extern void set_value_parent (struct value *value, struct value *parent); |
4ea48cc1 | 161 | |
91294c83 AC |
162 | /* Describes offset of a value within lval of a structure in bytes. |
163 | If lval == lval_memory, this is an offset to the address. If lval | |
164 | == lval_register, this is a further offset from location.address | |
165 | within the registers structure. Note also the member | |
166 | embedded_offset below. */ | |
167 | ||
6b850546 DT |
168 | extern LONGEST value_offset (const struct value *); |
169 | extern void set_value_offset (struct value *, LONGEST offset); | |
df407dfe | 170 | |
88e3b34b AC |
171 | /* The comment from "struct value" reads: ``Is it modifiable? Only |
172 | relevant if lval != not_lval.''. Shouldn't the value instead be | |
173 | not_lval and be done with it? */ | |
91294c83 | 174 | |
4bf7b526 | 175 | extern int deprecated_value_modifiable (const struct value *value); |
88e3b34b | 176 | |
91294c83 AC |
177 | /* If a value represents a C++ object, then the `type' field gives the |
178 | object's compile-time type. If the object actually belongs to some | |
179 | class derived from `type', perhaps with other base classes and | |
180 | additional members, then `type' is just a subobject of the real | |
181 | thing, and the full object is probably larger than `type' would | |
182 | suggest. | |
183 | ||
184 | If `type' is a dynamic class (i.e. one with a vtable), then GDB can | |
185 | actually determine the object's run-time type by looking at the | |
186 | run-time type information in the vtable. When this information is | |
187 | available, we may elect to read in the entire object, for several | |
188 | reasons: | |
189 | ||
190 | - When printing the value, the user would probably rather see the | |
191 | full object, not just the limited portion apparent from the | |
192 | compile-time type. | |
193 | ||
194 | - If `type' has virtual base classes, then even printing `type' | |
195 | alone may require reaching outside the `type' portion of the | |
196 | object to wherever the virtual base class has been stored. | |
197 | ||
198 | When we store the entire object, `enclosing_type' is the run-time | |
199 | type -- the complete object -- and `embedded_offset' is the offset | |
200 | of `type' within that larger type, in bytes. The value_contents() | |
201 | macro takes `embedded_offset' into account, so most GDB code | |
202 | continues to see the `type' portion of the value, just as the | |
203 | inferior would. | |
204 | ||
205 | If `type' is a pointer to an object, then `enclosing_type' is a | |
206 | pointer to the object's run-time type, and `pointed_to_offset' is | |
207 | the offset in bytes from the full object to the pointed-to object | |
208 | -- that is, the value `embedded_offset' would have if we followed | |
209 | the pointer and fetched the complete object. (I don't really see | |
210 | the point. Why not just determine the run-time type when you | |
211 | indirect, and avoid the special case? The contents don't matter | |
212 | until you indirect anyway.) | |
213 | ||
214 | If we're not doing anything fancy, `enclosing_type' is equal to | |
215 | `type', and `embedded_offset' is zero, so everything works | |
216 | normally. */ | |
217 | ||
4bf7b526 | 218 | extern struct type *value_enclosing_type (const struct value *); |
4dfea560 DE |
219 | extern void set_value_enclosing_type (struct value *val, |
220 | struct type *new_type); | |
221 | ||
8264ba82 AG |
222 | /* Returns value_type or value_enclosing_type depending on |
223 | value_print_options.objectprint. | |
224 | ||
225 | If RESOLVE_SIMPLE_TYPES is 0 the enclosing type will be resolved | |
226 | only for pointers and references, else it will be returned | |
227 | for all the types (e.g. structures). This option is useful | |
228 | to prevent retrieving enclosing type for the base classes fields. | |
229 | ||
230 | REAL_TYPE_FOUND is used to inform whether the real type was found | |
231 | (or just static type was used). The NULL may be passed if it is not | |
232 | necessary. */ | |
233 | ||
234 | extern struct type *value_actual_type (struct value *value, | |
235 | int resolve_simple_types, | |
236 | int *real_type_found); | |
237 | ||
6b850546 DT |
238 | extern LONGEST value_pointed_to_offset (const struct value *value); |
239 | extern void set_value_pointed_to_offset (struct value *value, LONGEST val); | |
240 | extern LONGEST value_embedded_offset (const struct value *value); | |
241 | extern void set_value_embedded_offset (struct value *value, LONGEST val); | |
91294c83 | 242 | |
32487f77 LM |
243 | extern bool value_tag (const struct value *value); |
244 | extern void set_value_tag (struct value *value, bool tag); | |
245 | ||
5f5233d4 PA |
246 | /* For lval_computed values, this structure holds functions used to |
247 | retrieve and set the value (or portions of the value). | |
248 | ||
249 | For each function, 'V' is the 'this' pointer: an lval_funcs | |
250 | function F may always assume that the V it receives is an | |
251 | lval_computed value, and has F in the appropriate slot of its | |
252 | lval_funcs structure. */ | |
253 | ||
254 | struct lval_funcs | |
255 | { | |
256 | /* Fill in VALUE's contents. This is used to "un-lazy" values. If | |
257 | a problem arises in obtaining VALUE's bits, this function should | |
ac71a68c JK |
258 | call 'error'. If it is NULL value_fetch_lazy on "un-lazy" |
259 | non-optimized-out value is an internal error. */ | |
5f5233d4 PA |
260 | void (*read) (struct value *v); |
261 | ||
262 | /* Handle an assignment TOVAL = FROMVAL by writing the value of | |
263 | FROMVAL to TOVAL's location. The contents of TOVAL have not yet | |
264 | been updated. If a problem arises in doing so, this function | |
ac71a68c JK |
265 | should call 'error'. If it is NULL such TOVAL assignment is an error as |
266 | TOVAL is not considered as an lvalue. */ | |
5f5233d4 PA |
267 | void (*write) (struct value *toval, struct value *fromval); |
268 | ||
8cf6f0b1 TT |
269 | /* If non-NULL, this is used to implement pointer indirection for |
270 | this value. This method may return NULL, in which case value_ind | |
271 | will fall back to ordinary indirection. */ | |
272 | struct value *(*indirect) (struct value *value); | |
273 | ||
a471c594 JK |
274 | /* If non-NULL, this is used to implement reference resolving for |
275 | this value. This method may return NULL, in which case coerce_ref | |
276 | will fall back to ordinary references resolving. */ | |
277 | struct value *(*coerce_ref) (const struct value *value); | |
278 | ||
8cf6f0b1 TT |
279 | /* If non-NULL, this is used to determine whether the indicated bits |
280 | of VALUE are a synthetic pointer. */ | |
281 | int (*check_synthetic_pointer) (const struct value *value, | |
6b850546 | 282 | LONGEST offset, int length); |
8cf6f0b1 | 283 | |
5f5233d4 PA |
284 | /* Return a duplicate of VALUE's closure, for use in a new value. |
285 | This may simply return the same closure, if VALUE's is | |
286 | reference-counted or statically allocated. | |
287 | ||
288 | This may be NULL, in which case VALUE's closure is re-used in the | |
289 | new value. */ | |
0e03807e | 290 | void *(*copy_closure) (const struct value *v); |
5f5233d4 PA |
291 | |
292 | /* Drop VALUE's reference to its closure. Maybe this frees the | |
293 | closure; maybe this decrements a reference count; maybe the | |
294 | closure is statically allocated and this does nothing. | |
295 | ||
296 | This may be NULL, in which case no action is taken to free | |
297 | VALUE's closure. */ | |
298 | void (*free_closure) (struct value *v); | |
299 | }; | |
300 | ||
301 | /* Create a computed lvalue, with type TYPE, function pointers FUNCS, | |
302 | and closure CLOSURE. */ | |
303 | ||
304 | extern struct value *allocate_computed_value (struct type *type, | |
c8f2448a JK |
305 | const struct lval_funcs *funcs, |
306 | void *closure); | |
5f5233d4 | 307 | |
a7035dbb JK |
308 | extern struct value *allocate_optimized_out_value (struct type *type); |
309 | ||
5f5233d4 PA |
310 | /* If VALUE is lval_computed, return its lval_funcs structure. */ |
311 | ||
a471c594 | 312 | extern const struct lval_funcs *value_computed_funcs (const struct value *); |
5f5233d4 PA |
313 | |
314 | /* If VALUE is lval_computed, return its closure. The meaning of the | |
315 | returned value depends on the functions VALUE uses. */ | |
316 | ||
0e03807e | 317 | extern void *value_computed_closure (const struct value *value); |
5f5233d4 | 318 | |
91294c83 | 319 | /* If zero, contents of this value are in the contents field. If |
9214ee5f DJ |
320 | nonzero, contents are in inferior. If the lval field is lval_memory, |
321 | the contents are in inferior memory at location.address plus offset. | |
322 | The lval field may also be lval_register. | |
91294c83 AC |
323 | |
324 | WARNING: This field is used by the code which handles watchpoints | |
325 | (see breakpoint.c) to decide whether a particular value can be | |
326 | watched by hardware watchpoints. If the lazy flag is set for some | |
327 | member of a value chain, it is assumed that this member of the | |
328 | chain doesn't need to be watched as part of watching the value | |
329 | itself. This is how GDB avoids watching the entire struct or array | |
330 | when the user wants to watch a single struct member or array | |
331 | element. If you ever change the way lazy flag is set and reset, be | |
332 | sure to consider this use as well! */ | |
333 | ||
4bf7b526 | 334 | extern int value_lazy (const struct value *); |
dfa52d88 | 335 | extern void set_value_lazy (struct value *value, int val); |
dea7f9ba | 336 | |
4bf7b526 | 337 | extern int value_stack (const struct value *); |
4e5d721f DE |
338 | extern void set_value_stack (struct value *value, int val); |
339 | ||
32487f77 LM |
340 | extern int value_tagged (const struct value *); |
341 | extern void set_value_tagged (struct value *value, int val); | |
342 | ||
901461f8 PA |
343 | /* Throw an error complaining that the value has been optimized |
344 | out. */ | |
345 | ||
346 | extern void error_value_optimized_out (void); | |
347 | ||
0fd88904 AC |
348 | /* value_contents() and value_contents_raw() both return the address |
349 | of the gdb buffer used to hold a copy of the contents of the lval. | |
350 | value_contents() is used when the contents of the buffer are needed | |
dea7f9ba | 351 | -- it uses value_fetch_lazy() to load the buffer from the process |
0fd88904 AC |
352 | being debugged if it hasn't already been loaded |
353 | (value_contents_writeable() is used when a writeable but fetched | |
354 | buffer is required).. value_contents_raw() is used when data is | |
355 | being stored into the buffer, or when it is certain that the | |
356 | contents of the buffer are valid. | |
dea7f9ba | 357 | |
c906108c SS |
358 | Note: The contents pointer is adjusted by the offset required to |
359 | get to the real subobject, if the value happens to represent | |
dea7f9ba | 360 | something embedded in a larger run-time object. */ |
c906108c | 361 | |
fc1a4b47 | 362 | extern gdb_byte *value_contents_raw (struct value *); |
91294c83 AC |
363 | |
364 | /* Actual contents of the value. For use of this value; setting it | |
365 | uses the stuff above. Not valid if lazy is nonzero. Target | |
366 | byte-order. We force it to be aligned properly for any possible | |
367 | value. Note that a value therefore extends beyond what is | |
368 | declared here. */ | |
369 | ||
fc1a4b47 AC |
370 | extern const gdb_byte *value_contents (struct value *); |
371 | extern gdb_byte *value_contents_writeable (struct value *); | |
c906108c SS |
372 | |
373 | /* The ALL variants of the above two macros do not adjust the returned | |
dea7f9ba | 374 | pointer by the embedded_offset value. */ |
c5aa993b | 375 | |
fc1a4b47 AC |
376 | extern gdb_byte *value_contents_all_raw (struct value *); |
377 | extern const gdb_byte *value_contents_all (struct value *); | |
c5aa993b | 378 | |
0e03807e TT |
379 | /* Like value_contents_all, but does not require that the returned |
380 | bits be valid. This should only be used in situations where you | |
381 | plan to check the validity manually. */ | |
382 | extern const gdb_byte *value_contents_for_printing (struct value *value); | |
383 | ||
de4127a3 PA |
384 | /* Like value_contents_for_printing, but accepts a constant value |
385 | pointer. Unlike value_contents_for_printing however, the pointed | |
386 | value must _not_ be lazy. */ | |
387 | extern const gdb_byte * | |
388 | value_contents_for_printing_const (const struct value *value); | |
389 | ||
a844296a | 390 | extern void value_fetch_lazy (struct value *val); |
c906108c | 391 | |
91294c83 | 392 | /* If nonzero, this is the value of a variable which does not actually |
eca07816 JB |
393 | exist in the program, at least partially. If the value is lazy, |
394 | this may fetch it now. */ | |
feb13ab0 | 395 | extern int value_optimized_out (struct value *value); |
c906108c | 396 | |
9a0dc9e3 PA |
397 | /* Given a value, return true if any of the contents bits starting at |
398 | OFFSET and extending for LENGTH bits is optimized out, false | |
399 | otherwise. */ | |
400 | ||
401 | extern int value_bits_any_optimized_out (const struct value *value, | |
402 | int bit_offset, int bit_length); | |
403 | ||
404 | /* Like value_optimized_out, but return true iff the whole value is | |
405 | optimized out. */ | |
406 | extern int value_entirely_optimized_out (struct value *value); | |
407 | ||
408 | /* Mark VALUE's content bytes starting at OFFSET and extending for | |
409 | LENGTH bytes as optimized out. */ | |
410 | ||
411 | extern void mark_value_bytes_optimized_out (struct value *value, | |
412 | int offset, int length); | |
413 | ||
414 | /* Mark VALUE's content bits starting at OFFSET and extending for | |
415 | LENGTH bits as optimized out. */ | |
eca07816 | 416 | |
9a0dc9e3 | 417 | extern void mark_value_bits_optimized_out (struct value *value, |
6b850546 | 418 | LONGEST offset, LONGEST length); |
0e03807e | 419 | |
f372da99 | 420 | /* Set or return field indicating whether a variable is initialized or |
581e13c1 | 421 | not, based on debugging information supplied by the compiler. |
f372da99 | 422 | 1 = initialized; 0 = uninitialized. */ |
4bf7b526 | 423 | extern int value_initialized (const struct value *); |
f372da99 CT |
424 | extern void set_value_initialized (struct value *, int); |
425 | ||
74bcbdf3 PA |
426 | /* Set COMPONENT's location as appropriate for a component of WHOLE |
427 | --- regardless of what kind of lvalue WHOLE is. */ | |
428 | extern void set_value_component_location (struct value *component, | |
0e03807e | 429 | const struct value *whole); |
74bcbdf3 | 430 | |
13bb5560 AC |
431 | /* While the following fields are per- VALUE .CONTENT .PIECE (i.e., a |
432 | single value might have multiple LVALs), this hacked interface is | |
433 | limited to just the first PIECE. Expect further change. */ | |
91294c83 AC |
434 | /* Type of value; either not an lval, or one of the various different |
435 | possible kinds of lval. */ | |
13bb5560 AC |
436 | extern enum lval_type *deprecated_value_lval_hack (struct value *); |
437 | #define VALUE_LVAL(val) (*deprecated_value_lval_hack (val)) | |
91294c83 | 438 | |
a471c594 JK |
439 | /* Like VALUE_LVAL, except the parameter can be const. */ |
440 | extern enum lval_type value_lval_const (const struct value *value); | |
441 | ||
42ae5230 TT |
442 | /* If lval == lval_memory, return the address in the inferior. If |
443 | lval == lval_register, return the byte offset into the registers | |
444 | structure. Otherwise, return 0. The returned address | |
445 | includes the offset, if any. */ | |
de4127a3 | 446 | extern CORE_ADDR value_address (const struct value *); |
42ae5230 TT |
447 | |
448 | /* Like value_address, except the result does not include value's | |
449 | offset. */ | |
4bf7b526 | 450 | extern CORE_ADDR value_raw_address (const struct value *); |
42ae5230 TT |
451 | |
452 | /* Set the address of a value. */ | |
453 | extern void set_value_address (struct value *, CORE_ADDR); | |
91294c83 AC |
454 | |
455 | /* Pointer to internal variable. */ | |
13bb5560 AC |
456 | extern struct internalvar **deprecated_value_internalvar_hack (struct value *); |
457 | #define VALUE_INTERNALVAR(val) (*deprecated_value_internalvar_hack (val)) | |
91294c83 | 458 | |
41b56feb KB |
459 | /* Frame ID of "next" frame to which a register value is relative. A |
460 | register value is indicated by VALUE_LVAL being set to lval_register. | |
461 | So, if the register value is found relative to frame F, then the | |
462 | frame id of F->next will be stored in VALUE_NEXT_FRAME_ID. */ | |
463 | extern struct frame_id *deprecated_value_next_frame_id_hack (struct value *); | |
464 | #define VALUE_NEXT_FRAME_ID(val) (*deprecated_value_next_frame_id_hack (val)) | |
465 | ||
466 | /* Frame ID of frame to which a register value is relative. This is | |
467 | similar to VALUE_NEXT_FRAME_ID, above, but may not be assigned to. | |
468 | Note that VALUE_FRAME_ID effectively undoes the "next" operation | |
469 | that was performed during the assignment to VALUE_NEXT_FRAME_ID. */ | |
470 | #define VALUE_FRAME_ID(val) (get_prev_frame_id_by_id (VALUE_NEXT_FRAME_ID (val))) | |
91294c83 AC |
471 | |
472 | /* Register number if the value is from a register. */ | |
7dc54575 | 473 | extern int *deprecated_value_regnum_hack (struct value *); |
13bb5560 AC |
474 | #define VALUE_REGNUM(val) (*deprecated_value_regnum_hack (val)) |
475 | ||
a471c594 JK |
476 | /* Return value after lval_funcs->coerce_ref (after check_typedef). Return |
477 | NULL if lval_funcs->coerce_ref is not applicable for whatever reason. */ | |
478 | ||
479 | extern struct value *coerce_ref_if_computed (const struct value *arg); | |
480 | ||
dfcee124 AG |
481 | /* Setup a new value type and enclosing value type for dereferenced value VALUE. |
482 | ENC_TYPE is the new enclosing type that should be set. ORIGINAL_TYPE and | |
e79eb02f AB |
483 | ORIGINAL_VAL are the type and value of the original reference or |
484 | pointer. ORIGINAL_VALUE_ADDRESS is the address within VALUE, that is | |
485 | the address that was dereferenced. | |
dfcee124 AG |
486 | |
487 | Note, that VALUE is modified by this function. | |
488 | ||
489 | It is a common implementation for coerce_ref and value_ind. */ | |
490 | ||
491 | extern struct value * readjust_indirect_value_type (struct value *value, | |
492 | struct type *enc_type, | |
4bf7b526 | 493 | const struct type *original_type, |
e79eb02f AB |
494 | struct value *original_val, |
495 | CORE_ADDR original_value_address); | |
dfcee124 | 496 | |
dea7f9ba | 497 | /* Convert a REF to the object referenced. */ |
c906108c | 498 | |
994b9211 | 499 | extern struct value *coerce_ref (struct value *value); |
c906108c SS |
500 | |
501 | /* If ARG is an array, convert it to a pointer. | |
c906108c SS |
502 | If ARG is a function, convert it to a function pointer. |
503 | ||
504 | References are dereferenced. */ | |
505 | ||
994b9211 | 506 | extern struct value *coerce_array (struct value *value); |
c906108c | 507 | |
8cf6f0b1 TT |
508 | /* Given a value, determine whether the bits starting at OFFSET and |
509 | extending for LENGTH bits are a synthetic pointer. */ | |
510 | ||
511 | extern int value_bits_synthetic_pointer (const struct value *value, | |
6b850546 | 512 | LONGEST offset, LONGEST length); |
8cf6f0b1 | 513 | |
4e07d55f PA |
514 | /* Given a value, determine whether the contents bytes starting at |
515 | OFFSET and extending for LENGTH bytes are available. This returns | |
516 | nonzero if all bytes in the given range are available, zero if any | |
517 | byte is unavailable. */ | |
518 | ||
519 | extern int value_bytes_available (const struct value *value, | |
6b850546 | 520 | LONGEST offset, LONGEST length); |
4e07d55f | 521 | |
bdf22206 AB |
522 | /* Given a value, determine whether the contents bits starting at |
523 | OFFSET and extending for LENGTH bits are available. This returns | |
524 | nonzero if all bits in the given range are available, zero if any | |
525 | bit is unavailable. */ | |
526 | ||
527 | extern int value_bits_available (const struct value *value, | |
6b850546 | 528 | LONGEST offset, LONGEST length); |
bdf22206 | 529 | |
ec0a52e1 PA |
530 | /* Like value_bytes_available, but return false if any byte in the |
531 | whole object is unavailable. */ | |
532 | extern int value_entirely_available (struct value *value); | |
533 | ||
6211c335 YQ |
534 | /* Like value_entirely_available, but return false if any byte in the |
535 | whole object is available. */ | |
536 | extern int value_entirely_unavailable (struct value *value); | |
537 | ||
4e07d55f PA |
538 | /* Mark VALUE's content bytes starting at OFFSET and extending for |
539 | LENGTH bytes as unavailable. */ | |
540 | ||
541 | extern void mark_value_bytes_unavailable (struct value *value, | |
6b850546 | 542 | LONGEST offset, LONGEST length); |
c8c1c22f | 543 | |
bdf22206 AB |
544 | /* Mark VALUE's content bits starting at OFFSET and extending for |
545 | LENGTH bits as unavailable. */ | |
546 | ||
547 | extern void mark_value_bits_unavailable (struct value *value, | |
6b850546 | 548 | LONGEST offset, LONGEST length); |
bdf22206 | 549 | |
c8c1c22f | 550 | /* Compare LENGTH bytes of VAL1's contents starting at OFFSET1 with |
cd24cfaa PA |
551 | LENGTH bytes of VAL2's contents starting at OFFSET2. |
552 | ||
553 | Note that "contents" refers to the whole value's contents | |
554 | (value_contents_all), without any embedded offset adjustment. For | |
555 | example, to compare a complete object value with itself, including | |
556 | its enclosing type chunk, you'd do: | |
557 | ||
558 | int len = TYPE_LENGTH (check_typedef (value_enclosing_type (val))); | |
9a0dc9e3 PA |
559 | value_contents_eq (val, 0, val, 0, len); |
560 | ||
561 | Returns true iff the set of available/valid contents match. | |
562 | ||
563 | Optimized-out contents are equal to optimized-out contents, and are | |
564 | not equal to non-optimized-out contents. | |
cd24cfaa | 565 | |
30baf67b | 566 | Unavailable contents are equal to unavailable contents, and are not |
9a0dc9e3 | 567 | equal to non-unavailable contents. |
c8c1c22f | 568 | |
9a0dc9e3 PA |
569 | For example, if 'x's represent an unavailable byte, and 'V' and 'Z' |
570 | represent different available/valid bytes, in a value with length | |
571 | 16: | |
572 | ||
573 | offset: 0 4 8 12 16 | |
574 | contents: xxxxVVVVxxxxVVZZ | |
c8c1c22f PA |
575 | |
576 | then: | |
577 | ||
98ead37e YQ |
578 | value_contents_eq(val, 0, val, 8, 6) => true |
579 | value_contents_eq(val, 0, val, 4, 4) => false | |
580 | value_contents_eq(val, 0, val, 8, 8) => false | |
581 | value_contents_eq(val, 4, val, 12, 2) => true | |
582 | value_contents_eq(val, 4, val, 12, 4) => true | |
583 | value_contents_eq(val, 3, val, 4, 4) => true | |
9a0dc9e3 PA |
584 | |
585 | If 'x's represent an unavailable byte, 'o' represents an optimized | |
586 | out byte, in a value with length 8: | |
587 | ||
588 | offset: 0 4 8 | |
589 | contents: xxxxoooo | |
590 | ||
591 | then: | |
592 | ||
98ead37e YQ |
593 | value_contents_eq(val, 0, val, 2, 2) => true |
594 | value_contents_eq(val, 4, val, 6, 2) => true | |
595 | value_contents_eq(val, 0, val, 4, 4) => true | |
9a0dc9e3 PA |
596 | |
597 | We only know whether a value chunk is unavailable or optimized out | |
598 | if we've tried to read it. As this routine is used by printing | |
599 | routines, which may be printing values in the value history, long | |
600 | after the inferior is gone, it works with const values. Therefore, | |
601 | this routine must not be called with lazy values. */ | |
602 | ||
98ead37e YQ |
603 | extern bool value_contents_eq (const struct value *val1, LONGEST offset1, |
604 | const struct value *val2, LONGEST offset2, | |
605 | LONGEST length); | |
4e07d55f | 606 | |
3ae385af SM |
607 | /* Read LENGTH addressable memory units starting at MEMADDR into BUFFER, |
608 | which is (or will be copied to) VAL's contents buffer offset by | |
23f945bf AA |
609 | BIT_OFFSET bits. Marks value contents ranges as unavailable if |
610 | the corresponding memory is likewise unavailable. STACK indicates | |
611 | whether the memory is known to be stack memory. */ | |
e6ca34fc | 612 | |
23f945bf | 613 | extern void read_value_memory (struct value *val, LONGEST bit_offset, |
e6ca34fc PA |
614 | int stack, CORE_ADDR memaddr, |
615 | gdb_byte *buffer, size_t length); | |
616 | ||
8954db33 AB |
617 | /* Cast SCALAR_VALUE to the element type of VECTOR_TYPE, then replicate |
618 | into each element of a new vector value with VECTOR_TYPE. */ | |
619 | ||
620 | struct value *value_vector_widen (struct value *scalar_value, | |
621 | struct type *vector_type); | |
622 | ||
c906108c | 623 | \f |
c5aa993b | 624 | |
c906108c SS |
625 | #include "symtab.h" |
626 | #include "gdbtypes.h" | |
627 | #include "expression.h" | |
628 | ||
c906108c SS |
629 | struct frame_info; |
630 | struct fn_field; | |
c906108c | 631 | |
9cb709b6 TT |
632 | extern int print_address_demangle (const struct value_print_options *, |
633 | struct gdbarch *, CORE_ADDR, | |
634 | struct ui_file *, int); | |
c906108c | 635 | |
70100014 UW |
636 | /* Returns true if VAL is of floating-point type. In addition, |
637 | throws an error if the value is an invalid floating-point value. */ | |
638 | extern bool is_floating_value (struct value *val); | |
639 | ||
f23631e4 | 640 | extern LONGEST value_as_long (struct value *val); |
f23631e4 | 641 | extern CORE_ADDR value_as_address (struct value *val); |
c906108c | 642 | |
fc1a4b47 | 643 | extern LONGEST unpack_long (struct type *type, const gdb_byte *valaddr); |
fc1a4b47 | 644 | extern CORE_ADDR unpack_pointer (struct type *type, const gdb_byte *valaddr); |
5467c6c8 | 645 | |
8929e59d | 646 | extern LONGEST unpack_field_as_long (struct type *type, |
fc1a4b47 | 647 | const gdb_byte *valaddr, |
a14ed312 | 648 | int fieldno); |
ef83a141 TT |
649 | |
650 | /* Unpack a bitfield of the specified FIELD_TYPE, from the object at | |
651 | VALADDR, and store the result in *RESULT. | |
652 | The bitfield starts at BITPOS bits and contains BITSIZE bits; if | |
653 | BITSIZE is zero, then the length is taken from FIELD_TYPE. | |
654 | ||
655 | Extracting bits depends on endianness of the machine. Compute the | |
656 | number of least significant bits to discard. For big endian machines, | |
657 | we compute the total number of bits in the anonymous object, subtract | |
658 | off the bit count from the MSB of the object to the MSB of the | |
659 | bitfield, then the size of the bitfield, which leaves the LSB discard | |
660 | count. For little endian machines, the discard count is simply the | |
661 | number of bits from the LSB of the anonymous object to the LSB of the | |
662 | bitfield. | |
663 | ||
664 | If the field is signed, we also do sign extension. */ | |
665 | ||
666 | extern LONGEST unpack_bits_as_long (struct type *field_type, | |
667 | const gdb_byte *valaddr, | |
668 | LONGEST bitpos, LONGEST bitsize); | |
669 | ||
5467c6c8 | 670 | extern int unpack_value_field_as_long (struct type *type, const gdb_byte *valaddr, |
6b850546 | 671 | LONGEST embedded_offset, int fieldno, |
5467c6c8 PA |
672 | const struct value *val, LONGEST *result); |
673 | ||
bb9d5f81 | 674 | extern void unpack_value_bitfield (struct value *dest_val, |
6b850546 DT |
675 | LONGEST bitpos, LONGEST bitsize, |
676 | const gdb_byte *valaddr, | |
677 | LONGEST embedded_offset, | |
bb9d5f81 PP |
678 | const struct value *val); |
679 | ||
5467c6c8 PA |
680 | extern struct value *value_field_bitfield (struct type *type, int fieldno, |
681 | const gdb_byte *valaddr, | |
6b850546 | 682 | LONGEST embedded_offset, |
5467c6c8 | 683 | const struct value *val); |
c906108c | 684 | |
14d06750 DJ |
685 | extern void pack_long (gdb_byte *buf, struct type *type, LONGEST num); |
686 | ||
f23631e4 | 687 | extern struct value *value_from_longest (struct type *type, LONGEST num); |
595939de | 688 | extern struct value *value_from_ulongest (struct type *type, ULONGEST num); |
f23631e4 | 689 | extern struct value *value_from_pointer (struct type *type, CORE_ADDR addr); |
7584bb30 | 690 | extern struct value *value_from_host_double (struct type *type, double d); |
e799154c | 691 | extern struct value *value_from_history_ref (const char *, const char **); |
3fff9862 YQ |
692 | extern struct value *value_from_component (struct value *, struct type *, |
693 | LONGEST); | |
0f71a2f6 | 694 | |
00a4c844 AC |
695 | extern struct value *value_at (struct type *type, CORE_ADDR addr); |
696 | extern struct value *value_at_lazy (struct type *type, CORE_ADDR addr); | |
c906108c | 697 | |
012370f6 TT |
698 | extern struct value *value_from_contents_and_address_unresolved |
699 | (struct type *, const gdb_byte *, CORE_ADDR); | |
8acb6b92 TT |
700 | extern struct value *value_from_contents_and_address (struct type *, |
701 | const gdb_byte *, | |
702 | CORE_ADDR); | |
8a9b8146 | 703 | extern struct value *value_from_contents (struct type *, const gdb_byte *); |
8acb6b92 | 704 | |
2ed3c037 UW |
705 | extern struct value *default_value_from_register (struct gdbarch *gdbarch, |
706 | struct type *type, | |
9acbedc0 | 707 | int regnum, |
2ed3c037 | 708 | struct frame_id frame_id); |
9acbedc0 | 709 | |
b56d6f31 JB |
710 | extern void read_frame_register_value (struct value *value, |
711 | struct frame_info *frame); | |
712 | ||
f23631e4 AC |
713 | extern struct value *value_from_register (struct type *type, int regnum, |
714 | struct frame_info *frame); | |
c906108c | 715 | |
2ed3c037 | 716 | extern CORE_ADDR address_from_register (int regnum, |
0b2b0195 UW |
717 | struct frame_info *frame); |
718 | ||
9df2fbc4 PM |
719 | extern struct value *value_of_variable (struct symbol *var, |
720 | const struct block *b); | |
c906108c | 721 | |
270140bd TT |
722 | extern struct value *address_of_variable (struct symbol *var, |
723 | const struct block *b); | |
61212c0f | 724 | |
89f5065b | 725 | extern struct value *value_of_register (int regnum, struct frame_info *frame); |
c906108c | 726 | |
9214ee5f DJ |
727 | struct value *value_of_register_lazy (struct frame_info *frame, int regnum); |
728 | ||
0b31a4bc TT |
729 | /* Return the symbol's reading requirement. */ |
730 | ||
731 | extern enum symbol_needs_kind symbol_read_needs (struct symbol *); | |
732 | ||
733 | /* Return true if the symbol needs a frame. This is a wrapper for | |
734 | symbol_read_needs that simply checks for SYMBOL_NEEDS_FRAME. */ | |
735 | ||
a14ed312 | 736 | extern int symbol_read_needs_frame (struct symbol *); |
c906108c | 737 | |
f23631e4 | 738 | extern struct value *read_var_value (struct symbol *var, |
63e43d3a | 739 | const struct block *var_block, |
f23631e4 | 740 | struct frame_info *frame); |
c906108c | 741 | |
f23631e4 | 742 | extern struct value *allocate_value (struct type *type); |
3e3d7139 | 743 | extern struct value *allocate_value_lazy (struct type *type); |
6b850546 DT |
744 | extern void value_contents_copy (struct value *dst, LONGEST dst_offset, |
745 | struct value *src, LONGEST src_offset, | |
746 | LONGEST length); | |
747 | extern void value_contents_copy_raw (struct value *dst, LONGEST dst_offset, | |
748 | struct value *src, LONGEST src_offset, | |
749 | LONGEST length); | |
c906108c | 750 | |
f23631e4 | 751 | extern struct value *allocate_repeat_value (struct type *type, int count); |
c906108c | 752 | |
f23631e4 | 753 | extern struct value *value_mark (void); |
c906108c | 754 | |
4bf7b526 | 755 | extern void value_free_to_mark (const struct value *mark); |
c906108c | 756 | |
eb115069 TT |
757 | /* A helper class that uses value_mark at construction time and calls |
758 | value_free_to_mark in the destructor. This is used to clear out | |
759 | temporary values created during the lifetime of this object. */ | |
760 | class scoped_value_mark | |
761 | { | |
762 | public: | |
763 | ||
764 | scoped_value_mark () | |
765 | : m_value (value_mark ()) | |
766 | { | |
767 | } | |
768 | ||
769 | ~scoped_value_mark () | |
770 | { | |
0cf08227 TT |
771 | free_to_mark (); |
772 | } | |
773 | ||
54f70bc1 TT |
774 | scoped_value_mark (scoped_value_mark &&other) = default; |
775 | ||
776 | DISABLE_COPY_AND_ASSIGN (scoped_value_mark); | |
777 | ||
0cf08227 TT |
778 | /* Free the values currently on the value stack. */ |
779 | void free_to_mark () | |
780 | { | |
781 | if (m_value != NULL) | |
782 | { | |
783 | value_free_to_mark (m_value); | |
784 | m_value = NULL; | |
785 | } | |
eb115069 TT |
786 | } |
787 | ||
788 | private: | |
789 | ||
790 | const struct value *m_value; | |
791 | }; | |
792 | ||
e3a3797e | 793 | extern struct value *value_cstring (const char *ptr, ssize_t len, |
3b7538c0 | 794 | struct type *char_type); |
7cc3f8e2 | 795 | extern struct value *value_string (const char *ptr, ssize_t len, |
3b7538c0 | 796 | struct type *char_type); |
c906108c | 797 | |
f23631e4 | 798 | extern struct value *value_array (int lowbound, int highbound, |
89f5065b | 799 | struct value **elemvec); |
c906108c | 800 | |
f23631e4 | 801 | extern struct value *value_concat (struct value *arg1, struct value *arg2); |
c906108c | 802 | |
f23631e4 AC |
803 | extern struct value *value_binop (struct value *arg1, struct value *arg2, |
804 | enum exp_opcode op); | |
c906108c | 805 | |
2497b498 | 806 | extern struct value *value_ptradd (struct value *arg1, LONGEST arg2); |
89eef114 UW |
807 | |
808 | extern LONGEST value_ptrdiff (struct value *arg1, struct value *arg2); | |
c906108c | 809 | |
00db9531 SM |
810 | /* Return true if VAL does not live in target memory, but should in order |
811 | to operate on it. Otherwise return false. */ | |
812 | ||
813 | extern bool value_must_coerce_to_target (struct value *arg1); | |
63092375 DJ |
814 | |
815 | extern struct value *value_coerce_to_target (struct value *arg1); | |
816 | ||
f23631e4 | 817 | extern struct value *value_coerce_array (struct value *arg1); |
c906108c | 818 | |
f23631e4 | 819 | extern struct value *value_coerce_function (struct value *arg1); |
c906108c | 820 | |
f23631e4 | 821 | extern struct value *value_ind (struct value *arg1); |
c906108c | 822 | |
f23631e4 | 823 | extern struct value *value_addr (struct value *arg1); |
c906108c | 824 | |
a65cfae5 | 825 | extern struct value *value_ref (struct value *arg1, enum type_code refcode); |
fb933624 | 826 | |
89f5065b AC |
827 | extern struct value *value_assign (struct value *toval, |
828 | struct value *fromval); | |
c906108c | 829 | |
36e9969c NS |
830 | extern struct value *value_pos (struct value *arg1); |
831 | ||
f23631e4 | 832 | extern struct value *value_neg (struct value *arg1); |
c906108c | 833 | |
f23631e4 | 834 | extern struct value *value_complement (struct value *arg1); |
c906108c | 835 | |
f23631e4 AC |
836 | extern struct value *value_struct_elt (struct value **argp, |
837 | struct value **args, | |
714f19d5 TT |
838 | const char *name, int *static_memfuncp, |
839 | const char *err); | |
c906108c | 840 | |
b5b08fb4 SC |
841 | extern struct value *value_struct_elt_bitpos (struct value **argp, |
842 | int bitpos, | |
843 | struct type *field_type, | |
844 | const char *err); | |
845 | ||
79c2c32d | 846 | extern struct value *value_aggregate_elt (struct type *curtype, |
c848d642 | 847 | const char *name, |
072bba3b | 848 | struct type *expect_type, |
0d5de010 DJ |
849 | int want_address, |
850 | enum noside noside); | |
c906108c | 851 | |
f23631e4 | 852 | extern struct value *value_static_field (struct type *type, int fieldno); |
c906108c | 853 | |
4c3376c8 SW |
854 | enum oload_search_type { NON_METHOD, METHOD, BOTH }; |
855 | ||
6b1747cd | 856 | extern int find_overload_match (gdb::array_view<value *> args, |
4c3376c8 | 857 | const char *name, |
28c64fc2 | 858 | enum oload_search_type method, |
7f8c9282 | 859 | struct value **objp, struct symbol *fsym, |
f23631e4 | 860 | struct value **valp, struct symbol **symp, |
e66d4446 SC |
861 | int *staticp, const int no_adl, |
862 | enum noside noside); | |
c906108c | 863 | |
f23631e4 | 864 | extern struct value *value_field (struct value *arg1, int fieldno); |
c906108c | 865 | |
6b850546 | 866 | extern struct value *value_primitive_field (struct value *arg1, LONGEST offset, |
f23631e4 AC |
867 | int fieldno, |
868 | struct type *arg_type); | |
c906108c | 869 | |
c906108c | 870 | |
6b850546 | 871 | extern struct type *value_rtti_indirect_type (struct value *, int *, LONGEST *, |
dfcee124 | 872 | int *); |
c906108c | 873 | |
f23631e4 AC |
874 | extern struct value *value_full_object (struct value *, struct type *, int, |
875 | int, int); | |
c906108c | 876 | |
b1af9e97 | 877 | extern struct value *value_cast_pointers (struct type *, struct value *, int); |
fb933624 | 878 | |
f23631e4 | 879 | extern struct value *value_cast (struct type *type, struct value *arg2); |
c906108c | 880 | |
4e8f195d TT |
881 | extern struct value *value_reinterpret_cast (struct type *type, |
882 | struct value *arg); | |
883 | ||
884 | extern struct value *value_dynamic_cast (struct type *type, struct value *arg); | |
885 | ||
f23631e4 | 886 | extern struct value *value_zero (struct type *type, enum lval_type lv); |
c906108c | 887 | |
18a46dbe | 888 | extern struct value *value_one (struct type *type); |
301f0ecf | 889 | |
f23631e4 | 890 | extern struct value *value_repeat (struct value *arg1, int count); |
c906108c | 891 | |
2497b498 | 892 | extern struct value *value_subscript (struct value *array, LONGEST index); |
c906108c | 893 | |
afc05acb UW |
894 | extern struct value *value_bitstring_subscript (struct type *type, |
895 | struct value *bitstring, | |
2497b498 | 896 | LONGEST index); |
afc05acb | 897 | |
5fe830e4 AC |
898 | extern struct value *register_value_being_returned (struct type *valtype, |
899 | struct regcache *retbuf); | |
c906108c | 900 | |
fbb06eb1 | 901 | extern int value_in (struct value *element, struct value *set); |
c906108c | 902 | |
fc1a4b47 | 903 | extern int value_bit_index (struct type *type, const gdb_byte *addr, |
c84141d6 | 904 | int index); |
c906108c | 905 | |
bbfdfe1c DM |
906 | extern enum return_value_convention |
907 | struct_return_convention (struct gdbarch *gdbarch, struct value *function, | |
908 | struct type *value_type); | |
909 | ||
d80b854b | 910 | extern int using_struct_return (struct gdbarch *gdbarch, |
6a3a010b | 911 | struct value *function, |
c055b101 | 912 | struct type *value_type); |
c906108c | 913 | |
f23631e4 | 914 | extern struct value *evaluate_expression (struct expression *exp); |
c906108c | 915 | |
f23631e4 | 916 | extern struct value *evaluate_type (struct expression *exp); |
c906108c | 917 | |
4b27a620 JB |
918 | extern struct value *evaluate_subexp (struct type *expect_type, |
919 | struct expression *exp, | |
920 | int *pos, enum noside noside); | |
921 | ||
65d12d83 TT |
922 | extern struct value *evaluate_subexpression_type (struct expression *exp, |
923 | int subexp); | |
924 | ||
ced9779b JB |
925 | extern value *evaluate_var_value (enum noside noside, const block *blk, |
926 | symbol *var); | |
927 | ||
928 | extern value *evaluate_var_msym_value (enum noside noside, | |
929 | struct objfile *objfile, | |
930 | minimal_symbol *msymbol); | |
931 | ||
932 | extern value *eval_skip_value (expression *exp); | |
933 | ||
0cf6dd15 TJB |
934 | extern void fetch_subexp_value (struct expression *exp, int *pc, |
935 | struct value **valp, struct value **resultp, | |
a6535de1 | 936 | std::vector<value_ref_ptr> *val_chain, |
3a1115a0 | 937 | int preserve_errors); |
0cf6dd15 | 938 | |
3eac2b65 | 939 | extern const char *extract_field_op (struct expression *exp, int *subexp); |
65d12d83 | 940 | |
f23631e4 AC |
941 | extern struct value *evaluate_subexp_with_coercion (struct expression *, |
942 | int *, enum noside); | |
c906108c | 943 | |
bbc13ae3 | 944 | extern struct value *parse_and_eval (const char *exp); |
c906108c | 945 | |
bbc13ae3 | 946 | extern struct value *parse_to_comma_and_eval (const char **expp); |
c906108c | 947 | |
a14ed312 | 948 | extern struct type *parse_and_eval_type (char *p, int length); |
c906108c | 949 | |
bbc13ae3 | 950 | extern CORE_ADDR parse_and_eval_address (const char *exp); |
c906108c | 951 | |
a1b8c4cc | 952 | extern LONGEST parse_and_eval_long (const char *exp); |
bb518678 | 953 | |
4066e646 UW |
954 | extern void unop_promote (const struct language_defn *language, |
955 | struct gdbarch *gdbarch, | |
956 | struct value **arg1); | |
957 | ||
958 | extern void binop_promote (const struct language_defn *language, | |
959 | struct gdbarch *gdbarch, | |
960 | struct value **arg1, struct value **arg2); | |
961 | ||
f23631e4 | 962 | extern struct value *access_value_history (int num); |
c906108c | 963 | |
78267919 UW |
964 | extern struct value *value_of_internalvar (struct gdbarch *gdbarch, |
965 | struct internalvar *var); | |
c906108c | 966 | |
4fa62494 UW |
967 | extern int get_internalvar_integer (struct internalvar *var, LONGEST *l); |
968 | ||
f23631e4 | 969 | extern void set_internalvar (struct internalvar *var, struct value *val); |
c906108c | 970 | |
4fa62494 UW |
971 | extern void set_internalvar_integer (struct internalvar *var, LONGEST l); |
972 | ||
78267919 UW |
973 | extern void set_internalvar_string (struct internalvar *var, |
974 | const char *string); | |
975 | ||
4fa62494 UW |
976 | extern void clear_internalvar (struct internalvar *var); |
977 | ||
a14ed312 | 978 | extern void set_internalvar_component (struct internalvar *var, |
6b850546 DT |
979 | LONGEST offset, |
980 | LONGEST bitpos, LONGEST bitsize, | |
f23631e4 | 981 | struct value *newvalue); |
c906108c | 982 | |
bc3b79fd | 983 | extern struct internalvar *lookup_only_internalvar (const char *name); |
c4a3d09a | 984 | |
bc3b79fd | 985 | extern struct internalvar *create_internalvar (const char *name); |
c4a3d09a | 986 | |
eb3ff9a5 PA |
987 | extern void complete_internalvar (completion_tracker &tracker, |
988 | const char *name); | |
d55637df | 989 | |
22d2b532 SDJ |
990 | /* An internalvar can be dynamically computed by supplying a vector of |
991 | function pointers to perform various operations. */ | |
992 | ||
993 | struct internalvar_funcs | |
994 | { | |
995 | /* Compute the value of the variable. The DATA argument passed to | |
996 | the function is the same argument that was passed to | |
997 | `create_internalvar_type_lazy'. */ | |
998 | ||
999 | struct value *(*make_value) (struct gdbarch *arch, | |
1000 | struct internalvar *var, | |
1001 | void *data); | |
1002 | ||
1003 | /* Update the agent expression EXPR with bytecode to compute the | |
1004 | value. VALUE is the agent value we are updating. The DATA | |
1005 | argument passed to this function is the same argument that was | |
1006 | passed to `create_internalvar_type_lazy'. If this pointer is | |
1007 | NULL, then the internalvar cannot be compiled to an agent | |
1008 | expression. */ | |
1009 | ||
1010 | void (*compile_to_ax) (struct internalvar *var, | |
1011 | struct agent_expr *expr, | |
1012 | struct axs_value *value, | |
1013 | void *data); | |
1014 | ||
1015 | /* If non-NULL, this is called to destroy DATA. The DATA argument | |
1016 | passed to this function is the same argument that was passed to | |
1017 | `create_internalvar_type_lazy'. */ | |
1018 | ||
1019 | void (*destroy) (void *data); | |
1020 | }; | |
1021 | ||
73033f12 SDJ |
1022 | extern struct internalvar *create_internalvar_type_lazy (const char *name, |
1023 | const struct internalvar_funcs *funcs, | |
1024 | void *data); | |
22d2b532 SDJ |
1025 | |
1026 | /* Compile an internal variable to an agent expression. VAR is the | |
1027 | variable to compile; EXPR and VALUE are the agent expression we are | |
1028 | updating. This will return 0 if there is no known way to compile | |
1029 | VAR, and 1 if VAR was successfully compiled. It may also throw an | |
1030 | exception on error. */ | |
1031 | ||
1032 | extern int compile_internalvar_to_ax (struct internalvar *var, | |
1033 | struct agent_expr *expr, | |
1034 | struct axs_value *value); | |
4aa995e1 | 1035 | |
bc3b79fd | 1036 | extern struct internalvar *lookup_internalvar (const char *name); |
c906108c | 1037 | |
f23631e4 | 1038 | extern int value_equal (struct value *arg1, struct value *arg2); |
c906108c | 1039 | |
218d2fc6 TJB |
1040 | extern int value_equal_contents (struct value *arg1, struct value *arg2); |
1041 | ||
f23631e4 | 1042 | extern int value_less (struct value *arg1, struct value *arg2); |
c906108c | 1043 | |
f23631e4 | 1044 | extern int value_logical_not (struct value *arg1); |
c906108c SS |
1045 | |
1046 | /* C++ */ | |
1047 | ||
85bc8cb7 JK |
1048 | extern struct value *value_of_this (const struct language_defn *lang); |
1049 | ||
1050 | extern struct value *value_of_this_silent (const struct language_defn *lang); | |
c906108c | 1051 | |
f23631e4 AC |
1052 | extern struct value *value_x_binop (struct value *arg1, struct value *arg2, |
1053 | enum exp_opcode op, | |
1054 | enum exp_opcode otherop, | |
1055 | enum noside noside); | |
c906108c | 1056 | |
f23631e4 AC |
1057 | extern struct value *value_x_unop (struct value *arg1, enum exp_opcode op, |
1058 | enum noside noside); | |
c906108c | 1059 | |
89f5065b | 1060 | extern struct value *value_fn_field (struct value **arg1p, struct fn_field *f, |
6b850546 | 1061 | int j, struct type *type, LONGEST offset); |
c906108c | 1062 | |
be636754 PA |
1063 | extern int binop_types_user_defined_p (enum exp_opcode op, |
1064 | struct type *type1, | |
1065 | struct type *type2); | |
1066 | ||
f23631e4 AC |
1067 | extern int binop_user_defined_p (enum exp_opcode op, struct value *arg1, |
1068 | struct value *arg2); | |
c906108c | 1069 | |
f23631e4 | 1070 | extern int unop_user_defined_p (enum exp_opcode op, struct value *arg1); |
c906108c | 1071 | |
d8228535 | 1072 | extern int destructor_name_p (const char *name, struct type *type); |
c906108c | 1073 | |
22bc8444 | 1074 | extern value_ref_ptr release_value (struct value *val); |
e848a8a5 | 1075 | |
f23631e4 | 1076 | extern int record_latest_value (struct value *val); |
c906108c | 1077 | |
50810684 | 1078 | extern void modify_field (struct type *type, gdb_byte *addr, |
6b850546 | 1079 | LONGEST fieldval, LONGEST bitpos, LONGEST bitsize); |
c906108c | 1080 | |
0d5cff50 | 1081 | extern void type_print (struct type *type, const char *varstring, |
89f5065b | 1082 | struct ui_file *stream, int show); |
c906108c | 1083 | |
2f408ecb | 1084 | extern std::string type_to_string (struct type *type); |
ae6a3a4c | 1085 | |
fc1a4b47 AC |
1086 | extern gdb_byte *baseclass_addr (struct type *type, int index, |
1087 | gdb_byte *valaddr, | |
8929e59d | 1088 | struct value **valuep, int *errp); |
c906108c | 1089 | |
89f5065b | 1090 | extern void print_longest (struct ui_file *stream, int format, |
d9fcf2fb | 1091 | int use_local, LONGEST val); |
c906108c | 1092 | |
fc1a4b47 | 1093 | extern void print_floating (const gdb_byte *valaddr, struct type *type, |
89f5065b | 1094 | struct ui_file *stream); |
c906108c | 1095 | |
8e069a98 TT |
1096 | extern void value_print (struct value *val, struct ui_file *stream, |
1097 | const struct value_print_options *options); | |
c906108c | 1098 | |
f23631e4 AC |
1099 | extern void value_print_array_elements (struct value *val, |
1100 | struct ui_file *stream, int format, | |
2a998fc0 | 1101 | enum val_prettyformat pretty); |
c906108c | 1102 | |
a6535de1 TT |
1103 | /* Release values from the value chain and return them. Values |
1104 | created after MARK are released. If MARK is nullptr, or if MARK is | |
1105 | not found on the value chain, then all values are released. Values | |
1106 | are returned in reverse order of creation; that is, newest | |
1107 | first. */ | |
1108 | ||
1109 | extern std::vector<value_ref_ptr> value_release_to_mark | |
1110 | (const struct value *mark); | |
c906108c | 1111 | |
a1f5dd1b TT |
1112 | extern void common_val_print (struct value *val, |
1113 | struct ui_file *stream, int recurse, | |
1114 | const struct value_print_options *options, | |
1115 | const struct language_defn *language); | |
806048c6 | 1116 | |
09ca9e2e TT |
1117 | extern int val_print_string (struct type *elttype, const char *encoding, |
1118 | CORE_ADDR addr, int len, | |
79a45b7d TT |
1119 | struct ui_file *stream, |
1120 | const struct value_print_options *options); | |
c906108c | 1121 | |
aad95b57 TT |
1122 | extern void print_variable_and_value (const char *name, |
1123 | struct symbol *var, | |
1124 | struct frame_info *frame, | |
1125 | struct ui_file *stream, | |
1126 | int indent); | |
c906108c | 1127 | |
89f5065b AC |
1128 | extern void typedef_print (struct type *type, struct symbol *news, |
1129 | struct ui_file *stream); | |
c906108c | 1130 | |
4bf7b526 | 1131 | extern char *internalvar_name (const struct internalvar *var); |
c906108c | 1132 | |
ae5a43e0 | 1133 | extern void preserve_values (struct objfile *); |
c906108c SS |
1134 | |
1135 | /* From values.c */ | |
1136 | ||
f23631e4 | 1137 | extern struct value *value_copy (struct value *); |
c906108c | 1138 | |
c37f7098 KW |
1139 | extern struct value *value_non_lval (struct value *); |
1140 | ||
6c659fc2 SC |
1141 | extern void value_force_lval (struct value *, CORE_ADDR); |
1142 | ||
4c082a81 SC |
1143 | extern struct value *make_cv_value (int, int, struct value *); |
1144 | ||
4e7a5ef5 TT |
1145 | extern void preserve_one_value (struct value *, struct objfile *, htab_t); |
1146 | ||
c906108c SS |
1147 | /* From valops.c */ |
1148 | ||
f23631e4 | 1149 | extern struct value *varying_to_slice (struct value *); |
c906108c | 1150 | |
f23631e4 | 1151 | extern struct value *value_slice (struct value *, int, int); |
c906108c | 1152 | |
6b4a335b TT |
1153 | /* Create a complex number. The type is the complex type; the values |
1154 | are cast to the underlying scalar type before the complex number is | |
1155 | created. */ | |
1156 | ||
f23631e4 AC |
1157 | extern struct value *value_literal_complex (struct value *, struct value *, |
1158 | struct type *); | |
c906108c | 1159 | |
4c99290d TT |
1160 | /* Return the real part of a complex value. */ |
1161 | ||
1162 | extern struct value *value_real_part (struct value *value); | |
1163 | ||
1164 | /* Return the imaginary part of a complex value. */ | |
1165 | ||
1166 | extern struct value *value_imaginary_part (struct value *value); | |
1167 | ||
3e3b026f UW |
1168 | extern struct value *find_function_in_inferior (const char *, |
1169 | struct objfile **); | |
c906108c | 1170 | |
f23631e4 | 1171 | extern struct value *value_allocate_space_in_inferior (int); |
c906108c | 1172 | |
2497b498 | 1173 | extern struct value *value_subscripted_rvalue (struct value *array, |
592f9d27 AB |
1174 | LONGEST index, |
1175 | LONGEST lowerbound); | |
bc3b79fd TJB |
1176 | |
1177 | /* User function handler. */ | |
1178 | ||
d452c4bc UW |
1179 | typedef struct value *(*internal_function_fn) (struct gdbarch *gdbarch, |
1180 | const struct language_defn *language, | |
1181 | void *cookie, | |
bc3b79fd TJB |
1182 | int argc, |
1183 | struct value **argv); | |
1184 | ||
1a6d41c6 TT |
1185 | /* Add a new internal function. NAME is the name of the function; DOC |
1186 | is a documentation string describing the function. HANDLER is | |
1187 | called when the function is invoked. COOKIE is an arbitrary | |
1188 | pointer which is passed to HANDLER and is intended for "user | |
1189 | data". */ | |
1190 | ||
1191 | extern void add_internal_function (const char *name, const char *doc, | |
1192 | internal_function_fn handler, | |
1193 | void *cookie); | |
1194 | ||
1195 | /* This overload takes an allocated documentation string. */ | |
1196 | ||
3ea16160 | 1197 | extern void add_internal_function (gdb::unique_xmalloc_ptr<char> &&name, |
1a6d41c6 TT |
1198 | gdb::unique_xmalloc_ptr<char> &&doc, |
1199 | internal_function_fn handler, | |
1200 | void *cookie); | |
bc3b79fd | 1201 | |
d452c4bc UW |
1202 | struct value *call_internal_function (struct gdbarch *gdbarch, |
1203 | const struct language_defn *language, | |
1204 | struct value *function, | |
bc3b79fd TJB |
1205 | int argc, struct value **argv); |
1206 | ||
1207 | char *value_internal_function_name (struct value *); | |
1208 | ||
ba18742c SM |
1209 | /* Build a value wrapping and representing WORKER. The value takes ownership |
1210 | of the xmethod_worker object. */ | |
1211 | ||
1212 | extern struct value *value_from_xmethod (xmethod_worker_up &&worker); | |
e81e7f5e | 1213 | |
2ce1cdbf | 1214 | extern struct type *result_type_of_xmethod (struct value *method, |
6b1747cd | 1215 | gdb::array_view<value *> argv); |
2ce1cdbf DE |
1216 | |
1217 | extern struct value *call_xmethod (struct value *method, | |
6b1747cd | 1218 | gdb::array_view<value *> argv); |
e81e7f5e | 1219 | |
9d1447e0 SDJ |
1220 | /* Destroy the values currently allocated. This is called when GDB is |
1221 | exiting (e.g., on quit_force). */ | |
1222 | extern void finalize_values (); | |
1223 | ||
c5aa993b | 1224 | #endif /* !defined (VALUE_H) */ |