type->dw_type_id = MC_dwarf_at_type(die);
+ // 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)
+ type->byte_size = sizeof(void*);
+
// Computation of the byte_size;
if (dwarf_hasattr_integrate(die, DW_AT_byte_size))
type->byte_size = MC_dwarf_attr_integrate_uint(die, DW_AT_byte_size, 0);
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;
}