libctf: get the offsets of fields of unnamed structs/unions right

We were failing to add the offsets of the containing struct/union
in this case, leading to all offsets being relative to the unnamed
struct/union itself.

libctf/
	PR libctf/30264
	* ctf-types.c (ctf_member_info): Add the offset of the unnamed
	member of the current struct as necessary.
	* testsuite/libctf-lookup/unnamed-field-info*: New test.
This commit is contained in:
Nick Alcock
2023-03-23 00:15:17 +00:00
parent 04d91c807e
commit 3672e32622
4 changed files with 121 additions and 1 deletions

View File

@ -1417,7 +1417,10 @@ ctf_member_info (ctf_dict_t *fp, ctf_id_t type, const char *name,
&& (ctf_type_kind (fp, memb.ctlm_type) == CTF_K_STRUCT
|| ctf_type_kind (fp, memb.ctlm_type) == CTF_K_UNION)
&& (ctf_member_info (fp, memb.ctlm_type, name, mip) == 0))
return 0;
{
mip->ctm_offset += (unsigned long) CTF_LMEM_OFFSET (&memb);
return 0;
}
if (strcmp (membname, name) == 0)
{

View File

@ -0,0 +1,36 @@
struct A
{
int a;
char *b;
struct
{
struct
{
char *one;
int two;
};
union
{
char *three;
};
};
struct
{
int four;
};
union
{
struct
{
double x;
long y;
};
struct
{
struct { char *foo; } z;
float aleph;
};
};
};
struct A used;

View File

@ -0,0 +1,79 @@
/* Make sure unnamed field offsets are relative to the containing struct. */
#include <ctf-api.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include "unnamed-field-info-ctf.c"
static void
verify_offsetof_matching (ctf_dict_t *fp, ctf_id_t type, const char *name, size_t offset)
{
ctf_membinfo_t mi;
if (ctf_member_info (fp, type, name, &mi) < 0)
goto err;
if (mi.ctm_offset != offset * 8)
fprintf (stderr, "field %s inconsistency: offsetof() says %zi bits, CTF says %zi\n",
name, offset * 8, mi.ctm_offset);
return;
err:
fprintf (stderr, "Cannot look up field %s: %s\n", name,
ctf_errmsg (ctf_errno (fp)));
return;
}
int
main (int argc, char *argv[])
{
ctf_dict_t *fp;
ctf_archive_t *ctf;
ctf_id_t type;
int err;
if (argc != 2)
{
fprintf (stderr, "Syntax: %s PROGRAM\n", argv[0]);
exit(1);
}
if ((ctf = ctf_open (argv[1], NULL, &err)) == NULL)
goto open_err;
if ((fp = ctf_dict_open (ctf, NULL, &err)) == NULL)
goto open_err;
/* Dig out some structure members by name. */
if ((type = ctf_lookup_by_name (fp, "struct A") ) == CTF_ERR)
goto err;
verify_offsetof_matching (fp, type, "a", offsetof (struct A, a));
verify_offsetof_matching (fp, type, "b", offsetof (struct A, b));
verify_offsetof_matching (fp, type, "one", offsetof (struct A, one));
verify_offsetof_matching (fp, type, "two", offsetof (struct A, two));
verify_offsetof_matching (fp, type, "three", offsetof (struct A, three));
verify_offsetof_matching (fp, type, "four", offsetof (struct A, four));
verify_offsetof_matching (fp, type, "x", offsetof (struct A, x));
verify_offsetof_matching (fp, type, "y", offsetof (struct A, y));
verify_offsetof_matching (fp, type, "z", offsetof (struct A, z));
verify_offsetof_matching (fp, type, "aleph", offsetof (struct A, aleph));
ctf_dict_close (fp);
ctf_arc_close (ctf);
printf ("Offset validation complete.\n");
return 0;
open_err:
fprintf (stderr, "%s: cannot open: %s\n", argv[0], ctf_errmsg (err));
return 1;
err:
fprintf (stderr, "Cannot look up type: %s\n", ctf_errmsg (ctf_errno (fp)));
return 1;
}

View File

@ -0,0 +1,2 @@
# source: unnamed-field-info-ctf.c
Offset validation complete.