#ifndef SIMGRID_MC_PROCESS_H
#define SIMGRID_MC_PROCESS_H
-#include <type_traits>
-
-#include <sys/types.h>
+#include <cstdint>
+#include <cstddef>
+#include <type_traits>
#include <vector>
#include <memory>
-#include "simgrid_config.h"
#include <sys/types.h>
+#include <simgrid_config.h>
+
#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <xbt/mmalloc.h>
#ifdef HAVE_MC
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_base.h"
-#include "src/mc/mc_mmalloc.h" // std_heap
#include "src/mc/AddressSpace.hpp"
#include "src/mc/mc_protocol.h"
#include "src/mc/ObjectInformation.hpp"
struct IgnoredRegion {
std::uint64_t addr;
- size_t size;
+ std::size_t size;
};
struct IgnoredHeapRegion {
int block;
int fragment;
void *address;
- size_t size;
+ std::size_t size;
};
/** Representation of a process