#include <xbt/mmalloc.h>
#include "mc_process.h"
-#include "mc_object_info.h"
-#include "AddressSpace.hpp"
+#include "mc_dwarf.hpp"
#include "mc_unw.h"
#include "mc_snapshot.h"
#include "mc_ignore.h"
#include "mc_smx.h"
#include "mc_server.h"
+#include "mc/AddressSpace.hpp"
+#include "mc/ObjectInformation.hpp"
+#include "mc/Variable.hpp"
+
using simgrid::mc::remote;
extern "C" {
static const char *const FILTERED_LIBS[] = {
"ld",
"libbz2",
+ "libboost_chrono",
"libboost_context",
+ "libboost_system",
+ "libboost_thread",
"libc",
"libc++",
"libcdt",
"libm",
"libpthread",
"librt",
+ "libsigc",
"libstdc++",
"libunwind",
"libunwind-x86_64",
std::shared_ptr<simgrid::mc::ObjectInformation> const& info =
this->find_object_info_rw((void*)address.address());
// Segment overlap is not handled.
+#ifdef HAVE_SMPI
if (info.get() && info.get()->privatized()) {
if (process_index < 0)
xbt_die("Missing process index");
size_t offset = address.address() - (std::uint64_t)info->start_rw;
address = remote((char*)privatisation_region.address + offset);
}
+#endif
}
if (this->is_self()) {