From 6dcccaf23679103bd372210946fbd274751ecac9 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 28 Aug 2015 13:40:04 +0200
Subject: [PATCH] Disable lazy relocation in the model-ched process.

We don't want the model-checked process to modify its .got.plt during
snapshot.
---
 src/mc/simgrid_mc.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index afe4ba08a0..397d58aceb 100644
--- a/src/mc/simgrid_mc.cpp
+++ b/src/mc/simgrid_mc.cpp
@@ -68,6 +68,11 @@ static int do_child(int socket, char** argv)
   // Set environment:
   setenv(MC_ENV_VARIABLE, "1", 1);
 
+  // Disable lazy relocation in the model-ched process.
+  // We don't want the model-checked process to modify its .got.plt during
+  // snapshot.
+  setenv("LC_BIND_NOW", "1", 1);
+
   char buffer[64];
   res = std::snprintf(buffer, sizeof(buffer), "%i", socket);
   if ((size_t) res >= sizeof(buffer) || res == -1)
-- 
2.20.1