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