+ // 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*);
+