forked from bminor/binutils-gdb
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathvalue.h
1728 lines (1289 loc) · 62.8 KB
/
value.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
/* Definitions for values of C expressions, for GDB.
Copyright (C) 1986-2024 Free Software Foundation, Inc.
This file is part of GDB.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
#ifndef GDB_VALUE_H
#define GDB_VALUE_H
#include "frame.h"
#include "extension.h"
#include "gdbsupport/gdb_ref_ptr.h"
#include "gmp-utils.h"
#include "gdbtypes.h"
struct block;
struct expression;
struct regcache;
struct symbol;
struct ui_file;
struct language_defn;
struct value_print_options;
/* Values can be partially 'optimized out' and/or 'unavailable'.
These are distinct states and have different string representations
and related error strings.
'unavailable' has a specific meaning in this context. It means the
value exists in the program (at the machine level), but GDB has no
means to get to it. Such a value is normally printed as
<unavailable>. Examples of how to end up with an unavailable value
would be:
- We're inspecting a traceframe, and the memory or registers the
debug information says the value lives on haven't been collected.
- We're inspecting a core dump, the memory or registers the debug
information says the value lives aren't present in the dump
(that is, we have a partial/trimmed core dump, or we don't fully
understand/handle the core dump's format).
- We're doing live debugging, but the debug API has no means to
get at where the value lives in the machine, like e.g., ptrace
not having access to some register or register set.
- Any other similar scenario.
OTOH, "optimized out" is about what the compiler decided to generate
(or not generate). A chunk of a value that was optimized out does
not actually exist in the program. There's no way to get at it
short of compiling the program differently.
A register that has not been saved in a frame is likewise considered
optimized out, except not-saved registers have a different string
representation and related error strings. E.g., we'll print them as
<not-saved> instead of <optimized out>, as in:
(gdb) p/x $rax
$1 = <not saved>
(gdb) info registers rax
rax <not saved>
If the debug info describes a variable as being in such a register,
we'll still print the variable as <optimized out>. IOW, <not saved>
is reserved for inspecting registers at the machine level.
When comparing value contents, optimized out chunks, unavailable
chunks, and valid contents data are all considered different. See
value_contents_eq for more info.
*/
extern bool overload_resolution;
/* Defines an [OFFSET, OFFSET + LENGTH) range. */
struct range
{
/* Lowest offset in the range. */
LONGEST offset;
/* Length of the range. */
ULONGEST length;
/* Returns true if THIS is strictly less than OTHER, useful for
searching. We keep ranges sorted by offset and coalesce
overlapping and contiguous ranges, so this just compares the
starting offset. */
bool operator< (const range &other) const
{
return offset < other.offset;
}
/* Returns true if THIS is equal to OTHER. */
bool operator== (const range &other) const
{
return offset == other.offset && length == other.length;
}
};
/* A policy class to interface gdb::ref_ptr with struct value. */
struct value_ref_policy
{
static void incref (struct value *ptr);
static void decref (struct value *ptr);
};
/* A gdb:;ref_ptr pointer to a struct value. */
typedef gdb::ref_ptr<struct value, value_ref_policy> value_ref_ptr;
/* Note that the fields in this structure are arranged to save a bit
of memory. */
struct value
{
private:
/* Values can only be created via "static constructors". */
explicit value (struct type *type_)
: m_modifiable (true),
m_lazy (true),
m_initialized (true),
m_stack (false),
m_is_zero (false),
m_in_history (false),
m_type (type_),
m_enclosing_type (type_)
{
}
/* Values can only be destroyed via the reference-counting
mechanism. */
~value ();
DISABLE_COPY_AND_ASSIGN (value);
public:
/* Allocate a lazy value for type TYPE. Its actual content is
"lazily" allocated too: the content field of the return value is
NULL; it will be allocated when it is fetched from the target. */
static struct value *allocate_lazy (struct type *type);
/* Allocate a value and its contents for type TYPE. */
static struct value *allocate (struct type *type);
/* Allocate a lazy value representing register REGNUM in the frame previous
to NEXT_FRAME. If TYPE is non-nullptr, use it as the value type.
Otherwise, use `register_type` to obtain the type. */
static struct value *allocate_register_lazy (const frame_info_ptr &next_frame,
int regnum,
type *type = nullptr);
/* Same as `allocate_register_lazy`, but make the value non-lazy.
The caller is responsible for filling the value's contents. */
static struct value *allocate_register (const frame_info_ptr &next_frame,
int regnum, type *type = nullptr);
/* Create a computed lvalue, with type TYPE, function pointers
FUNCS, and closure CLOSURE. */
static struct value *allocate_computed (struct type *type,
const struct lval_funcs *funcs,
void *closure);
/* Allocate NOT_LVAL value for type TYPE being OPTIMIZED_OUT. */
static struct value *allocate_optimized_out (struct type *type);
/* Create a value of type TYPE that is zero, and return it. */
static struct value *zero (struct type *type, enum lval_type lv);
/* Return a copy of the value. It contains the same contents, for
the same memory address, but it's a different block of
storage. */
struct value *copy () const;
/* Type of the value. */
struct type *type () const
{ return m_type; }
/* This is being used to change the type of an existing value, that
code should instead be creating a new value with the changed type
(but possibly shared content). */
void deprecated_set_type (struct type *type)
{ m_type = type; }
/* Return the gdbarch associated with the value. */
struct gdbarch *arch () const;
/* Only used for bitfields; number of bits contained in them. */
LONGEST bitsize () const
{ return m_bitsize; }
void set_bitsize (LONGEST bit)
{ m_bitsize = bit; }
/* Only used for bitfields; position of start of field. For
little-endian targets, it is the position of the LSB. For
big-endian targets, it is the position of the MSB. */
LONGEST bitpos () const
{ return m_bitpos; }
void set_bitpos (LONGEST bit)
{ m_bitpos = bit; }
/* Only used for bitfields; the containing value. This allows a
single read from the target when displaying multiple
bitfields. */
value *parent () const
{ return m_parent.get (); }
void set_parent (struct value *parent)
{ m_parent = value_ref_ptr::new_reference (parent); }
/* Describes offset of a value within lval of a structure in bytes.
If lval == lval_memory, this is an offset to the address. If
lval == lval_register, this is a further offset from
location.address within the registers structure. Note also the
member embedded_offset below. */
LONGEST offset () const
{ return m_offset; }
void set_offset (LONGEST offset)
{ m_offset = offset; }
/* The comment from "struct value" reads: ``Is it modifiable? Only
relevant if lval != not_lval.''. Shouldn't the value instead be
not_lval and be done with it? */
bool deprecated_modifiable () const
{ return m_modifiable; }
/* Set or clear the modifiable flag. */
void set_modifiable (bool val)
{ m_modifiable = val; }
LONGEST pointed_to_offset () const
{ return m_pointed_to_offset; }
void set_pointed_to_offset (LONGEST val)
{ m_pointed_to_offset = val; }
LONGEST embedded_offset () const
{ return m_embedded_offset; }
void set_embedded_offset (LONGEST val)
{ m_embedded_offset = val; }
/* If false, contents of this value are in the contents field. If
true, contents are in inferior. If the lval field is lval_memory,
the contents are in inferior memory at location.address plus offset.
The lval field may also be lval_register.
WARNING: This field is used by the code which handles watchpoints
(see breakpoint.c) to decide whether a particular value can be
watched by hardware watchpoints. If the lazy flag is set for some
member of a value chain, it is assumed that this member of the
chain doesn't need to be watched as part of watching the value
itself. This is how GDB avoids watching the entire struct or array
when the user wants to watch a single struct member or array
element. If you ever change the way lazy flag is set and reset, be
sure to consider this use as well! */
bool lazy () const
{ return m_lazy; }
void set_lazy (bool val)
{ m_lazy = val; }
/* If a value represents a C++ object, then the `type' field gives the
object's compile-time type. If the object actually belongs to some
class derived from `type', perhaps with other base classes and
additional members, then `type' is just a subobject of the real
thing, and the full object is probably larger than `type' would
suggest.
If `type' is a dynamic class (i.e. one with a vtable), then GDB can
actually determine the object's run-time type by looking at the
run-time type information in the vtable. When this information is
available, we may elect to read in the entire object, for several
reasons:
- When printing the value, the user would probably rather see the
full object, not just the limited portion apparent from the
compile-time type.
- If `type' has virtual base classes, then even printing `type'
alone may require reaching outside the `type' portion of the
object to wherever the virtual base class has been stored.
When we store the entire object, `enclosing_type' is the run-time
type -- the complete object -- and `embedded_offset' is the offset
of `type' within that larger type, in bytes. The contents()
method takes `embedded_offset' into account, so most GDB code
continues to see the `type' portion of the value, just as the
inferior would.
If `type' is a pointer to an object, then `enclosing_type' is a
pointer to the object's run-time type, and `pointed_to_offset' is
the offset in bytes from the full object to the pointed-to object
-- that is, the value `embedded_offset' would have if we followed
the pointer and fetched the complete object. (I don't really see
the point. Why not just determine the run-time type when you
indirect, and avoid the special case? The contents don't matter
until you indirect anyway.)
If we're not doing anything fancy, `enclosing_type' is equal to
`type', and `embedded_offset' is zero, so everything works
normally. */
struct type *enclosing_type () const
{ return m_enclosing_type; }
void set_enclosing_type (struct type *new_type);
bool stack () const
{ return m_stack; }
void set_stack (bool val)
{ m_stack = val; }
/* If this value is lval_computed, return its lval_funcs
structure. */
const struct lval_funcs *computed_funcs () const;
/* If this value is lval_computed, return its closure. The meaning
of the returned value depends on the functions this value
uses. */
void *computed_closure () const;
enum lval_type lval () const
{ return m_lval; }
/* Set the 'lval' of this value. */
void set_lval (lval_type val)
{ m_lval = val; }
/* Set or return field indicating whether a variable is initialized or
not, based on debugging information supplied by the compiler.
true = initialized; false = uninitialized. */
bool initialized () const
{ return m_initialized; }
void set_initialized (bool value)
{ m_initialized = value; }
/* If lval == lval_memory, return the address in the inferior. If
lval == lval_register, return the byte offset into the registers
structure. Otherwise, return 0. The returned address
includes the offset, if any. */
CORE_ADDR address () const;
/* Like address, except the result does not include value's
offset. */
CORE_ADDR raw_address () const;
/* Set the address of a value. */
void set_address (CORE_ADDR);
struct internalvar **deprecated_internalvar_hack ()
{ return &m_location.internalvar; }
/* Return this value's next frame id.
The value must be of lval == lval_register. */
frame_id next_frame_id ()
{
gdb_assert (m_lval == lval_register);
return m_location.reg.next_frame_id;
}
/* Return this value's register number.
The value must be of lval == lval_register. */
int regnum ()
{
gdb_assert (m_lval == lval_register);
return m_location.reg.regnum;
}
/* contents() and contents_raw() both return the address of the gdb
buffer used to hold a copy of the contents of the lval.
contents() is used when the contents of the buffer are needed --
it uses fetch_lazy() to load the buffer from the process being
debugged if it hasn't already been loaded (contents_writeable()
is used when a writeable but fetched buffer is required)..
contents_raw() is used when data is being stored into the buffer,
or when it is certain that the contents of the buffer are valid.
Note: The contents pointer is adjusted by the offset required to
get to the real subobject, if the value happens to represent
something embedded in a larger run-time object. */
gdb::array_view<gdb_byte> contents_raw ();
/* Actual contents of the value. For use of this value; setting it
uses the stuff above. Not valid if lazy is nonzero. Target
byte-order. We force it to be aligned properly for any possible
value. Note that a value therefore extends beyond what is
declared here. */
gdb::array_view<const gdb_byte> contents ();
/* The ALL variants of the above two methods do not adjust the
returned pointer by the embedded_offset value. */
gdb::array_view<const gdb_byte> contents_all ();
gdb::array_view<gdb_byte> contents_all_raw ();
gdb::array_view<gdb_byte> contents_writeable ();
/* Like contents_all, but does not require that the returned bits be
valid. This should only be used in situations where you plan to
check the validity manually. */
gdb::array_view<const gdb_byte> contents_for_printing ();
/* Like contents_for_printing, but accepts a constant value pointer.
Unlike contents_for_printing however, the pointed value must
_not_ be lazy. */
gdb::array_view<const gdb_byte> contents_for_printing () const;
/* Load the actual content of a lazy value. Fetch the data from the
user's process and clear the lazy flag to indicate that the data in
the buffer is valid.
If the value is zero-length, we avoid calling read_memory, which
would abort. We mark the value as fetched anyway -- all 0 bytes of
it. */
void fetch_lazy ();
/* Compare LENGTH bytes of this value's contents starting at OFFSET1
with LENGTH bytes of VAL2's contents starting at OFFSET2.
Note that "contents" refers to the whole value's contents
(value_contents_all), without any embedded offset adjustment. For
example, to compare a complete object value with itself, including
its enclosing type chunk, you'd do:
int len = check_typedef (val->enclosing_type ())->length ();
val->contents_eq (0, val, 0, len);
Returns true iff the set of available/valid contents match.
Optimized-out contents are equal to optimized-out contents, and are
not equal to non-optimized-out contents.
Unavailable contents are equal to unavailable contents, and are not
equal to non-unavailable contents.
For example, if 'x's represent an unavailable byte, and 'V' and 'Z'
represent different available/valid bytes, in a value with length
16:
offset: 0 4 8 12 16
contents: xxxxVVVVxxxxVVZZ
then:
val->contents_eq(0, val, 8, 6) => true
val->contents_eq(0, val, 4, 4) => false
val->contents_eq(0, val, 8, 8) => false
val->contents_eq(4, val, 12, 2) => true
val->contents_eq(4, val, 12, 4) => true
val->contents_eq(3, val, 4, 4) => true
If 'x's represent an unavailable byte, 'o' represents an optimized
out byte, in a value with length 8:
offset: 0 4 8
contents: xxxxoooo
then:
val->contents_eq(0, val, 2, 2) => true
val->contents_eq(4, val, 6, 2) => true
val->contents_eq(0, val, 4, 4) => true
We only know whether a value chunk is unavailable or optimized out
if we've tried to read it. As this routine is used by printing
routines, which may be printing values in the value history, long
after the inferior is gone, it works with const values. Therefore,
this routine must not be called with lazy values. */
bool contents_eq (LONGEST offset1, const struct value *val2, LONGEST offset2,
LONGEST length) const;
/* An overload of contents_eq that compares the entirety of both
values. */
bool contents_eq (const struct value *val2) const;
/* Given a value, determine whether the bits starting at OFFSET and
extending for LENGTH bits are a synthetic pointer. */
bool bits_synthetic_pointer (LONGEST offset, LONGEST length) const;
/* Increase this value's reference count. */
void incref ()
{ ++m_reference_count; }
/* Decrease this value's reference count. When the reference count
drops to 0, it will be freed. */
void decref ();
/* Given a value, determine whether the contents bytes starting at
OFFSET and extending for LENGTH bytes are available. This returns
true if all bytes in the given range are available, false if any
byte is unavailable. */
bool bytes_available (LONGEST offset, ULONGEST length) const;
/* Given a value, determine whether the contents bits starting at
OFFSET and extending for LENGTH bits are available. This returns
true if all bits in the given range are available, false if any
bit is unavailable. */
bool bits_available (LONGEST offset, ULONGEST length) const;
/* Like bytes_available, but return false if any byte in the
whole object is unavailable. */
bool entirely_available ();
/* Like entirely_available, but return false if any byte in the
whole object is available. */
bool entirely_unavailable ()
{ return entirely_covered_by_range_vector (m_unavailable); }
/* Mark this value's content bytes starting at OFFSET and extending
for LENGTH bytes as unavailable. */
void mark_bytes_unavailable (LONGEST offset, ULONGEST length);
/* Mark this value's content bits starting at OFFSET and extending
for LENGTH bits as unavailable. */
void mark_bits_unavailable (LONGEST offset, ULONGEST length);
/* If true, this is the value of a variable which does not actually
exist in the program, at least partially. If the value is lazy,
this may fetch it now. */
bool optimized_out ();
/* Given a value, return true if any of the contents bits starting at
OFFSET and extending for LENGTH bits is optimized out, false
otherwise. */
bool bits_any_optimized_out (int bit_offset, int bit_length) const;
/* Like optimized_out, but return true iff the whole value is
optimized out. */
bool entirely_optimized_out ()
{
return entirely_covered_by_range_vector (m_optimized_out);
}
/* Mark this value's content bytes starting at OFFSET and extending
for LENGTH bytes as optimized out. */
void mark_bytes_optimized_out (int offset, int length);
/* Mark this value's content bits starting at OFFSET and extending
for LENGTH bits as optimized out. */
void mark_bits_optimized_out (LONGEST offset, LONGEST length);
/* Return a version of this that is non-lvalue. */
struct value *non_lval ();
/* Write contents of this value at ADDR and set its lval type to be
LVAL_MEMORY. */
void force_lval (CORE_ADDR);
/* Set this values's location as appropriate for a component of
WHOLE --- regardless of what kind of lvalue WHOLE is. */
void set_component_location (const struct value *whole);
/* Build a value wrapping and representing WORKER. The value takes
ownership of the xmethod_worker object. */
static struct value *from_xmethod (xmethod_worker_up &&worker);
/* Return the type of the result of TYPE_CODE_XMETHOD value METHOD. */
struct type *result_type_of_xmethod (gdb::array_view<value *> argv);
/* Call the xmethod corresponding to the TYPE_CODE_XMETHOD value
METHOD. */
struct value *call_xmethod (gdb::array_view<value *> argv);
/* Update this value before discarding OBJFILE. COPIED_TYPES is
used to prevent cycles / duplicates. */
void preserve (struct objfile *objfile, copied_types_hash_t &copied_types);
/* Unpack a bitfield of BITSIZE bits found at BITPOS in the object
at VALADDR + EMBEDDEDOFFSET that has the type of DEST_VAL and
store the contents in DEST_VAL, zero or sign extending if the
type of DEST_VAL is wider than BITSIZE. VALADDR points to the
contents of this value. If this value's contents required to
extract the bitfield from are unavailable/optimized out, DEST_VAL
is correspondingly marked unavailable/optimized out. */
void unpack_bitfield (struct value *dest_val,
LONGEST bitpos, LONGEST bitsize,
const gdb_byte *valaddr, LONGEST embedded_offset)
const;
/* Copy LENGTH bytes of this value's (all) contents
(value_contents_all) starting at SRC_OFFSET byte, into DST
value's (all) contents, starting at DST_OFFSET. If unavailable
contents are being copied from this value, the corresponding DST
contents are marked unavailable accordingly. DST must not be
lazy. If this value is lazy, it will be fetched now.
It is assumed the contents of DST in the [DST_OFFSET,
DST_OFFSET+LENGTH) range are wholly available. */
void contents_copy (struct value *dst, LONGEST dst_offset,
LONGEST src_offset, LONGEST length);
/* Given a value (offset by OFFSET bytes)
of a struct or union type ARG_TYPE,
extract and return the value of one of its (non-static) fields.
FIELDNO says which field. */
struct value *primitive_field (LONGEST offset, int fieldno,
struct type *arg_type);
/* Create a new value by extracting it from this value. TYPE is the
type of the new value. BIT_OFFSET and BIT_LENGTH describe the
offset and field width of the value to extract from this value --
BIT_LENGTH may differ from TYPE's length in the case where this
value's type is packed.
When the value does come from a non-byte-aligned offset or field
width, it will be marked non_lval. */
struct value *from_component_bitsize (struct type *type,
LONGEST bit_offset,
LONGEST bit_length);
/* Record this value on the value history, and return its location
in the history. The value is removed from the value chain. */
int record_latest ();
private:
/* Type of value; either not an lval, or one of the various
different possible kinds of lval. */
enum lval_type m_lval = not_lval;
/* Is it modifiable? Only relevant if lval != not_lval. */
bool m_modifiable : 1;
/* If false, contents of this value are in the contents field. If
true, contents are in inferior. If the lval field is lval_memory,
the contents are in inferior memory at location.address plus offset.
The lval field may also be lval_register.
WARNING: This field is used by the code which handles watchpoints
(see breakpoint.c) to decide whether a particular value can be
watched by hardware watchpoints. If the lazy flag is set for
some member of a value chain, it is assumed that this member of
the chain doesn't need to be watched as part of watching the
value itself. This is how GDB avoids watching the entire struct
or array when the user wants to watch a single struct member or
array element. If you ever change the way lazy flag is set and
reset, be sure to consider this use as well! */
bool m_lazy : 1;
/* If value is a variable, is it initialized or not. */
bool m_initialized : 1;
/* If value is from the stack. If this is set, read_stack will be
used instead of read_memory to enable extra caching. */
bool m_stack : 1;
/* True if this is a zero value, created by 'value::zero'; false
otherwise. */
bool m_is_zero : 1;
/* True if this a value recorded in value history; false otherwise. */
bool m_in_history : 1;
/* Location of value (if lval). */
union
{
/* If lval == lval_memory, this is the address in the inferior */
CORE_ADDR address;
/*If lval == lval_register, the value is from a register. */
struct
{
/* Register number. */
int regnum;
/* Frame ID of the next physical (non-inline) frame to which a register
value is relative. */
frame_id next_frame_id;
} reg;
/* Pointer to internal variable. */
struct internalvar *internalvar;
/* Pointer to xmethod worker. */
struct xmethod_worker *xm_worker;
/* If lval == lval_computed, this is a set of function pointers
to use to access and describe the value, and a closure pointer
for them to use. */
struct
{
/* Functions to call. */
const struct lval_funcs *funcs;
/* Closure for those functions to use. */
void *closure;
} computed;
} m_location {};
/* Describes offset of a value within lval of a structure in target
addressable memory units. Note also the member embedded_offset
below. */
LONGEST m_offset = 0;
/* Only used for bitfields; number of bits contained in them. */
LONGEST m_bitsize = 0;
/* Only used for bitfields; position of start of field. For
little-endian targets, it is the position of the LSB. For
big-endian targets, it is the position of the MSB. */
LONGEST m_bitpos = 0;
/* The number of references to this value. When a value is created,
the value chain holds a reference, so REFERENCE_COUNT is 1. If
release_value is called, this value is removed from the chain but
the caller of release_value now has a reference to this value.
The caller must arrange for a call to value_free later. */
int m_reference_count = 1;
/* Only used for bitfields; the containing value. This allows a
single read from the target when displaying multiple
bitfields. */
value_ref_ptr m_parent;
/* Type of the value. */
struct type *m_type;
/* If a value represents a C++ object, then the `type' field gives
the object's compile-time type. If the object actually belongs
to some class derived from `type', perhaps with other base
classes and additional members, then `type' is just a subobject
of the real thing, and the full object is probably larger than
`type' would suggest.
If `type' is a dynamic class (i.e. one with a vtable), then GDB
can actually determine the object's run-time type by looking at
the run-time type information in the vtable. When this
information is available, we may elect to read in the entire
object, for several reasons:
- When printing the value, the user would probably rather see the
full object, not just the limited portion apparent from the
compile-time type.
- If `type' has virtual base classes, then even printing `type'
alone may require reaching outside the `type' portion of the
object to wherever the virtual base class has been stored.
When we store the entire object, `enclosing_type' is the run-time
type -- the complete object -- and `embedded_offset' is the
offset of `type' within that larger type, in target addressable memory
units. The contents() method takes `embedded_offset' into account,
so most GDB code continues to see the `type' portion of the value, just
as the inferior would.
If `type' is a pointer to an object, then `enclosing_type' is a
pointer to the object's run-time type, and `pointed_to_offset' is
the offset in target addressable memory units from the full object
to the pointed-to object -- that is, the value `embedded_offset' would
have if we followed the pointer and fetched the complete object.
(I don't really see the point. Why not just determine the
run-time type when you indirect, and avoid the special case? The
contents don't matter until you indirect anyway.)
If we're not doing anything fancy, `enclosing_type' is equal to
`type', and `embedded_offset' is zero, so everything works
normally. */
struct type *m_enclosing_type;
LONGEST m_embedded_offset = 0;
LONGEST m_pointed_to_offset = 0;
/* Actual contents of the value. Target byte-order.
May be nullptr if the value is lazy or is entirely optimized out.
Guaranteed to be non-nullptr otherwise. */
gdb::unique_xmalloc_ptr<gdb_byte> m_contents;
/* Unavailable ranges in CONTENTS. We mark unavailable ranges,
rather than available, since the common and default case is for a
value to be available. This is filled in at value read time.
The unavailable ranges are tracked in bits. Note that a contents
bit that has been optimized out doesn't really exist in the
program, so it can't be marked unavailable either. */
std::vector<range> m_unavailable;
/* Likewise, but for optimized out contents (a chunk of the value of
a variable that does not actually exist in the program). If LVAL
is lval_register, this is a register ($pc, $sp, etc., never a
program variable) that has not been saved in the frame. Not
saved registers and optimized-out program variables values are
treated pretty much the same, except not-saved registers have a
different string representation and related error strings. */
std::vector<range> m_optimized_out;
/* This is only non-zero for values of TYPE_CODE_ARRAY and if the size of
the array in inferior memory is greater than max_value_size. If these
conditions are met then, when the value is loaded from the inferior
GDB will only load a portion of the array into memory, and
limited_length will be set to indicate the length in octets that were
loaded from the inferior. */
ULONGEST m_limited_length = 0;
/* Allocate a value and its contents for type TYPE. If CHECK_SIZE
is true, then apply the usual max-value-size checks. */
static struct value *allocate (struct type *type, bool check_size);
/* Helper for fetch_lazy when the value is a bitfield. */
void fetch_lazy_bitfield ();
/* Helper for fetch_lazy when the value is in memory. */
void fetch_lazy_memory ();
/* Helper for fetch_lazy when the value is in a register. */
void fetch_lazy_register ();
/* Try to limit ourselves to only fetching the limited number of
elements. However, if this limited number of elements still
puts us over max_value_size, then we still refuse it and
return failure here, which will ultimately throw an error. */
bool set_limited_array_length ();
/* Allocate the contents of this value if it has not been allocated
yet. If CHECK_SIZE is true, then apply the usual max-value-size
checks. */
void allocate_contents (bool check_size);
/* Helper function for value_contents_eq. The only difference is that
this function is bit rather than byte based.
Compare LENGTH bits of this value's contents starting at OFFSET1
bits with LENGTH bits of VAL2's contents starting at OFFSET2
bits. Return true if the available bits match. */
bool contents_bits_eq (int offset1, const struct value *val2, int offset2,
int length) const;
void require_not_optimized_out () const;
void require_available () const;
/* Returns true if this value is entirely covered by RANGES. If the
value is lazy, it'll be read now. Note that RANGE is a pointer
to pointer because reading the value might change *RANGE. */
bool entirely_covered_by_range_vector (const std::vector<range> &ranges);
/* Copy the ranges metadata from this value that overlaps
[SRC_BIT_OFFSET, SRC_BIT_OFFSET+BIT_LENGTH) into DST,
adjusted. */
void ranges_copy_adjusted (struct value *dst, int dst_bit_offset,
int src_bit_offset, int bit_length) const;
/* Copy LENGTH target addressable memory units of this value's (all)
contents (value_contents_all) starting at SRC_OFFSET, into DST
value's (all) contents, starting at DST_OFFSET. If unavailable
contents are being copied from this, the corresponding DST
contents are marked unavailable accordingly. Neither DST nor
this value may be lazy values.
It is assumed the contents of DST in the [DST_OFFSET,
DST_OFFSET+LENGTH) range are wholly available. */
void contents_copy_raw (struct value *dst, LONGEST dst_offset,
LONGEST src_offset, LONGEST length);
/* A helper for value_from_component_bitsize that copies bits from
this value to DEST. */
void contents_copy_raw_bitwise (struct value *dst, LONGEST dst_bit_offset,
LONGEST src_bit_offset, LONGEST bit_length);
};
inline void
value_ref_policy::incref (struct value *ptr)
{
ptr->incref ();
}
inline void
value_ref_policy::decref (struct value *ptr)
{
ptr->decref ();
}
/* Returns value_type or value_enclosing_type depending on
value_print_options.objectprint.
If RESOLVE_SIMPLE_TYPES is 0 the enclosing type will be resolved
only for pointers and references, else it will be returned
for all the types (e.g. structures). This option is useful
to prevent retrieving enclosing type for the base classes fields.
REAL_TYPE_FOUND is used to inform whether the real type was found
(or just static type was used). The NULL may be passed if it is not
necessary. */
extern struct type *value_actual_type (struct value *value,
int resolve_simple_types,
int *real_type_found);
/* For lval_computed values, this structure holds functions used to
retrieve and set the value (or portions of the value).
For each function, 'V' is the 'this' pointer: an lval_funcs
function F may always assume that the V it receives is an
lval_computed value, and has F in the appropriate slot of its
lval_funcs structure. */
struct lval_funcs
{
/* Fill in VALUE's contents. This is used to "un-lazy" values. If
a problem arises in obtaining VALUE's bits, this function should
call 'error'. If it is NULL value_fetch_lazy on "un-lazy"
non-optimized-out value is an internal error. */
void (*read) (struct value *v);
/* Handle an assignment TOVAL = FROMVAL by writing the value of
FROMVAL to TOVAL's location. The contents of TOVAL have not yet
been updated. If a problem arises in doing so, this function
should call 'error'. If it is NULL such TOVAL assignment is an error as
TOVAL is not considered as an lvalue. */
void (*write) (struct value *toval, struct value *fromval);
/* Return true if any part of V is optimized out, false otherwise.
This will only be called for lazy values -- if the value has been
fetched, then the value's optimized-out bits are consulted
instead. */
bool (*is_optimized_out) (struct value *v);
/* If non-NULL, this is used to implement pointer indirection for
this value. This method may return NULL, in which case value_ind
will fall back to ordinary indirection. */
struct value *(*indirect) (struct value *value);
/* If non-NULL, this is used to implement reference resolving for
this value. This method may return NULL, in which case coerce_ref
will fall back to ordinary references resolving. */
struct value *(*coerce_ref) (const struct value *value);
/* If non-NULL, this is used to determine whether the indicated bits
of VALUE are a synthetic pointer. */
bool (*check_synthetic_pointer) (const struct value *value,
LONGEST offset, int length);
/* Return a duplicate of VALUE's closure, for use in a new value.
This may simply return the same closure, if VALUE's is
reference-counted or statically allocated.
This may be NULL, in which case VALUE's closure is re-used in the
new value. */
void *(*copy_closure) (const struct value *v);
/* Drop VALUE's reference to its closure. Maybe this frees the
closure; maybe this decrements a reference count; maybe the
closure is statically allocated and this does nothing.
This may be NULL, in which case no action is taken to free
VALUE's closure. */
void (*free_closure) (struct value *v);
};
/* Throw an error complaining that the value has been optimized
out. */
extern void error_value_optimized_out (void);
/* Pointer to internal variable. */
#define VALUE_INTERNALVAR(val) (*((val)->deprecated_internalvar_hack ()))
/* Return value after lval_funcs->coerce_ref (after check_typedef). Return
NULL if lval_funcs->coerce_ref is not applicable for whatever reason. */
extern struct value *coerce_ref_if_computed (const struct value *arg);
/* Setup a new value type and enclosing value type for dereferenced value VALUE.
ENC_TYPE is the new enclosing type that should be set. ORIGINAL_TYPE and
ORIGINAL_VAL are the type and value of the original reference or
pointer. ORIGINAL_VALUE_ADDRESS is the address within VALUE, that is
the address that was dereferenced.
Note, that VALUE is modified by this function.
It is a common implementation for coerce_ref and value_ind. */
extern struct value * readjust_indirect_value_type (struct value *value,