* \param tag tag code (see the DWARF specification)
* \return name of the tag
*/
+XBT_INTERNAL
const char *MC_dwarf_tagname(int tag)
{
switch (tag) {
type->dw_type_id = MC_dwarf_at_type(die);
- // Some compiler do not emit DW_AT_byte_size for pointer_type,
+ // Some compilers do not emit DW_AT_byte_size for pointer_type,
// so we fill this. We currently assume that the model-checked process is in
// the same architecture..
if (type->type == DW_TAG_pointer_type)
void MC_free_object_info(mc_object_info_t * info)
{
- xbt_free(&(*info)->file_name);
+ xbt_free((*info)->file_name);
xbt_dict_free(&(*info)->subprograms);
xbt_dynar_free(&(*info)->global_variables);
xbt_dict_free(&(*info)->types);
xbt_dict_free(&(*info)->full_types_by_name);
- xbt_free(info);
+ xbt_free(*info);
xbt_dynar_free(&(*info)->functions_index);
*info = NULL;
}
}
/** \brief Finds informations about a given shared object/executable */
-mc_object_info_t MC_find_object_info(memory_map_t maps, const char *name,
- int executable)
+mc_object_info_t MC_find_object_info(
+ std::vector<simgrid::mc::VmMap> const& maps, const char *name, int executable)
{
mc_object_info_t result = MC_new_object_info();
if (executable)