X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7af0e65bacbcf6d3f9f74988eb87bd04df001f68..84183e4f4aa50f6220315835894bc0677c0ea64c:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 0a3883c3e9..9027f75acd 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -148,7 +148,8 @@ typedef struct s_mc_pages_store s_mc_pages_store_t, * mc_pages_store_t;
 mc_pages_store_t mc_pages_store_new();
 const void* mc_page_store_get_page(mc_pages_store_t page_store, size_t pageno);
 
-static inline bool mc_snapshot_region_linear(mc_mem_region_t region) {
+static inline __attribute__((always_inline))
+bool mc_snapshot_region_linear(mc_mem_region_t region) {
   return !region || !region->data;
 }