namespace boost {
template<>
struct hash<s_pointers_pair> {
- typedef uint64_t result_type;
+ typedef uintptr_t result_type;
result_type operator()(s_pointers_pair const& x) const {
- return (result_type) x.p1 ^ (result_type) x.p2 << 8;
+ return (result_type) x.p1 ^
+ ((result_type) x.p2 << 8 | (result_type) x.p2 >> (8*sizeof(uintptr_t) - 8));
}
};
}
mc_mem_region_t r2, mc_snapshot_t snapshot1,
mc_snapshot_t snapshot2)
{
+ xbt_assert(r1 && r2,
+ "Missing region. Did you enable SMPI privatisation? It is not compatible with state comparison.");
struct mc_compare_state state;
xbt_dynar_t variables;