[mc] Remove pointless #includes

diff --git a/src/mc/ChunkedData.cpp b/src/mc/ChunkedData.cpp
index 4e8499e..8d5a8e0 100644 (file)
--- a/src/mc/ChunkedData.cpp
+++ b/src/mc/ChunkedData.cpp
@@ -14,6 +14,7 @@
 
 #include "src/mc/AddressSpace.hpp"
 #include "src/mc/ChunkedData.hpp"
+#include "src/mc/PageStore.hpp"
 
 #define SOFT_DIRTY_BIT_NUMBER 55
 #define SOFT_DIRTY (((uint64_t)1) << SOFT_DIRTY_BIT_NUMBER)

diff --git a/src/mc/ChunkedData.hpp b/src/mc/ChunkedData.hpp
index 3c414be..706c749 100644 (file)
--- a/src/mc/ChunkedData.hpp
+++ b/src/mc/ChunkedData.hpp
@@ -14,7 +14,6 @@
 #include <vector>
 
 #include "src/mc/mc_forward.hpp"
-#include "src/mc/AddressSpace.hpp"
 #include "src/mc/PageStore.hpp"
 
 namespace simgrid {

diff --git a/src/mc/DwarfExpression.hpp b/src/mc/DwarfExpression.hpp
index 6cb4fea..4f16164 100644 (file)
--- a/src/mc/DwarfExpression.hpp
+++ b/src/mc/DwarfExpression.hpp
@@ -17,6 +17,7 @@
 #include <elfutils/libdw.h>
 
 #include "src/mc/mc_forward.hpp"
+#include "src/mc/AddressSpace.hpp"
 
 /** @file DwarfExession.hpp
  *

diff --git a/src/mc/Frame.hpp b/src/mc/Frame.hpp
index 2619402..0cc6630 100644 (file)
--- a/src/mc/Frame.hpp
+++ b/src/mc/Frame.hpp
@@ -16,7 +16,6 @@
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/LocationList.hpp"
 #include "src/mc/Variable.hpp"
-#include "src/mc/Frame.hpp"
 
 namespace simgrid {
 namespace mc {

diff --git a/src/mc/LocationList.hpp b/src/mc/LocationList.hpp
index 9759836..1e1ed75 100644 (file)
--- a/src/mc/LocationList.hpp
+++ b/src/mc/LocationList.hpp
@@ -20,7 +20,6 @@
 
 #include "src/mc/mc_base.h"
 #include "src/mc/mc_forward.hpp"
-#include "src/mc/AddressSpace.hpp"
 #include "src/mc/DwarfExpression.hpp"
 
 namespace simgrid {

diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp
index 9b196b8..8634716 100644 (file)
--- a/src/mc/PageStore.cpp
+++ b/src/mc/PageStore.cpp
@@ -9,7 +9,9 @@
 
 #include <sys/mman.h>
 
-#include <xbt.h>
+#include <xbt/base.h>
+#include <xbt/log.h>
+#include <xbt/sysdep.h>
 
 #include "src/mc/PageStore.hpp"
 

diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index 33eb201..12a1499 100644 (file)
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -24,7 +24,6 @@
 #include <libunwind.h>
 #include <libunwind-ptrace.h>
 
-#include <xbt/dynar.h>
 #include <xbt/log.h>
 #include <xbt/base.h>
 #include <xbt/mmalloc.h>

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index fe648f8..5a9e306 100644 (file)
--- a/src/mc/Process.hpp
+++ b/src/mc/Process.hpp
@@ -19,7 +19,6 @@
 #include <simgrid_config.h>
 
 #include <xbt/base.h>
-#include <xbt/dynar.h>
 #include <xbt/mmalloc.h>
 
 #include "src/xbt/mmalloc/mmprivate.h"

diff --git a/src/mc/malloc.hpp b/src/mc/malloc.hpp
index 82acd86..0447cc4 100644 (file)
--- a/src/mc/malloc.hpp
+++ b/src/mc/malloc.hpp
@@ -12,7 +12,6 @@
 
 #include <vector>
 
-#include <xbt/dynar.h>
 #include <xbt/mmalloc.h>
 
 #include "src/mc/mc_forward.hpp"

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 9f6c575..cb8a785 100644 (file)
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -5,7 +5,6 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include <xbt/log.h>
-#include <xbt/fifo.h>
 #include <xbt/sysdep.h>
 #include <simgrid/modelchecker.h>
 

diff --git a/src/mc/mc_diff.cpp b/src/mc/mc_diff.cpp
index f0d0896..2a15fe2 100644 (file)
--- a/src/mc/mc_diff.cpp
+++ b/src/mc/mc_diff.cpp
@@ -7,7 +7,6 @@
 /* mc_diff - Memory snapshooting and comparison                             */
 
 #include "src/xbt/ex_interface.h"   /* internals of backtrace setup */
-#include "xbt/str.h"
 #include "mc/mc.h"
 #include "xbt/mmalloc.h"
 #include "mc/datatypes.h"

diff --git a/src/mc/mc_dwarf.hpp b/src/mc/mc_dwarf.hpp
index 62fb9a1..d247552 100644 (file)
--- a/src/mc/mc_dwarf.hpp
+++ b/src/mc/mc_dwarf.hpp
@@ -17,7 +17,7 @@
 #define DW_LANG_Objc DW_LANG_ObjC       /* fix spelling error in older dwarf.h */
 #include <dwarf.h>
 
-#include "src/mc/Variable.hpp"
+#include "src/mc/mc_forward.hpp"
 
 namespace simgrid {
 namespace dwarf {

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 2c40f43..e92fcaf 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -21,9 +21,6 @@
 #include <sys/time.h>
 #endif
 
-#include <xbt/fifo.h>
-#include <xbt/automaton.h>
-
 #include "src/simix/smx_process_private.h"
 
 #if HAVE_MC

diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp
index c10d758..3f6102f 100644 (file)
--- a/src/mc/mc_smx.cpp
+++ b/src/mc/mc_smx.cpp
@@ -7,8 +7,9 @@
 #include <cassert>
 #include <cstdlib>
 
+#include <vector>
+
 #include <xbt/log.h>
-#include <xbt/dynar.h>
 #include <xbt/str.h>
 #include <xbt/swag.h>
 

diff --git a/src/mc/mc_smx.h b/src/mc/mc_smx.h
index cecce1b..ba19d94 100644 (file)
--- a/src/mc/mc_smx.h
+++ b/src/mc/mc_smx.h
@@ -10,7 +10,6 @@
 #include <stddef.h>
 
 #include <xbt/base.h>
-#include <xbt/dynar.h>
 #include <xbt/log.h>
 
 #include <simgrid/simix.h>

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index 741ba37..fdb9e10 100644 (file)
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -8,7 +8,6 @@
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
-#include <xbt/fifo.h>
 
 #include "src/simix/smx_private.h"
 #include "src/mc/mc_state.h"