/* mm_diff - Memory snapshooting and comparison */
-/* Copyright (c) 2008-2013. The SimGrid Team.
+/* Copyright (c) 2008-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
void *addr_pointed1, *addr_pointed2;;
switch(type->type){
+ case DW_TAG_unspecified_type:
+ return 1;
+
case DW_TAG_base_type:
if(type->name!=NULL && strcmp(type->name, "char") == 0){ /* String, hence random (arbitrary ?) size */
if(real_area1 == real_area2)
case DW_TAG_array_type:
subtype = xbt_dict_get_or_null(info->types, type->dw_type_id);
switch(subtype->type){
+ case DW_TAG_unspecified_type:
+ return 1;
+
case DW_TAG_base_type:
case DW_TAG_enumeration_type:
case DW_TAG_pointer_type: