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
This commit is contained in:
Simon Marchi 2020-12-09 13:51:45 -05:00 committed by Simon Marchi
parent 037311d1df
commit 6244c1196a
4 changed files with 48 additions and 25 deletions

View file

@ -1,3 +1,12 @@
2020-12-09 Simon Marchi <simon.marchi@efficios.com>
* 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-07 Tom Tromey <tromey@adacore.com> 2020-12-07 Tom Tromey <tromey@adacore.com>
* maint.c (_initialize_maint_cmds): Use expression command * maint.c (_initialize_maint_cmds): Use expression command

View file

@ -2815,11 +2815,13 @@ ada_value_slice_from_ptr (struct value *array_ptr, struct type *type,
type0->dyn_prop (DYN_PROP_BYTE_STRIDE), type0->dyn_prop (DYN_PROP_BYTE_STRIDE),
TYPE_FIELD_BITSIZE (type0, 0)); TYPE_FIELD_BITSIZE (type0, 0));
int base_low = ada_discrete_type_low_bound (type0->index_type ()); int base_low = ada_discrete_type_low_bound (type0->index_type ());
LONGEST base_low_pos, low_pos; gdb::optional<LONGEST> base_low_pos, low_pos;
CORE_ADDR base; CORE_ADDR base;
if (!discrete_position (base_index_type, low, &low_pos) low_pos = discrete_position (base_index_type, low);
|| !discrete_position (base_index_type, base_low, &base_low_pos)) 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")); warning (_("unable to get positions in slice, use bounds instead"));
low_pos = low; low_pos = low;
@ -2830,7 +2832,7 @@ ada_value_slice_from_ptr (struct value *array_ptr, struct type *type,
if (stride == 0) if (stride == 0)
stride = TYPE_LENGTH (TYPE_TARGET_TYPE (type0)); stride = TYPE_LENGTH (TYPE_TARGET_TYPE (type0));
base = value_as_address (array_ptr) + (low_pos - base_low_pos) * stride; base = value_as_address (array_ptr) + (*low_pos - *base_low_pos) * stride;
return value_at_lazy (slice_type, base); return value_at_lazy (slice_type, base);
} }
@ -2846,10 +2848,13 @@ ada_value_slice (struct value *array, int low, int high)
(NULL, TYPE_TARGET_TYPE (type), index_type, (NULL, TYPE_TARGET_TYPE (type), index_type,
type->dyn_prop (DYN_PROP_BYTE_STRIDE), type->dyn_prop (DYN_PROP_BYTE_STRIDE),
TYPE_FIELD_BITSIZE (type, 0)); TYPE_FIELD_BITSIZE (type, 0));
LONGEST low_pos, high_pos; gdb::optional<LONGEST> 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")); warning (_("unable to get positions in slice, use bounds instead"));
low_pos = low; low_pos = low;
@ -2857,7 +2862,7 @@ ada_value_slice (struct value *array, int low, int high)
} }
return value_cast (slice_type, 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 /* If type is a record type in the form of a standard GNAT array
@ -8926,15 +8931,15 @@ pos_atr (struct value *arg)
{ {
struct value *val = coerce_ref (arg); struct value *val = coerce_ref (arg);
struct type *type = value_type (val); struct type *type = value_type (val);
LONGEST result;
if (!discrete_type_p (type)) if (!discrete_type_p (type))
error (_("'POS only defined on discrete types")); error (_("'POS only defined on discrete types"));
if (!discrete_position (type, value_as_long (val), &result)) gdb::optional<LONGEST> result = discrete_position (type, value_as_long (val));
if (!result.has_value ())
error (_("enumeration value is invalid: can't find 'POS")); error (_("enumeration value is invalid: can't find 'POS"));
return result; return *result;
} }
static struct value * static struct value *

View file

@ -1062,9 +1062,21 @@ get_discrete_bounds (struct type *type, LONGEST *lowp, LONGEST *highp)
if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ENUM) if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ENUM)
{ {
if (!discrete_position (TYPE_TARGET_TYPE (type), *lowp, lowp) gdb::optional<LONGEST> low_pos
|| ! discrete_position (TYPE_TARGET_TYPE (type), *highp, highp)) = discrete_position (TYPE_TARGET_TYPE (type), *lowp);
if (!low_pos.has_value ())
return 0; return 0;
*lowp = *low_pos;
gdb::optional<LONGEST> high_pos
= discrete_position (TYPE_TARGET_TYPE (type), *highp);
if (!high_pos.has_value ())
return 0;
*highp = *high_pos;
} }
return 1; return 1;
case TYPE_CODE_ENUM: case TYPE_CODE_ENUM:
@ -1160,8 +1172,8 @@ get_array_bounds (struct type *type, LONGEST *low_bound, LONGEST *high_bound)
in which case the value of POS is unmodified. in which case the value of POS is unmodified.
*/ */
int gdb::optional<LONGEST>
discrete_position (struct type *type, LONGEST val, LONGEST *pos) discrete_position (struct type *type, LONGEST val)
{ {
if (type->code () == TYPE_CODE_RANGE) if (type->code () == TYPE_CODE_RANGE)
type = TYPE_TARGET_TYPE (type); type = TYPE_TARGET_TYPE (type);
@ -1173,19 +1185,14 @@ discrete_position (struct type *type, LONGEST val, LONGEST *pos)
for (i = 0; i < type->num_fields (); i += 1) for (i = 0; i < type->num_fields (); i += 1)
{ {
if (val == TYPE_FIELD_ENUMVAL (type, i)) if (val == TYPE_FIELD_ENUMVAL (type, i))
{ return i;
*pos = i;
return 1;
}
} }
/* Invalid enumeration value. */ /* Invalid enumeration value. */
return 0; return {};
} }
else else
{ return val;
*pos = val;
return 1;
}
} }
/* If the array TYPE has static bounds calculate and update its /* If the array TYPE has static bounds calculate and update its

View file

@ -46,6 +46,7 @@
#include "hashtab.h" #include "hashtab.h"
#include "gdbsupport/array-view.h" #include "gdbsupport/array-view.h"
#include "gdbsupport/gdb_optional.h"
#include "gdbsupport/offset-type.h" #include "gdbsupport/offset-type.h"
#include "gdbsupport/enum-flags.h" #include "gdbsupport/enum-flags.h"
#include "gdbsupport/underlying.h" #include "gdbsupport/underlying.h"
@ -2477,7 +2478,8 @@ extern int get_discrete_bounds (struct type *, LONGEST *, LONGEST *);
extern bool get_array_bounds (struct type *type, LONGEST *low_bound, extern bool get_array_bounds (struct type *type, LONGEST *low_bound,
LONGEST *high_bound); LONGEST *high_bound);
extern int discrete_position (struct type *type, LONGEST val, LONGEST *pos); extern gdb::optional<LONGEST> discrete_position (struct type *type,
LONGEST val);
extern int class_types_same_p (const struct type *, const struct type *); extern int class_types_same_p (const struct type *, const struct type *);