Guile: add value-{rvalue-,}reference-value

The Guile API doesn't currently have an equivalent to the Python API's
Value.reference_value() or Value.rvalue_reference_value(). This commit
adds a procedure with equivalent semantics to the Guile API.

gdb/ChangeLog:

	* NEWS (Guile API): Note the addition of new procedures.
	* guile/scm-value.c (gdbscm_reference_value): Add helper function
	for reference value creation.
	(gdbscm_value_reference_value): Add implementation of
	value-reference-value procedure.
	(gdbscm_value_rvalue_reference_value): Add implementation of
	value-rvalue-reference-value procedure.
	(value_functions): Add value-reference-value procedure.  Add
	value-rvalue-reference-value procedure.

gdb/doc/ChangeLog:

	* guile.texi (Values From Inferior In Guile): Add documentation
	for value-reference-value.  Add documentation for
	value-rvalue-reference-value.

gdb/testsuite/ChangeLog:

	* gdb.guile/scm-value.exp (test_value_in_inferior): Add test for
	value-reference-value.  Add test for value-rvalue-reference-value.
This commit is contained in:
George Barrett 2021-04-29 03:32:47 +10:00 committed by Andrew Burgess
parent 97cef6b7b7
commit 9d4fc61d41
7 changed files with 88 additions and 0 deletions

View File

@ -1,3 +1,15 @@
2021-05-12 George Barrett <bob@bob131.so>
* NEWS (Guile API): Note the addition of new procedures.
* guile/scm-value.c (gdbscm_reference_value): Add helper function
for reference value creation.
(gdbscm_value_reference_value): Add implementation of
value-reference-value procedure.
(gdbscm_value_rvalue_reference_value): Add implementation of
value-rvalue-reference-value procedure.
(value_functions): Add value-reference-value procedure. Add
value-rvalue-reference-value procedure.
2021-05-12 George Barrett <bob@bob131.so>
* guile/scm-type.c (type_integer_constants): Add binding for

View File

@ -207,6 +207,9 @@ QMemTags
value-referenced-value procedure now handles rvalue reference
values.
** New procedures for obtaining reference values:
value-reference-value and value-rvalue-reference-value.
*** Changes in GDB 10
* There are new feature names for ARC targets: "org.gnu.gdb.arc.core"

View File

@ -1,3 +1,9 @@
2021-05-12 George Barrett <bob@bob131.so>
* guile.texi (Values From Inferior In Guile): Add documentation
for value-reference-value. Add documentation for
value-rvalue-reference-value.
2021-05-12 George Barrett <bob@bob131.so>
* guile.texi (Types In Guile): Add documentation for

View File

@ -801,6 +801,16 @@ The @code{<gdb:value>} object @code{scm-val} is identical to that
corresponding to @code{val}.
@end deffn
@deffn {Scheme Procedure} value-reference-value value
Return a new @code{<gdb:value>} object which is a reference to the value
encapsulated by @code{<gdb:value>} object @var{value}.
@end deffn
@deffn {Scheme Procedure} value-rvalue-reference-value value
Return a new @code{<gdb:value>} object which is an rvalue reference to
the value encapsulated by @code{<gdb:value>} object @var{value}.
@end deffn
@deffn {Scheme Procedure} value-field value field-name
Return field @var{field-name} from @code{<gdb:value>} object @var{value}.
@end deffn

View File

@ -488,6 +488,38 @@ gdbscm_value_referenced_value (SCM self)
});
}
static SCM
gdbscm_reference_value (SCM self, enum type_code refcode)
{
value_smob *v_smob
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
struct value *value = v_smob->value;
return gdbscm_wrap ([=]
{
scoped_value_mark free_values;
struct value *res_val = value_ref (value, refcode);
return vlscm_scm_from_value (res_val);
});
}
/* (value-reference-value <gdb:value>) -> <gdb:value> */
static SCM
gdbscm_value_reference_value (SCM self)
{
return gdbscm_reference_value (self, TYPE_CODE_REF);
}
/* (value-rvalue-reference-value <gdb:value>) -> <gdb:value> */
static SCM
gdbscm_value_rvalue_reference_value (SCM self)
{
return gdbscm_reference_value (self, TYPE_CODE_RVALUE_REF);
}
/* (value-type <gdb:value>) -> <gdb:type> */
static SCM
@ -1352,6 +1384,16 @@ For example, for a value which is a reference to an 'int' pointer ('int *'),\n\
value-dereference will result in a value of type 'int' while\n\
value-referenced-value will result in a value of type 'int *'." },
{ "value-reference-value", 1, 0, 0,
as_a_scm_t_subr (gdbscm_value_reference_value),
"\
Return a <gdb:value> object which is a reference to the given value." },
{ "value-rvalue-reference-value", 1, 0, 0,
as_a_scm_t_subr (gdbscm_value_rvalue_reference_value),
"\
Return a <gdb:value> object which is an rvalue reference to the given value." },
{ "value-field", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_field),
"\
Return the specified field of the value.\n\

View File

@ -1,3 +1,8 @@
2021-05-12 George Barrett <bob@bob131.so>
* gdb.guile/scm-value.exp (test_value_in_inferior): Add test for
value-reference-value. Add test for value-rvalue-reference-value.
2021-05-11 Tom de Vries <tdevries@suse.de>
* gdb.base/watch_thread_num.exp: Fix "set debug infrun 1" FAILs.

View File

@ -173,6 +173,16 @@ proc test_value_in_inferior {} {
"get string beyond null"
gdb_test "gu (print nullst)" \
"= divide\\\\000et"
gdb_scm_test_silent_cmd "gu (define argv-ref (value-reference-value argv))" \
"test value-reference-value"
gdb_test "gu (equal? argv (value-referenced-value argv-ref))" "#t"
gdb_test "gu (eqv? (type-code (value-type argv-ref)) TYPE_CODE_REF)" "#t"
gdb_scm_test_silent_cmd "gu (define argv-rref (value-rvalue-reference-value argv))" \
"test value-rvalue-reference-value"
gdb_test "gu (equal? argv (value-referenced-value argv-rref))" "#t"
gdb_test "gu (eqv? (type-code (value-type argv-rref)) TYPE_CODE_RVALUE_REF)" "#t"
}
proc test_strings {} {