mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2025-01-24 12:35:55 +08:00
676c3ecbad
The method of operation of libctf when the dictionary is writable has before now been that types that are added land in the dynamic type section, which is a linked list and hash of IDs -> dynamic type definitions (and, recently a hash of names): the DTDs are a bit of CTF representing the ctf_type_t and ad hoc C structures representing the vlen. Historically, libctf was unable to do anything with these types, not even look them up by ID, let alone by name: if you wanted to do that say if you were adding a type that depended on one you just added) you called ctf_update, which serializes all the DTDs into a CTF file and reopens it, copying its guts over the fp it's called with. The ctf_updated types are then frozen in amber and unchangeable: all lookups will return the types in the static portion in preference to the dynamic portion, and we will refuse to re-add things that already exist in the static portion (and, of late, in the dynamic portion too). The libctf machinery remembers the boundary between static and dynamic types and looks in the right portion for each type. Lots of things still don't quite work with dynamic types (e.g. getting their size), but enough works to do a bunch of additions and then a ctf_update, most of the time. Except it doesn't, because ctf_add_type finds it necessary to walk the full dynamic type definition list looking for types with matching names, so it gets slower and slower with every type you add: fixing this requires calling ctf_update periodically for no other reason than to avoid massively slowing things down. This is all clunky and very slow but kind of works, until you consider that it is in fact possible and indeed necessary to modify one sort of type after it has been added: forwards. These are necessarily promoted to structs, unions or enums, and when they do so *their type ID does not change*. So all of a sudden we are changing types that already exist in the static portion. ctf_update gets massively confused by this and allocates space enough for the forward (with no members), but then emits the new dynamic type (with all the members) into it. You get an assertion failure after that, if you're lucky, or a coredump. So this commit rejigs things a bit and arranges to exclusively use the dynamic type definitions in writable dictionaries, and the static type definitions in readable dictionaries: we don't at any time have a mixture of static and dynamic types, and you don't need to call ctf_update to make things "appear". The ctf_dtbyname hash I introduced a few months ago, which maps things like "struct foo" to DTDs, is removed, replaced instead by a change of type of the four dictionaries which track names. Rather than just being (unresizable) ctf_hash_t's populated only at ctf_bufopen time, they are now a ctf_names_t structure, which is a pair of ctf_hash_t and ctf_dynhash_t, with the ctf_hash_t portion being used in readonly dictionaries, and the ctf_dynhash_t being used in writable ones. The decision as to which to use is centralized in the new functions ctf_lookup_by_rawname (which takes a type kind) and ctf_lookup_by_rawhash, which it calls (which takes a ctf_names_t *.) This change lets us switch from using static to dynamic name hashes on the fly across the entirety of libctf without complexifying anything: in fact, because we now centralize the knowledge about how to map from type kind to name hash, it actually simplifies things and lets us throw out quite a lot of now-unnecessary complexity, from ctf_dtnyname (replaced by the dynamic half of the name tables), through to ctf_dtnextid (now that a dictionary's static portion is never referenced if the dictionary is writable, we can just use ctf_typemax to indicate the maximum type: dynamic or non-dynamic does not matter, and we no longer need to track the boundary between the types). You can now ctf_rollback() as far as you like, even past a ctf_update or for that matter a full writeout; all the iteration functions work just as well on writable as on read-only dictionaries; ctf_add_type no longer needs expensive duplicated code to run over the dynamic types hunting for ones it might be interested in; and the linker no longer needs a hack to call ctf_update so that calling ctf_add_type is not impossibly expensive. There is still a bit more complexity: some new code paths in ctf-types.c need to know how to extract information from dynamic types. This complexity will go away again in a few months when libctf acquires a proper intermediate representation. You can still call ctf_update if you like (it's public API, after all), but its only effect now is to set the point to which ctf_discard rolls back. Obviously *something* still needs to serialize the CTF file before writeout, and this job is done by ctf_serialize, which does everything ctf_update used to except set the counter used by ctf_discard. It is automatically called by the various functions that do CTF writeout: nobody else ever needs to call it. With this in place, forwards that are promoted to non-forwards no longer crash the link, even if it happens tens of thousands of types later. v5: fix tabdamage. libctf/ * ctf-impl.h (ctf_names_t): New. (ctf_lookup_t) <ctf_hash>: Now a ctf_names_t, not a ctf_hash_t. (ctf_file_t) <ctf_structs>: Likewise. <ctf_unions>: Likewise. <ctf_enums>: Likewise. <ctf_names>: Likewise. <ctf_lookups>: Improve comment. <ctf_ptrtab_len>: New. <ctf_prov_strtab>: New. <ctf_str_prov_offset>: New. <ctf_dtbyname>: Remove, redundant to the names hashes. <ctf_dtnextid>: Remove, redundant to ctf_typemax. (ctf_dtdef_t) <dtd_name>: Remove. <dtd_data>: Note that the ctt_name is now populated. (ctf_str_atom_t) <csa_offset>: This is now the strtab offset for internal strings too. <csa_external_offset>: New, the external strtab offset. (CTF_INDEX_TO_TYPEPTR): Handle the LCTF_RDWR case. (ctf_name_table): New declaration. (ctf_lookup_by_rawname): Likewise. (ctf_lookup_by_rawhash): Likewise. (ctf_set_ctl_hashes): Likewise. (ctf_serialize): Likewise. (ctf_dtd_insert): Adjust. (ctf_simple_open_internal): Likewise. (ctf_bufopen_internal): Likewise. (ctf_list_empty_p): Likewise. (ctf_str_remove_ref): Likewise. (ctf_str_add): Returns uint32_t now. (ctf_str_add_ref): Likewise. (ctf_str_add_external): Now returns a boolean (int). * ctf-string.c (ctf_strraw_explicit): Check the ctf_prov_strtab for strings in the appropriate range. (ctf_str_create_atoms): Create the ctf_prov_strtab. Detect OOM when adding the null string to the new strtab. (ctf_str_free_atoms): Destroy the ctf_prov_strtab. (ctf_str_add_ref_internal): Add make_provisional argument. If make_provisional, populate the offset and fill in the ctf_prov_strtab accordingly. (ctf_str_add): Return the offset, not the string. (ctf_str_add_ref): Likewise. (ctf_str_add_external): Return a success integer. (ctf_str_remove_ref): New, remove a single ref. (ctf_str_count_strtab): Do not count the initial null string's length or the existence or length of any unreferenced internal atoms. (ctf_str_populate_sorttab): Skip atoms with no refs. (ctf_str_write_strtab): Populate the nullstr earlier. Add one to the cts_len for the null string, since it is no longer done in ctf_str_count_strtab. Adjust for csa_external_offset rename. Populate the csa_offset for both internal and external cases. Flush the ctf_prov_strtab afterwards, and reset the ctf_str_prov_offset. * ctf-create.c (ctf_grow_ptrtab): New. (ctf_create): Call it. Initialize new fields rather than old ones. Tell ctf_bufopen_internal that this is a writable dictionary. Set the ctl hashes and data model. (ctf_update): Rename to... (ctf_serialize): ... this. Leave a compatibility function behind. Tell ctf_simple_open_internal that this is a writable dictionary. Pass the new fields along from the old dictionary. Drop ctf_dtnextid and ctf_dtbyname. Use ctf_strraw, not dtd_name. Do not zero out the DTD's ctt_name. (ctf_prefixed_name): Rename to... (ctf_name_table): ... this. No longer return a prefixed name: return the applicable name table instead. (ctf_dtd_insert): Use it, and use the right name table. Pass in the kind we're adding. Migrate away from dtd_name. (ctf_dtd_delete): Adjust similarly. Remove the ref to the deleted ctt_name. (ctf_dtd_lookup_type_by_name): Remove. (ctf_dynamic_type): Always return NULL on read-only dictionaries. No longer check ctf_dtnextid: check ctf_typemax instead. (ctf_snapshot): No longer use ctf_dtnextid: use ctf_typemax instead. (ctf_rollback): Likewise. No longer fail with ECTF_OVERROLLBACK. Use ctf_name_table and the right name table, and migrate away from dtd_name as in ctf_dtd_delete. (ctf_add_generic): Pass in the kind explicitly and pass it to ctf_dtd_insert. Use ctf_typemax, not ctf_dtnextid. Migrate away from dtd_name to using ctf_str_add_ref to populate the ctt_name. Grow the ptrtab if needed. (ctf_add_encoded): Pass in the kind. (ctf_add_slice): Likewise. (ctf_add_array): Likewise. (ctf_add_function): Likewise. (ctf_add_typedef): Likewise. (ctf_add_reftype): Likewise. Initialize the ctf_ptrtab, checking ctt_name rather than dtd_name. (ctf_add_struct_sized): Pass in the kind. Use ctf_lookup_by_rawname, not ctf_hash_lookup_type / ctf_dtd_lookup_type_by_name. (ctf_add_union_sized): Likewise. (ctf_add_enum): Likewise. (ctf_add_enum_encoded): Likewise. (ctf_add_forward): Likewise. (ctf_add_type): Likewise. (ctf_compress_write): Call ctf_serialize: adjust for ctf_size not being initialized until after the call. (ctf_write_mem): Likewise. (ctf_write): Likewise. * ctf-archive.c (arc_write_one_ctf): Likewise. * ctf-lookup.c (ctf_lookup_by_name): Use ctf_lookuup_by_rawhash, not ctf_hash_lookup_type. (ctf_lookup_by_id): No longer check the readonly types if the dictionary is writable. * ctf-open.c (init_types): Assert that this dictionary is not writable. Adjust to use the new name hashes, ctf_name_table, and ctf_ptrtab_len. GNU style fix for the final ptrtab scan. (ctf_bufopen_internal): New 'writable' parameter. Flip on LCTF_RDWR if set. Drop out early when dictionary is writable. Split the ctf_lookups initialization into... (ctf_set_cth_hashes): ... this new function. (ctf_simple_open_internal): Adjust. New 'writable' parameter. (ctf_simple_open): Adjust accordingly. (ctf_bufopen): Likewise. (ctf_file_close): Destroy the appropriate name hashes. No longer destroy ctf_dtbyname, which is gone. (ctf_getdatasect): Remove spurious "extern". * ctf-types.c (ctf_lookup_by_rawname): New, look up types in the specified name table, given a kind. (ctf_lookup_by_rawhash): Likewise, given a ctf_names_t *. (ctf_member_iter): Add support for iterating over the dynamic type list. (ctf_enum_iter): Likewise. (ctf_variable_iter): Likewise. (ctf_type_rvisit): Likewise. (ctf_member_info): Add support for types in the dynamic type list. (ctf_enum_name): Likewise. (ctf_enum_value): Likewise. (ctf_func_type_info): Likewise. (ctf_func_type_args): Likewise. * ctf-link.c (ctf_accumulate_archive_names): No longer call ctf_update. (ctf_link_write): Likewise. (ctf_link_intern_extern_string): Adjust for new ctf_str_add_external return value. (ctf_link_add_strtab): Likewise. * ctf-util.c (ctf_list_empty_p): New.
1280 lines
33 KiB
C
1280 lines
33 KiB
C
/* Type handling functions.
|
|
Copyright (C) 2019 Free Software Foundation, Inc.
|
|
|
|
This file is part of libctf.
|
|
|
|
libctf is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
This program is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
See the GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; see the file COPYING. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#include <ctf-impl.h>
|
|
#include <string.h>
|
|
|
|
/* Determine whether a type is a parent or a child. */
|
|
|
|
int
|
|
ctf_type_isparent (ctf_file_t *fp, ctf_id_t id)
|
|
{
|
|
return (LCTF_TYPE_ISPARENT (fp, id));
|
|
}
|
|
|
|
int
|
|
ctf_type_ischild (ctf_file_t * fp, ctf_id_t id)
|
|
{
|
|
return (LCTF_TYPE_ISCHILD (fp, id));
|
|
}
|
|
|
|
/* Iterate over the members of a STRUCT or UNION. We pass the name, member
|
|
type, and offset of each member to the specified callback function. */
|
|
|
|
int
|
|
ctf_member_iter (ctf_file_t *fp, ctf_id_t type, ctf_member_f *func, void *arg)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
ctf_dtdef_t *dtd;
|
|
ssize_t size, increment;
|
|
uint32_t kind, n;
|
|
int rc;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
kind = LCTF_INFO_KIND (fp, tp->ctt_info);
|
|
|
|
if (kind != CTF_K_STRUCT && kind != CTF_K_UNION)
|
|
return (ctf_set_errno (ofp, ECTF_NOTSOU));
|
|
|
|
if ((dtd = ctf_dynamic_type (fp, type)) == NULL)
|
|
{
|
|
if (size < CTF_LSTRUCT_THRESH)
|
|
{
|
|
const ctf_member_t *mp = (const ctf_member_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, mp++)
|
|
{
|
|
const char *name = ctf_strptr (fp, mp->ctm_name);
|
|
if ((rc = func (name, mp->ctm_type, mp->ctm_offset, arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
const ctf_lmember_t *lmp = (const ctf_lmember_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, lmp++)
|
|
{
|
|
const char *name = ctf_strptr (fp, lmp->ctlm_name);
|
|
if ((rc = func (name, lmp->ctlm_type,
|
|
(unsigned long) CTF_LMEM_OFFSET (lmp), arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if ((rc = func (dmd->dmd_name, dmd->dmd_type,
|
|
dmd->dmd_offset, arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Iterate over the members of an ENUM. We pass the string name and associated
|
|
integer value of each enum element to the specified callback function. */
|
|
|
|
int
|
|
ctf_enum_iter (ctf_file_t *fp, ctf_id_t type, ctf_enum_f *func, void *arg)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
const ctf_enum_t *ep;
|
|
ctf_dtdef_t *dtd;
|
|
ssize_t increment;
|
|
uint32_t n;
|
|
int rc;
|
|
|
|
if ((type = ctf_type_resolve_unsliced (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if (LCTF_INFO_KIND (fp, tp->ctt_info) != CTF_K_ENUM)
|
|
return (ctf_set_errno (ofp, ECTF_NOTENUM));
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) == NULL)
|
|
{
|
|
ep = (const ctf_enum_t *) ((uintptr_t) tp + increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, ep++)
|
|
{
|
|
const char *name = ctf_strptr (fp, ep->cte_name);
|
|
if ((rc = func (name, ep->cte_value, arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if ((rc = func (dmd->dmd_name, dmd->dmd_value, arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Iterate over every root (user-visible) type in the given CTF container.
|
|
We pass the type ID of each type to the specified callback function. */
|
|
|
|
int
|
|
ctf_type_iter (ctf_file_t *fp, ctf_type_f *func, void *arg)
|
|
{
|
|
ctf_id_t id, max = fp->ctf_typemax;
|
|
int rc, child = (fp->ctf_flags & LCTF_CHILD);
|
|
|
|
for (id = 1; id <= max; id++)
|
|
{
|
|
const ctf_type_t *tp = LCTF_INDEX_TO_TYPEPTR (fp, id);
|
|
if (LCTF_INFO_ISROOT (fp, tp->ctt_info)
|
|
&& (rc = func (LCTF_INDEX_TO_TYPE (fp, id, child), arg)) != 0)
|
|
return rc;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Iterate over every type in the given CTF container, user-visible or not.
|
|
We pass the type ID of each type to the specified callback function. */
|
|
|
|
int
|
|
ctf_type_iter_all (ctf_file_t *fp, ctf_type_all_f *func, void *arg)
|
|
{
|
|
ctf_id_t id, max = fp->ctf_typemax;
|
|
int rc, child = (fp->ctf_flags & LCTF_CHILD);
|
|
|
|
for (id = 1; id <= max; id++)
|
|
{
|
|
const ctf_type_t *tp = LCTF_INDEX_TO_TYPEPTR (fp, id);
|
|
if ((rc = func (LCTF_INDEX_TO_TYPE (fp, id, child),
|
|
LCTF_INFO_ISROOT(fp, tp->ctt_info)
|
|
? CTF_ADD_ROOT : CTF_ADD_NONROOT, arg) != 0))
|
|
return rc;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Iterate over every variable in the given CTF container, in arbitrary order.
|
|
We pass the name of each variable to the specified callback function. */
|
|
|
|
int
|
|
ctf_variable_iter (ctf_file_t *fp, ctf_variable_f *func, void *arg)
|
|
{
|
|
int rc;
|
|
|
|
if ((fp->ctf_flags & LCTF_CHILD) && (fp->ctf_parent == NULL))
|
|
return ECTF_NOPARENT;
|
|
|
|
if (!(fp->ctf_flags & LCTF_RDWR))
|
|
{
|
|
unsigned long i;
|
|
for (i = 0; i < fp->ctf_nvars; i++)
|
|
if ((rc = func (ctf_strptr (fp, fp->ctf_vars[i].ctv_name),
|
|
fp->ctf_vars[i].ctv_type, arg)) != 0)
|
|
return rc;
|
|
}
|
|
else
|
|
{
|
|
ctf_dvdef_t *dvd;
|
|
|
|
for (dvd = ctf_list_next (&fp->ctf_dvdefs); dvd != NULL;
|
|
dvd = ctf_list_next (dvd))
|
|
{
|
|
if ((rc = func (dvd->dvd_name, dvd->dvd_type, arg)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Follow a given type through the graph for TYPEDEF, VOLATILE, CONST, and
|
|
RESTRICT nodes until we reach a "base" type node. This is useful when
|
|
we want to follow a type ID to a node that has members or a size. To guard
|
|
against infinite loops, we implement simplified cycle detection and check
|
|
each link against itself, the previous node, and the topmost node.
|
|
|
|
Does not drill down through slices to their contained type. */
|
|
|
|
ctf_id_t
|
|
ctf_type_resolve (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
ctf_id_t prev = type, otype = type;
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
|
|
if (type == 0)
|
|
return (ctf_set_errno (ofp, ECTF_NONREPRESENTABLE));
|
|
|
|
while ((tp = ctf_lookup_by_id (&fp, type)) != NULL)
|
|
{
|
|
switch (LCTF_INFO_KIND (fp, tp->ctt_info))
|
|
{
|
|
case CTF_K_TYPEDEF:
|
|
case CTF_K_VOLATILE:
|
|
case CTF_K_CONST:
|
|
case CTF_K_RESTRICT:
|
|
if (tp->ctt_type == type || tp->ctt_type == otype
|
|
|| tp->ctt_type == prev)
|
|
{
|
|
ctf_dprintf ("type %ld cycle detected\n", otype);
|
|
return (ctf_set_errno (ofp, ECTF_CORRUPT));
|
|
}
|
|
prev = type;
|
|
type = tp->ctt_type;
|
|
break;
|
|
default:
|
|
return type;
|
|
}
|
|
if (type == 0)
|
|
return (ctf_set_errno (ofp, ECTF_NONREPRESENTABLE));
|
|
}
|
|
|
|
return CTF_ERR; /* errno is set for us. */
|
|
}
|
|
|
|
/* Like ctf_type_resolve(), but traverse down through slices to their contained
|
|
type. */
|
|
|
|
ctf_id_t
|
|
ctf_type_resolve_unsliced (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
const ctf_type_t *tp;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return CTF_ERR; /* errno is set for us. */
|
|
|
|
if ((LCTF_INFO_KIND (fp, tp->ctt_info)) == CTF_K_SLICE)
|
|
return ctf_type_reference (fp, type);
|
|
return type;
|
|
}
|
|
|
|
/* Look up a name in the given name table, in the appropriate hash given the
|
|
kind of the identifier. The name is a raw, undecorated identifier. */
|
|
|
|
ctf_id_t ctf_lookup_by_rawname (ctf_file_t *fp, int kind, const char *name)
|
|
{
|
|
return ctf_lookup_by_rawhash (fp, ctf_name_table (fp, kind), name);
|
|
}
|
|
|
|
/* Look up a name in the given name table, in the appropriate hash given the
|
|
readability state of the dictionary. The name is a raw, undecorated
|
|
identifier. */
|
|
|
|
ctf_id_t ctf_lookup_by_rawhash (ctf_file_t *fp, ctf_names_t *np, const char *name)
|
|
{
|
|
ctf_id_t id;
|
|
|
|
if (fp->ctf_flags & LCTF_RDWR)
|
|
id = (ctf_id_t) ctf_dynhash_lookup (np->ctn_writable, name);
|
|
else
|
|
id = ctf_hash_lookup_type (np->ctn_readonly, fp, name);
|
|
return id;
|
|
}
|
|
|
|
/* Lookup the given type ID and return its name as a new dynamcally-allocated
|
|
string. */
|
|
|
|
char *
|
|
ctf_type_aname (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
ctf_decl_t cd;
|
|
ctf_decl_node_t *cdp;
|
|
ctf_decl_prec_t prec, lp, rp;
|
|
int ptr, arr;
|
|
uint32_t k;
|
|
char *buf;
|
|
|
|
if (fp == NULL && type == CTF_ERR)
|
|
return NULL; /* Simplify caller code by permitting CTF_ERR. */
|
|
|
|
ctf_decl_init (&cd);
|
|
ctf_decl_push (&cd, fp, type);
|
|
|
|
if (cd.cd_err != 0)
|
|
{
|
|
ctf_decl_fini (&cd);
|
|
ctf_set_errno (fp, cd.cd_err);
|
|
return NULL;
|
|
}
|
|
|
|
/* If the type graph's order conflicts with lexical precedence order
|
|
for pointers or arrays, then we need to surround the declarations at
|
|
the corresponding lexical precedence with parentheses. This can
|
|
result in either a parenthesized pointer (*) as in int (*)() or
|
|
int (*)[], or in a parenthesized pointer and array as in int (*[])(). */
|
|
|
|
ptr = cd.cd_order[CTF_PREC_POINTER] > CTF_PREC_POINTER;
|
|
arr = cd.cd_order[CTF_PREC_ARRAY] > CTF_PREC_ARRAY;
|
|
|
|
rp = arr ? CTF_PREC_ARRAY : ptr ? CTF_PREC_POINTER : -1;
|
|
lp = ptr ? CTF_PREC_POINTER : arr ? CTF_PREC_ARRAY : -1;
|
|
|
|
k = CTF_K_POINTER; /* Avoid leading whitespace (see below). */
|
|
|
|
for (prec = CTF_PREC_BASE; prec < CTF_PREC_MAX; prec++)
|
|
{
|
|
for (cdp = ctf_list_next (&cd.cd_nodes[prec]);
|
|
cdp != NULL; cdp = ctf_list_next (cdp))
|
|
{
|
|
ctf_file_t *rfp = fp;
|
|
const ctf_type_t *tp = ctf_lookup_by_id (&rfp, cdp->cd_type);
|
|
const char *name = ctf_strptr (rfp, tp->ctt_name);
|
|
|
|
if (k != CTF_K_POINTER && k != CTF_K_ARRAY)
|
|
ctf_decl_sprintf (&cd, " ");
|
|
|
|
if (lp == prec)
|
|
{
|
|
ctf_decl_sprintf (&cd, "(");
|
|
lp = -1;
|
|
}
|
|
|
|
switch (cdp->cd_kind)
|
|
{
|
|
case CTF_K_INTEGER:
|
|
case CTF_K_FLOAT:
|
|
case CTF_K_TYPEDEF:
|
|
ctf_decl_sprintf (&cd, "%s", name);
|
|
break;
|
|
case CTF_K_POINTER:
|
|
ctf_decl_sprintf (&cd, "*");
|
|
break;
|
|
case CTF_K_ARRAY:
|
|
ctf_decl_sprintf (&cd, "[%u]", cdp->cd_n);
|
|
break;
|
|
case CTF_K_FUNCTION:
|
|
ctf_decl_sprintf (&cd, "()");
|
|
break;
|
|
case CTF_K_STRUCT:
|
|
case CTF_K_FORWARD:
|
|
ctf_decl_sprintf (&cd, "struct %s", name);
|
|
break;
|
|
case CTF_K_UNION:
|
|
ctf_decl_sprintf (&cd, "union %s", name);
|
|
break;
|
|
case CTF_K_ENUM:
|
|
ctf_decl_sprintf (&cd, "enum %s", name);
|
|
break;
|
|
case CTF_K_VOLATILE:
|
|
ctf_decl_sprintf (&cd, "volatile");
|
|
break;
|
|
case CTF_K_CONST:
|
|
ctf_decl_sprintf (&cd, "const");
|
|
break;
|
|
case CTF_K_RESTRICT:
|
|
ctf_decl_sprintf (&cd, "restrict");
|
|
break;
|
|
case CTF_K_SLICE:
|
|
/* No representation: just changes encoding of contained type,
|
|
which is not in any case printed. Skip it. */
|
|
break;
|
|
}
|
|
|
|
k = cdp->cd_kind;
|
|
}
|
|
|
|
if (rp == prec)
|
|
ctf_decl_sprintf (&cd, ")");
|
|
}
|
|
|
|
if (cd.cd_enomem)
|
|
(void) ctf_set_errno (fp, ENOMEM);
|
|
|
|
buf = ctf_decl_buf (&cd);
|
|
|
|
ctf_decl_fini (&cd);
|
|
return buf;
|
|
}
|
|
|
|
/* Lookup the given type ID and print a string name for it into buf. Return
|
|
the actual number of bytes (not including \0) needed to format the name. */
|
|
|
|
ssize_t
|
|
ctf_type_lname (ctf_file_t *fp, ctf_id_t type, char *buf, size_t len)
|
|
{
|
|
char *str = ctf_type_aname (fp, type);
|
|
size_t slen = strlen (str);
|
|
|
|
if (str == NULL)
|
|
return CTF_ERR; /* errno is set for us */
|
|
|
|
snprintf (buf, len, "%s", str);
|
|
free (str);
|
|
|
|
if (slen >= len)
|
|
(void) ctf_set_errno (fp, ECTF_NAMELEN);
|
|
|
|
return slen;
|
|
}
|
|
|
|
/* Lookup the given type ID and print a string name for it into buf. If buf
|
|
is too small, return NULL: the ECTF_NAMELEN error is set on 'fp' for us. */
|
|
|
|
char *
|
|
ctf_type_name (ctf_file_t *fp, ctf_id_t type, char *buf, size_t len)
|
|
{
|
|
ssize_t rv = ctf_type_lname (fp, type, buf, len);
|
|
return (rv >= 0 && (size_t) rv < len ? buf : NULL);
|
|
}
|
|
|
|
/* Lookup the given type ID and return its raw, unadorned, undecorated name as a
|
|
new dynamcally-allocated string. */
|
|
|
|
char *
|
|
ctf_type_aname_raw (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
const ctf_type_t *tp;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return NULL; /* errno is set for us. */
|
|
|
|
if (ctf_strraw (fp, tp->ctt_name) != NULL)
|
|
return strdup (ctf_strraw (fp, tp->ctt_name));
|
|
|
|
return NULL;
|
|
}
|
|
|
|
/* Resolve the type down to a base type node, and then return the size
|
|
of the type storage in bytes. */
|
|
|
|
ssize_t
|
|
ctf_type_size (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
const ctf_type_t *tp;
|
|
ssize_t size;
|
|
ctf_arinfo_t ar;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
switch (LCTF_INFO_KIND (fp, tp->ctt_info))
|
|
{
|
|
case CTF_K_POINTER:
|
|
return fp->ctf_dmodel->ctd_pointer;
|
|
|
|
case CTF_K_FUNCTION:
|
|
return 0; /* Function size is only known by symtab. */
|
|
|
|
case CTF_K_ENUM:
|
|
return fp->ctf_dmodel->ctd_int;
|
|
|
|
case CTF_K_ARRAY:
|
|
/* ctf_add_array() does not directly encode the element size, but
|
|
requires the user to multiply to determine the element size.
|
|
|
|
If ctf_get_ctt_size() returns nonzero, then use the recorded
|
|
size instead. */
|
|
|
|
if ((size = ctf_get_ctt_size (fp, tp, NULL, NULL)) > 0)
|
|
return size;
|
|
|
|
if (ctf_array_info (fp, type, &ar) < 0
|
|
|| (size = ctf_type_size (fp, ar.ctr_contents)) < 0)
|
|
return -1; /* errno is set for us. */
|
|
|
|
return size * ar.ctr_nelems;
|
|
|
|
default: /* including slices of enums, etc */
|
|
return (ctf_get_ctt_size (fp, tp, NULL, NULL));
|
|
}
|
|
}
|
|
|
|
/* Resolve the type down to a base type node, and then return the alignment
|
|
needed for the type storage in bytes.
|
|
|
|
XXX may need arch-dependent attention. */
|
|
|
|
ssize_t
|
|
ctf_type_align (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
const ctf_type_t *tp;
|
|
ctf_file_t *ofp = fp;
|
|
int kind;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
kind = LCTF_INFO_KIND (fp, tp->ctt_info);
|
|
switch (kind)
|
|
{
|
|
case CTF_K_POINTER:
|
|
case CTF_K_FUNCTION:
|
|
return fp->ctf_dmodel->ctd_pointer;
|
|
|
|
case CTF_K_ARRAY:
|
|
{
|
|
ctf_arinfo_t r;
|
|
if (ctf_array_info (fp, type, &r) < 0)
|
|
return -1; /* errno is set for us. */
|
|
return (ctf_type_align (fp, r.ctr_contents));
|
|
}
|
|
|
|
case CTF_K_STRUCT:
|
|
case CTF_K_UNION:
|
|
{
|
|
size_t align = 0;
|
|
ctf_dtdef_t *dtd;
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) == NULL)
|
|
{
|
|
uint32_t n = LCTF_INFO_VLEN (fp, tp->ctt_info);
|
|
ssize_t size, increment;
|
|
const void *vmp;
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
vmp = (unsigned char *) tp + increment;
|
|
|
|
if (kind == CTF_K_STRUCT)
|
|
n = MIN (n, 1); /* Only use first member for structs. */
|
|
|
|
if (size < CTF_LSTRUCT_THRESH)
|
|
{
|
|
const ctf_member_t *mp = vmp;
|
|
for (; n != 0; n--, mp++)
|
|
{
|
|
ssize_t am = ctf_type_align (fp, mp->ctm_type);
|
|
align = MAX (align, (size_t) am);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
const ctf_lmember_t *lmp = vmp;
|
|
for (; n != 0; n--, lmp++)
|
|
{
|
|
ssize_t am = ctf_type_align (fp, lmp->ctlm_type);
|
|
align = MAX (align, (size_t) am);
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
ssize_t am = ctf_type_align (fp, dmd->dmd_type);
|
|
align = MAX (align, (size_t) am);
|
|
if (kind == CTF_K_STRUCT)
|
|
break;
|
|
}
|
|
}
|
|
|
|
return align;
|
|
}
|
|
|
|
case CTF_K_ENUM:
|
|
return fp->ctf_dmodel->ctd_int;
|
|
|
|
default: /* including slices of enums, etc */
|
|
return (ctf_get_ctt_size (fp, tp, NULL, NULL));
|
|
}
|
|
}
|
|
|
|
/* Return the kind (CTF_K_* constant) for the specified type ID. */
|
|
|
|
int
|
|
ctf_type_kind_unsliced (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
const ctf_type_t *tp;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
return (LCTF_INFO_KIND (fp, tp->ctt_info));
|
|
}
|
|
|
|
/* Return the kind (CTF_K_* constant) for the specified type ID.
|
|
Slices are considered to be of the same kind as the type sliced. */
|
|
|
|
int
|
|
ctf_type_kind (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
int kind;
|
|
|
|
if ((kind = ctf_type_kind_unsliced (fp, type)) < 0)
|
|
return -1;
|
|
|
|
if (kind == CTF_K_SLICE)
|
|
{
|
|
if ((type = ctf_type_reference (fp, type)) == CTF_ERR)
|
|
return -1;
|
|
kind = ctf_type_kind_unsliced (fp, type);
|
|
}
|
|
|
|
return kind;
|
|
}
|
|
|
|
/* If the type is one that directly references another type (such as POINTER),
|
|
then return the ID of the type to which it refers. */
|
|
|
|
ctf_id_t
|
|
ctf_type_reference (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return CTF_ERR; /* errno is set for us. */
|
|
|
|
switch (LCTF_INFO_KIND (fp, tp->ctt_info))
|
|
{
|
|
case CTF_K_POINTER:
|
|
case CTF_K_TYPEDEF:
|
|
case CTF_K_VOLATILE:
|
|
case CTF_K_CONST:
|
|
case CTF_K_RESTRICT:
|
|
return tp->ctt_type;
|
|
/* Slices store their type in an unusual place. */
|
|
case CTF_K_SLICE:
|
|
{
|
|
const ctf_slice_t *sp;
|
|
ssize_t increment;
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
sp = (const ctf_slice_t *) ((uintptr_t) tp + increment);
|
|
return sp->cts_type;
|
|
}
|
|
default:
|
|
return (ctf_set_errno (ofp, ECTF_NOTREF));
|
|
}
|
|
}
|
|
|
|
/* Find a pointer to type by looking in fp->ctf_ptrtab. If we can't find a
|
|
pointer to the given type, see if we can compute a pointer to the type
|
|
resulting from resolving the type down to its base type and use that
|
|
instead. This helps with cases where the CTF data includes "struct foo *"
|
|
but not "foo_t *" and the user accesses "foo_t *" in the debugger.
|
|
|
|
XXX what about parent containers? */
|
|
|
|
ctf_id_t
|
|
ctf_type_pointer (ctf_file_t *fp, ctf_id_t type)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
ctf_id_t ntype;
|
|
|
|
if (ctf_lookup_by_id (&fp, type) == NULL)
|
|
return CTF_ERR; /* errno is set for us. */
|
|
|
|
if ((ntype = fp->ctf_ptrtab[LCTF_TYPE_TO_INDEX (fp, type)]) != 0)
|
|
return (LCTF_INDEX_TO_TYPE (fp, ntype, (fp->ctf_flags & LCTF_CHILD)));
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return (ctf_set_errno (ofp, ECTF_NOTYPE));
|
|
|
|
if (ctf_lookup_by_id (&fp, type) == NULL)
|
|
return (ctf_set_errno (ofp, ECTF_NOTYPE));
|
|
|
|
if ((ntype = fp->ctf_ptrtab[LCTF_TYPE_TO_INDEX (fp, type)]) != 0)
|
|
return (LCTF_INDEX_TO_TYPE (fp, ntype, (fp->ctf_flags & LCTF_CHILD)));
|
|
|
|
return (ctf_set_errno (ofp, ECTF_NOTYPE));
|
|
}
|
|
|
|
/* Return the encoding for the specified INTEGER or FLOAT. */
|
|
|
|
int
|
|
ctf_type_encoding (ctf_file_t *fp, ctf_id_t type, ctf_encoding_t *ep)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
ctf_dtdef_t *dtd;
|
|
const ctf_type_t *tp;
|
|
ssize_t increment;
|
|
uint32_t data;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) != NULL)
|
|
{
|
|
*ep = dtd->dtd_u.dtu_enc;
|
|
return 0;
|
|
}
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
|
|
switch (LCTF_INFO_KIND (fp, tp->ctt_info))
|
|
{
|
|
case CTF_K_INTEGER:
|
|
data = *(const uint32_t *) ((uintptr_t) tp + increment);
|
|
ep->cte_format = CTF_INT_ENCODING (data);
|
|
ep->cte_offset = CTF_INT_OFFSET (data);
|
|
ep->cte_bits = CTF_INT_BITS (data);
|
|
break;
|
|
case CTF_K_FLOAT:
|
|
data = *(const uint32_t *) ((uintptr_t) tp + increment);
|
|
ep->cte_format = CTF_FP_ENCODING (data);
|
|
ep->cte_offset = CTF_FP_OFFSET (data);
|
|
ep->cte_bits = CTF_FP_BITS (data);
|
|
break;
|
|
case CTF_K_SLICE:
|
|
{
|
|
const ctf_slice_t *slice;
|
|
ctf_encoding_t underlying_en;
|
|
|
|
slice = (ctf_slice_t *) ((uintptr_t) tp + increment);
|
|
data = ctf_type_encoding (fp, slice->cts_type, &underlying_en);
|
|
|
|
ep->cte_format = underlying_en.cte_format;
|
|
ep->cte_offset = slice->cts_offset;
|
|
ep->cte_bits = slice->cts_bits;
|
|
break;
|
|
}
|
|
default:
|
|
return (ctf_set_errno (ofp, ECTF_NOTINTFP));
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
ctf_type_cmp (ctf_file_t *lfp, ctf_id_t ltype, ctf_file_t *rfp,
|
|
ctf_id_t rtype)
|
|
{
|
|
int rval;
|
|
|
|
if (ltype < rtype)
|
|
rval = -1;
|
|
else if (ltype > rtype)
|
|
rval = 1;
|
|
else
|
|
rval = 0;
|
|
|
|
if (lfp == rfp)
|
|
return rval;
|
|
|
|
if (LCTF_TYPE_ISPARENT (lfp, ltype) && lfp->ctf_parent != NULL)
|
|
lfp = lfp->ctf_parent;
|
|
|
|
if (LCTF_TYPE_ISPARENT (rfp, rtype) && rfp->ctf_parent != NULL)
|
|
rfp = rfp->ctf_parent;
|
|
|
|
if (lfp < rfp)
|
|
return -1;
|
|
|
|
if (lfp > rfp)
|
|
return 1;
|
|
|
|
return rval;
|
|
}
|
|
|
|
/* Return a boolean value indicating if two types are compatible. This function
|
|
returns true if the two types are the same, or if they (or their ultimate
|
|
base type) have the same encoding properties, or (for structs / unions /
|
|
enums / forward declarations) if they have the same name and (for structs /
|
|
unions) member count. */
|
|
|
|
int
|
|
ctf_type_compat (ctf_file_t *lfp, ctf_id_t ltype,
|
|
ctf_file_t *rfp, ctf_id_t rtype)
|
|
{
|
|
const ctf_type_t *ltp, *rtp;
|
|
ctf_encoding_t le, re;
|
|
ctf_arinfo_t la, ra;
|
|
uint32_t lkind, rkind;
|
|
int same_names = 0;
|
|
|
|
if (ctf_type_cmp (lfp, ltype, rfp, rtype) == 0)
|
|
return 1;
|
|
|
|
ltype = ctf_type_resolve (lfp, ltype);
|
|
lkind = ctf_type_kind (lfp, ltype);
|
|
|
|
rtype = ctf_type_resolve (rfp, rtype);
|
|
rkind = ctf_type_kind (rfp, rtype);
|
|
|
|
ltp = ctf_lookup_by_id (&lfp, ltype);
|
|
rtp = ctf_lookup_by_id (&rfp, rtype);
|
|
|
|
if (ltp != NULL && rtp != NULL)
|
|
same_names = (strcmp (ctf_strptr (lfp, ltp->ctt_name),
|
|
ctf_strptr (rfp, rtp->ctt_name)) == 0);
|
|
|
|
if (((lkind == CTF_K_ENUM) && (rkind == CTF_K_INTEGER)) ||
|
|
((rkind == CTF_K_ENUM) && (lkind == CTF_K_INTEGER)))
|
|
return 1;
|
|
|
|
if (lkind != rkind)
|
|
return 0;
|
|
|
|
switch (lkind)
|
|
{
|
|
case CTF_K_INTEGER:
|
|
case CTF_K_FLOAT:
|
|
memset (&le, 0, sizeof (le));
|
|
memset (&re, 0, sizeof (re));
|
|
return (ctf_type_encoding (lfp, ltype, &le) == 0
|
|
&& ctf_type_encoding (rfp, rtype, &re) == 0
|
|
&& memcmp (&le, &re, sizeof (ctf_encoding_t)) == 0);
|
|
case CTF_K_POINTER:
|
|
return (ctf_type_compat (lfp, ctf_type_reference (lfp, ltype),
|
|
rfp, ctf_type_reference (rfp, rtype)));
|
|
case CTF_K_ARRAY:
|
|
return (ctf_array_info (lfp, ltype, &la) == 0
|
|
&& ctf_array_info (rfp, rtype, &ra) == 0
|
|
&& la.ctr_nelems == ra.ctr_nelems
|
|
&& ctf_type_compat (lfp, la.ctr_contents, rfp, ra.ctr_contents)
|
|
&& ctf_type_compat (lfp, la.ctr_index, rfp, ra.ctr_index));
|
|
case CTF_K_STRUCT:
|
|
case CTF_K_UNION:
|
|
return (same_names && (ctf_type_size (lfp, ltype)
|
|
== ctf_type_size (rfp, rtype)));
|
|
case CTF_K_ENUM:
|
|
{
|
|
int lencoded, rencoded;
|
|
lencoded = ctf_type_encoding (lfp, ltype, &le);
|
|
rencoded = ctf_type_encoding (rfp, rtype, &re);
|
|
|
|
if ((lencoded != rencoded) ||
|
|
((lencoded == 0) && memcmp (&le, &re, sizeof (ctf_encoding_t)) != 0))
|
|
return 0;
|
|
}
|
|
/* FALLTHRU */
|
|
case CTF_K_FORWARD:
|
|
return same_names; /* No other checks required for these type kinds. */
|
|
default:
|
|
return 0; /* Should not get here since we did a resolve. */
|
|
}
|
|
}
|
|
|
|
/* Return the type and offset for a given member of a STRUCT or UNION. */
|
|
|
|
int
|
|
ctf_member_info (ctf_file_t *fp, ctf_id_t type, const char *name,
|
|
ctf_membinfo_t *mip)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
ctf_dtdef_t *dtd;
|
|
ssize_t size, increment;
|
|
uint32_t kind, n;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
kind = LCTF_INFO_KIND (fp, tp->ctt_info);
|
|
|
|
if (kind != CTF_K_STRUCT && kind != CTF_K_UNION)
|
|
return (ctf_set_errno (ofp, ECTF_NOTSOU));
|
|
|
|
if ((dtd = ctf_dynamic_type (fp, type)) == NULL)
|
|
{
|
|
if (size < CTF_LSTRUCT_THRESH)
|
|
{
|
|
const ctf_member_t *mp = (const ctf_member_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, mp++)
|
|
{
|
|
if (strcmp (ctf_strptr (fp, mp->ctm_name), name) == 0)
|
|
{
|
|
mip->ctm_type = mp->ctm_type;
|
|
mip->ctm_offset = mp->ctm_offset;
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
const ctf_lmember_t *lmp = (const ctf_lmember_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, lmp++)
|
|
{
|
|
if (strcmp (ctf_strptr (fp, lmp->ctlm_name), name) == 0)
|
|
{
|
|
mip->ctm_type = lmp->ctlm_type;
|
|
mip->ctm_offset = (unsigned long) CTF_LMEM_OFFSET (lmp);
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if (strcmp (dmd->dmd_name, name) == 0)
|
|
{
|
|
mip->ctm_type = dmd->dmd_type;
|
|
mip->ctm_offset = dmd->dmd_offset;
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
return (ctf_set_errno (ofp, ECTF_NOMEMBNAM));
|
|
}
|
|
|
|
/* Return the array type, index, and size information for the specified ARRAY. */
|
|
|
|
int
|
|
ctf_array_info (ctf_file_t *fp, ctf_id_t type, ctf_arinfo_t *arp)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
const ctf_array_t *ap;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t increment;
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if (LCTF_INFO_KIND (fp, tp->ctt_info) != CTF_K_ARRAY)
|
|
return (ctf_set_errno (ofp, ECTF_NOTARRAY));
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) != NULL)
|
|
{
|
|
*arp = dtd->dtd_u.dtu_arr;
|
|
return 0;
|
|
}
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
|
|
ap = (const ctf_array_t *) ((uintptr_t) tp + increment);
|
|
arp->ctr_contents = ap->cta_contents;
|
|
arp->ctr_index = ap->cta_index;
|
|
arp->ctr_nelems = ap->cta_nelems;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Convert the specified value to the corresponding enum tag name, if a
|
|
matching name can be found. Otherwise NULL is returned. */
|
|
|
|
const char *
|
|
ctf_enum_name (ctf_file_t *fp, ctf_id_t type, int value)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
const ctf_enum_t *ep;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t increment;
|
|
uint32_t n;
|
|
|
|
if ((type = ctf_type_resolve_unsliced (fp, type)) == CTF_ERR)
|
|
return NULL; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return NULL; /* errno is set for us. */
|
|
|
|
if (LCTF_INFO_KIND (fp, tp->ctt_info) != CTF_K_ENUM)
|
|
{
|
|
(void) ctf_set_errno (ofp, ECTF_NOTENUM);
|
|
return NULL;
|
|
}
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) == NULL)
|
|
{
|
|
ep = (const ctf_enum_t *) ((uintptr_t) tp + increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, ep++)
|
|
{
|
|
if (ep->cte_value == value)
|
|
return (ctf_strptr (fp, ep->cte_name));
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if (dmd->dmd_value == value)
|
|
return dmd->dmd_name;
|
|
}
|
|
}
|
|
|
|
(void) ctf_set_errno (ofp, ECTF_NOENUMNAM);
|
|
return NULL;
|
|
}
|
|
|
|
/* Convert the specified enum tag name to the corresponding value, if a
|
|
matching name can be found. Otherwise CTF_ERR is returned. */
|
|
|
|
int
|
|
ctf_enum_value (ctf_file_t * fp, ctf_id_t type, const char *name, int *valp)
|
|
{
|
|
ctf_file_t *ofp = fp;
|
|
const ctf_type_t *tp;
|
|
const ctf_enum_t *ep;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t increment;
|
|
uint32_t n;
|
|
|
|
if ((type = ctf_type_resolve_unsliced (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if (LCTF_INFO_KIND (fp, tp->ctt_info) != CTF_K_ENUM)
|
|
{
|
|
(void) ctf_set_errno (ofp, ECTF_NOTENUM);
|
|
return -1;
|
|
}
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, NULL, &increment);
|
|
|
|
ep = (const ctf_enum_t *) ((uintptr_t) tp + increment);
|
|
|
|
if ((dtd = ctf_dynamic_type (ofp, type)) == NULL)
|
|
{
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, ep++)
|
|
{
|
|
if (strcmp (ctf_strptr (fp, ep->cte_name), name) == 0)
|
|
{
|
|
if (valp != NULL)
|
|
*valp = ep->cte_value;
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if (strcmp (dmd->dmd_name, name) == 0)
|
|
{
|
|
if (valp != NULL)
|
|
*valp = dmd->dmd_value;
|
|
return 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
(void) ctf_set_errno (ofp, ECTF_NOENUMNAM);
|
|
return -1;
|
|
}
|
|
|
|
/* Given a type ID relating to a function type, return info on return types and
|
|
arg counts for that function. */
|
|
|
|
int
|
|
ctf_func_type_info (ctf_file_t *fp, ctf_id_t type, ctf_funcinfo_t *fip)
|
|
{
|
|
const ctf_type_t *tp;
|
|
uint32_t kind;
|
|
const uint32_t *args;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t size, increment;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
kind = LCTF_INFO_KIND (fp, tp->ctt_info);
|
|
|
|
if (kind != CTF_K_FUNCTION)
|
|
return (ctf_set_errno (fp, ECTF_NOTFUNC));
|
|
|
|
fip->ctc_return = tp->ctt_type;
|
|
fip->ctc_flags = 0;
|
|
fip->ctc_argc = LCTF_INFO_VLEN (fp, tp->ctt_info);
|
|
|
|
if ((dtd = ctf_dynamic_type (fp, type)) == NULL)
|
|
args = (uint32_t *) ((uintptr_t) tp + increment);
|
|
else
|
|
args = (uint32_t *) dtd->dtd_u.dtu_argv;
|
|
|
|
if (fip->ctc_argc != 0 && args[fip->ctc_argc - 1] == 0)
|
|
{
|
|
fip->ctc_flags |= CTF_FUNC_VARARG;
|
|
fip->ctc_argc--;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Given a type ID relating to a function type,, return the arguments for the
|
|
function. */
|
|
|
|
int
|
|
ctf_func_type_args (ctf_file_t *fp, ctf_id_t type, uint32_t argc, ctf_id_t *argv)
|
|
{
|
|
const ctf_type_t *tp;
|
|
const uint32_t *args;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t size, increment;
|
|
ctf_funcinfo_t f;
|
|
|
|
if (ctf_func_type_info (fp, type, &f) < 0)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
|
|
if ((dtd = ctf_dynamic_type (fp, type)) == NULL)
|
|
args = (uint32_t *) ((uintptr_t) tp + increment);
|
|
else
|
|
args = (uint32_t *) dtd->dtd_u.dtu_argv;
|
|
|
|
for (argc = MIN (argc, f.ctc_argc); argc != 0; argc--)
|
|
*argv++ = *args++;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Recursively visit the members of any type. This function is used as the
|
|
engine for ctf_type_visit, below. We resolve the input type, recursively
|
|
invoke ourself for each type member if the type is a struct or union, and
|
|
then invoke the callback function on the current type. If any callback
|
|
returns non-zero, we abort and percolate the error code back up to the top. */
|
|
|
|
static int
|
|
ctf_type_rvisit (ctf_file_t *fp, ctf_id_t type, ctf_visit_f *func,
|
|
void *arg, const char *name, unsigned long offset, int depth)
|
|
{
|
|
ctf_id_t otype = type;
|
|
const ctf_type_t *tp;
|
|
const ctf_dtdef_t *dtd;
|
|
ssize_t size, increment;
|
|
uint32_t kind, n;
|
|
int rc;
|
|
|
|
if ((type = ctf_type_resolve (fp, type)) == CTF_ERR)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((tp = ctf_lookup_by_id (&fp, type)) == NULL)
|
|
return -1; /* errno is set for us. */
|
|
|
|
if ((rc = func (name, otype, offset, depth, arg)) != 0)
|
|
return rc;
|
|
|
|
kind = LCTF_INFO_KIND (fp, tp->ctt_info);
|
|
|
|
if (kind != CTF_K_STRUCT && kind != CTF_K_UNION)
|
|
return 0;
|
|
|
|
(void) ctf_get_ctt_size (fp, tp, &size, &increment);
|
|
|
|
if ((dtd = ctf_dynamic_type (fp, type)) == NULL)
|
|
{
|
|
if (size < CTF_LSTRUCT_THRESH)
|
|
{
|
|
const ctf_member_t *mp = (const ctf_member_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, mp++)
|
|
{
|
|
if ((rc = ctf_type_rvisit (fp, mp->ctm_type,
|
|
func, arg, ctf_strptr (fp,
|
|
mp->ctm_name),
|
|
offset + mp->ctm_offset,
|
|
depth + 1)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
const ctf_lmember_t *lmp = (const ctf_lmember_t *) ((uintptr_t) tp +
|
|
increment);
|
|
|
|
for (n = LCTF_INFO_VLEN (fp, tp->ctt_info); n != 0; n--, lmp++)
|
|
{
|
|
if ((rc = ctf_type_rvisit (fp, lmp->ctlm_type,
|
|
func, arg, ctf_strptr (fp,
|
|
lmp->ctlm_name),
|
|
offset + (unsigned long) CTF_LMEM_OFFSET (lmp),
|
|
depth + 1)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ctf_dmdef_t *dmd;
|
|
|
|
for (dmd = ctf_list_next (&dtd->dtd_u.dtu_members);
|
|
dmd != NULL; dmd = ctf_list_next (dmd))
|
|
{
|
|
if ((rc = ctf_type_rvisit (fp, dmd->dmd_type, func, arg,
|
|
dmd->dmd_name, dmd->dmd_offset,
|
|
depth + 1)) != 0)
|
|
return rc;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Recursively visit the members of any type. We pass the name, member
|
|
type, and offset of each member to the specified callback function. */
|
|
int
|
|
ctf_type_visit (ctf_file_t *fp, ctf_id_t type, ctf_visit_f *func, void *arg)
|
|
{
|
|
return (ctf_type_rvisit (fp, type, func, arg, "", 0, 0));
|
|
}
|