diff options
| author | Sanimir Agovic <sanimir.agovic@intel.com> | 2013-10-09 15:28:22 +0100 |
|---|---|---|
| committer | Sanimir Agovic <sanimir.agovic@intel.com> | 2014-04-11 13:43:48 +0100 |
| commit | 37c1ab67a35025d37d42c449deab5f254f9f59da (patch) | |
| tree | 58b22b4d781f80685e330c47d41571991a082fa2 /gdb/gdbtypes.h | |
| parent | 729efb13174d6522fba4aa7ab273e7f25a253c47 (diff) | |
type: add c99 variable length array support
The dwarf standard allow certain attributes to be expressed as dwarf
expressions rather than constants. For instance upper-/lowerbound attributes.
In case of a c99 variable length array the upperbound is a dynamic attribute.
With this change c99 vla behave the same as with static arrays.
1| void foo (size_t n) {
2| int ary[n];
3| memset(ary, 0, sizeof(ary));
4| }
(gdb) print ary
$1 = {0 <repeats 42 times>}
* dwarf2loc.c (dwarf2_locexpr_baton_eval): New function.
(dwarf2_evaluate_property): New function.
* dwarf2loc.h (dwarf2_evaluate_property): New function prototype.
* dwarf2read.c (attr_to_dynamic_prop): New function.
(read_subrange_type): Use attr_to_dynamic_prop to read high bound
attribute.
* gdbtypes.c: Include dwarf2loc.h.
(is_dynamic_type): New function.
(resolve_dynamic_type): New function.
(resolve_dynamic_bounds): New function.
(get_type_length): New function.
(check_typedef): Use get_type_length to compute type length.
* gdbtypes.h (TYPE_HIGH_BOUND_KIND): New macro.
(TYPE_LOW_BOUND_KIND): New macro.
(is_dynamic_type): New function prototype.
* value.c (value_from_contents_and_address): Call resolve_dynamic_type
to resolve dynamic properties of the type. Update comment.
* valops.c (get_value_at, value_at, value_at_lazy): Update comment.
Diffstat (limited to 'gdb/gdbtypes.h')
| -rw-r--r-- | gdb/gdbtypes.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gdb/gdbtypes.h b/gdb/gdbtypes.h index e91ab97725..97411d142c 100644 --- a/gdb/gdbtypes.h +++ b/gdb/gdbtypes.h @@ -1,3 +1,4 @@ + /* Internal type definitions for GDB. Copyright (C) 1992-2014 Free Software Foundation, Inc. @@ -1682,6 +1683,15 @@ extern void get_unsigned_type_max (struct type *, ULONGEST *); extern void get_signed_type_minmax (struct type *, LONGEST *, LONGEST *); +/* * Resolve all dynamic values of a type e.g. array bounds to static values. + ADDR specifies the location of the variable the type is bound to. + If TYPE has no dynamic properties return TYPE; otherwise a new type with + static properties is returned. */ +extern struct type *resolve_dynamic_type (struct type *type, CORE_ADDR addr); + +/* * Predicate if the type has dynamic values, which are not resolved yet. */ +extern int is_dynamic_type (struct type *type); + extern struct type *check_typedef (struct type *); #define CHECK_TYPEDEF(TYPE) \ |