#include <cstdint>
#include <type_traits>
-#include <xbt/misc.h>
-
#include "src/mc/mc_forward.hpp"
#include "src/mc/remote_ptr.hpp"
#include <libunwind.h>
#include <libunwind-ptrace.h>
+#include <xbt/dynar.h>
+#include <xbt/log.h>
+#include <xbt/base.h>
#include <xbt/mmalloc.h>
#include "src/mc/mc_object_info.h"
#include <simgrid_config.h>
#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <xbt/mmalloc.h>
#ifdef HAVE_MC
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
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include <cstdlib>
+
#include <sys/mman.h>
#include "mc/mc.h"
{
switch(type_) {
case Free:
- free(p);
+ std::free(p);
break;
case Munmap:
munmap(p, size_);
{
simgrid::mc::RegionSnapshot::flat_data_ptr data;
if (!_sg_mc_ksm)
- data = simgrid::mc::RegionSnapshot::flat_data_ptr((char*) malloc(size));
+ data = simgrid::mc::RegionSnapshot::flat_data_ptr((char*) std::malloc(size));
else {
char* ptr = (char*) mmap(nullptr, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS|MAP_POPULATE, -1, 0);
if (ptr == MAP_FAILED)
#include <cstddef>
#include <utility>
+#include <memory>
+#include <vector>
+
#include <xbt/base.h>
+#include "src/mc/remote_ptr.hpp"
#include "src/mc/PageStore.hpp"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/ChunkedData.hpp"
#ifndef SIMGRID_MC_TYPE_HPP
#define SIMGRID_MC_TYPE_HPP
+#include <cstddef>
+
#include <vector>
#include <string>
#include <xbt/base.h>
+#include <xbt/asserts.h>
+
+#include <dwarf.h>
#include "src/mc/mc_forward.h"
#include "src/mc/LocationList.hpp"
#ifndef SIMGRID_MC_VARIABLE_HPP
#define SIMGRID_MC_VARIABLE_HPP
-#include <string>
+#include <cstddef>
-#include <xbt/base.h>
+#include <string>
#include "src/mc/mc_forward.h"
#include "src/mc/LocationList.hpp"
// Use either of:
simgrid::dwarf::LocationList location_list;
void* address = nullptr;
- size_t start_scope = 0;
+ std::size_t start_scope = 0;
simgrid::mc::ObjectInformation* object_info = nullptr;
};
#ifndef SIMGRID_MC_CLIENT_H
#define SIMGRID_MC_CLIENT_H
-#include <xbt/misc.h>
+#include <cstddef>
+
+#include <xbt/base.h>
#include "src/mc/mc_protocol.h"
SG_BEGIN_DECL()
XBT_PRIVATE void MC_client_init(void);
XBT_PRIVATE void MC_client_handle_messages(void);
-XBT_PRIVATE void MC_client_send_message(void* message, size_t size);
+XBT_PRIVATE void MC_client_send_message(void* message, std::size_t size);
XBT_PRIVATE void MC_client_send_simple_message(e_mc_message_type type);
#ifdef HAVE_MC
-void MC_ignore(void* addr, size_t size);
+void MC_ignore(void* addr, std::size_t size);
#endif
void MC_client_main_loop(void);
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include <cstdint>
+
+#include <xbt/dynar.h>
+#include <xbt/fifo.h>
+#include <xbt/log.h>
+#include <xbt/sysdep.h>
+
#include "src/mc/mc_state.h"
#include "src/mc/mc_comm_pattern.h"
#include "src/mc/mc_request.h"
#include <string.h>
+#include <xbt/base.h>
#include <xbt/sysdep.h>
#define DW_LANG_Objc DW_LANG_ObjC /* fix spelling error in older dwarf.h */
#include <cstdint>
+#include <xbt/log.h>
+
#include "src/mc/mc_private.h"
+#include "src/mc/mc_snapshot.h"
#include "mc/datatypes.h"
#include "src/mc/mc_hash.hpp"
#include <mc/mc.h>
#define SIMGRID_MC_HASH_HPP
#include <cstdint>
-#include <vector>
-#include "xbt/misc.h"
-#include "src/mc/mc_snapshot.h"
+#include <xbt/base.h>
+
+#include "src/mc/mc_forward.hpp"
namespace simgrid {
namespace mc {
#ifndef SIMGRID_MC_IGNORE_H
#define SIMGRID_MC_IGNORE_H
+#include <xbt/base.h> /* SG_BEGIN_DECL */
#include <xbt/dynar.h>
-#include "mc/datatypes.h"
-#include "src/mc/Process.hpp"
-
-#include "xbt/misc.h" /* SG_BEGIN_DECL */
-
SG_BEGIN_DECL();
XBT_PRIVATE xbt_dynar_t MC_checkpoint_ignore_new(void);
#include <fcntl.h>
#include "xbt/log.h"
-#include "xbt/dynar.h"
-#include "xbt/virtu.h"
#include "mc/mc.h"
#include "src/mc/mc_private.h"
#define SIMGRID_MC_MMU_H
#include <cstdint>
+#include <cstddef>
#include <xbt/asserts.h>
+#include <xbt/base.h> // xbt_pagesize...
#include <xbt/misc.h>
#include <simgrid_config.h>
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include <xbt/dynar.h>
+#include <xbt/sysdep.h>
+
#include "src/mc/mc_liveness.h"
#include "src/mc/mc_private.h"
#include <stdint.h>
-#include <xbt/misc.h>
+#include <xbt/base.h>
#include "mc/datatypes.h"
#include <cstdio>
#include <cstdlib>
+#include <xbt/fifo.h>
#include <xbt/log.h>
#include <xbt/sysdep.h>
#define SIMGRID_MC_RECORD_H
#include <xbt/base.h>
+#include <xbt/dynar.h>
+#include <xbt/fifo.h>
SG_BEGIN_DECL()
#ifndef SIMGRID_MC_REPLAY_H
#define SIMGRID_MC_REPLAY_H
-#include <xbt/misc.h>
+#include <xbt/base.h>
SG_BEGIN_DECL()
#include <xbt/str.h>
#include <xbt/sysdep.h>
#include <xbt/dynar.h>
-#include <xbt/misc.h>
#include "src/mc/mc_request.h"
#include "src/mc/mc_safety.h"
#include <cstdio>
#include <xbt/log.h>
+#include <xbt/dynar.h>
#include <xbt/fifo.h>
#include <xbt/sysdep.h>
* under the terms of the license (GNU LGPL) which comes with this package. */
#include <cassert>
+#include <cstdlib>
#include <xbt/log.h>
-#include <xbt/string.hpp>
+#include <xbt/dynar.h>
+#include <xbt/str.h>
+#include <xbt/swag.h>
#include "src/simix/smx_private.h"
#include "src/mc/mc_smx.h"
-#include "ModelChecker.hpp"
+#include "src/mc/ModelChecker.hpp"
using simgrid::mc::remote;
void MC_smx_process_info_clear(mc_smx_process_info_t p)
{
p->hostname = nullptr;
- free(p->name);
+ std::free(p->name);
p->name = nullptr;
}
#include <stddef.h>
#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <xbt/log.h>
#include <simgrid/simix.h>
#include "src/mc/AddressSpace.hpp"
#include "src/mc/mc_xbt.hpp"
+#include <xbt/dynar.h>
#include <xbt/sysdep.h>
namespace simgrid {
#include <cstddef>
-#include <xbt/base.h>
+#include <xbt/dynar.h>
#include "src/mc/remote_ptr.hpp"
#include "src/mc/AddressSpace.hpp"
#endif
#include <xbt/log.h>
+#include <xbt/sysdep.h>
#include <xbt/system_error.hpp>
#include "simgrid/sg_config.h"