#include "mc_liveness.h"
#include "mc_private.h"
#include "mc_smx.h"
+#include "mc_dwarf.hpp"
#include "mc/Frame.hpp"
#include "mc/ObjectInformation.hpp"
}
}
-static void stack_region_free_voidp(void *s)
-{
- stack_region_free((stack_region_t) * (void **) s);
-}
-
static void pointers_pair_free(pointers_pair_t p)
{
xbt_free(p);
}
-static void pointers_pair_free_voidp(void *p)
-{
- pointers_pair_free((pointers_pair_t) * (void **) p);
-}
-
/************************** Snapshot comparison *******************************/
/******************************************************************************/
}
case DW_TAG_structure_type:
case DW_TAG_class_type:
- for(simgrid::mc::Type& member : type->members) {
- void *member1 =
- mc_member_resolve(real_area1, type, &member, snapshot1, process_index);
- void *member2 =
- mc_member_resolve(real_area2, type, &member, snapshot2, process_index);
+ for(simgrid::mc::Member& member : type->members) {
+ void *member1 = simgrid::dwarf::resolve_member(
+ real_area1, type, &member, snapshot1, process_index);
+ void *member2 = simgrid::dwarf::resolve_member(
+ real_area2, type, &member, snapshot2, process_index);
mc_mem_region_t subregion1 = mc_get_region_hinted(member1, snapshot1, process_index, region1);
mc_mem_region_t subregion2 = mc_get_region_hinted(member2, snapshot2, process_index, region2);
res =
compare_areas_with_type(state, process_index,
member1, snapshot1, subregion1,
member2, snapshot2, subregion2,
- member.subtype, pointer_level);
+ member.type, pointer_level);
if (res == 1)
return res;
}