From: Simon Marchi Date: Wed, 9 Dec 2020 18:51:45 +0000 (-0500) Subject: gdb: make discrete_position return optional X-Git-Tag: gdb-10.2-release~175 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f5fca0ec15660667b202e4c2873af4df480956ea;p=thirdparty%2Fbinutils-gdb.git gdb: make discrete_position return optional Instead of returning a boolean status and returning the value through a pointer, return an optional that does both jobs. This helps in the following patches, and I think it is an improvement in general. gdb/ChangeLog: * ada-lang.c (ada_value_slice_from_ptr): Adjust. (ada_value_slice): Adjust. (pos_atr): Adjust. * gdbtypes.c (get_discrete_bounds): Adjust. (discrete_position): Return optional. * gdbtypes.h (discrete_position): Return optional. Change-Id: I758dbd8858b296ee472ed39ec35db1dbd624a5ae --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 6d30484d380..f4e26d9fe5a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,12 @@ +2020-12-09 Simon Marchi + + * ada-lang.c (ada_value_slice_from_ptr): Adjust. + (ada_value_slice): Adjust. + (pos_atr): Adjust. + * gdbtypes.c (get_discrete_bounds): Adjust. + (discrete_position): Return optional. + * gdbtypes.h (discrete_position): Return optional. + 2020-12-06 Giancarlo Frix (tiny change) PR breakpoints/27009 diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c index f13866ed58f..50ec5987c4b 100644 --- a/gdb/ada-lang.c +++ b/gdb/ada-lang.c @@ -2759,11 +2759,13 @@ ada_value_slice_from_ptr (struct value *array_ptr, struct type *type, type0->dyn_prop (DYN_PROP_BYTE_STRIDE), TYPE_FIELD_BITSIZE (type0, 0)); int base_low = ada_discrete_type_low_bound (type0->index_type ()); - LONGEST base_low_pos, low_pos; + gdb::optional base_low_pos, low_pos; CORE_ADDR base; - if (!discrete_position (base_index_type, low, &low_pos) - || !discrete_position (base_index_type, base_low, &base_low_pos)) + low_pos = discrete_position (base_index_type, low); + base_low_pos = discrete_position (base_index_type, base_low); + + if (!low_pos.has_value () || !base_low_pos.has_value ()) { warning (_("unable to get positions in slice, use bounds instead")); low_pos = low; @@ -2771,7 +2773,7 @@ ada_value_slice_from_ptr (struct value *array_ptr, struct type *type, } base = value_as_address (array_ptr) - + ((low_pos - base_low_pos) + + ((*low_pos - *base_low_pos) * TYPE_LENGTH (TYPE_TARGET_TYPE (type0))); return value_at_lazy (slice_type, base); } @@ -2788,10 +2790,13 @@ ada_value_slice (struct value *array, int low, int high) (NULL, TYPE_TARGET_TYPE (type), index_type, type->dyn_prop (DYN_PROP_BYTE_STRIDE), TYPE_FIELD_BITSIZE (type, 0)); - LONGEST low_pos, high_pos; + gdb::optional low_pos, high_pos; + - if (!discrete_position (base_index_type, low, &low_pos) - || !discrete_position (base_index_type, high, &high_pos)) + low_pos = discrete_position (base_index_type, low); + high_pos = discrete_position (base_index_type, high); + + if (!low_pos.has_value () || !high_pos.has_value ()) { warning (_("unable to get positions in slice, use bounds instead")); low_pos = low; @@ -2799,7 +2804,7 @@ ada_value_slice (struct value *array, int low, int high) } return value_cast (slice_type, - value_slice (array, low, high_pos - low_pos + 1)); + value_slice (array, low, *high_pos - *low_pos + 1)); } /* If type is a record type in the form of a standard GNAT array @@ -8861,15 +8866,15 @@ pos_atr (struct value *arg) { struct value *val = coerce_ref (arg); struct type *type = value_type (val); - LONGEST result; if (!discrete_type_p (type)) error (_("'POS only defined on discrete types")); - if (!discrete_position (type, value_as_long (val), &result)) + gdb::optional result = discrete_position (type, value_as_long (val)); + if (!result.has_value ()) error (_("enumeration value is invalid: can't find 'POS")); - return result; + return *result; } static struct value * diff --git a/gdb/gdbtypes.c b/gdb/gdbtypes.c index a40ae5f30eb..1d044b755c8 100644 --- a/gdb/gdbtypes.c +++ b/gdb/gdbtypes.c @@ -1050,9 +1050,21 @@ get_discrete_bounds (struct type *type, LONGEST *lowp, LONGEST *highp) if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ENUM) { - if (!discrete_position (TYPE_TARGET_TYPE (type), *lowp, lowp) - || ! discrete_position (TYPE_TARGET_TYPE (type), *highp, highp)) + gdb::optional low_pos + = discrete_position (TYPE_TARGET_TYPE (type), *lowp); + + if (!low_pos.has_value ()) return 0; + + *lowp = *low_pos; + + gdb::optional high_pos + = discrete_position (TYPE_TARGET_TYPE (type), *highp); + + if (!high_pos.has_value ()) + return 0; + + *highp = *high_pos; } return 1; case TYPE_CODE_ENUM: @@ -1155,8 +1167,8 @@ get_array_bounds (struct type *type, LONGEST *low_bound, LONGEST *high_bound) in which case the value of POS is unmodified. */ -int -discrete_position (struct type *type, LONGEST val, LONGEST *pos) +gdb::optional +discrete_position (struct type *type, LONGEST val) { if (type->code () == TYPE_CODE_RANGE) type = TYPE_TARGET_TYPE (type); @@ -1168,19 +1180,13 @@ discrete_position (struct type *type, LONGEST val, LONGEST *pos) for (i = 0; i < type->num_fields (); i += 1) { if (val == TYPE_FIELD_ENUMVAL (type, i)) - { - *pos = i; - return 1; - } + return i; } /* Invalid enumeration value. */ - return 0; + return {}; } else - { - *pos = val; - return 1; - } + return val; } /* If the array TYPE has static bounds calculate and update its diff --git a/gdb/gdbtypes.h b/gdb/gdbtypes.h index 9c2059d40c0..d0ce48b05dd 100644 --- a/gdb/gdbtypes.h +++ b/gdb/gdbtypes.h @@ -46,6 +46,7 @@ #include "hashtab.h" #include "gdbsupport/array-view.h" +#include "gdbsupport/gdb_optional.h" #include "gdbsupport/offset-type.h" #include "gdbsupport/enum-flags.h" #include "gdbsupport/underlying.h" @@ -2266,7 +2267,8 @@ extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *); extern int get_array_bounds (struct type *type, LONGEST *low_bound, LONGEST *high_bound); -extern int discrete_position (struct type *type, LONGEST val, LONGEST *pos); +extern gdb::optional discrete_position (struct type *type, + LONGEST val); extern int class_types_same_p (const struct type *, const struct type *);