Some compilers do not emit DW_AT_byte_size for DW_TAG_pointer_type, so
we fill this. We currently assume that the model-checked process is in
the same architecture.
This fixes the model-checker in clang.
type->dw_type_id = MC_dwarf_at_type(die);
+ // Some compiler 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);