From: Matthieu Volat <mazhe@alkumuna.eu>
Date: Mon, 28 Nov 2016 14:00:18 +0000 (+0100)
Subject: BSD/SysV ptrace resume addr is 1, not 0 like in linux.
X-Git-Tag: v3_14~132^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/75ebde707b0c7b13d67e12e94a03d774ad37ba67

BSD/SysV ptrace resume addr is 1, not 0 like in linux.
---

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 160074896a..f0f149f613 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -423,7 +423,7 @@ void ModelChecker::handle_waitpid()
 #ifdef __linux__
         ptrace(PTRACE_CONT, this->process().pid(), 0, WSTOPSIG(status));
 #elif defined BSD
-        ptrace(PT_CONTINUE, this->process().pid(), nullptr, WSTOPSIG(status));
+        ptrace(PT_CONTINUE, this->process().pid(), (caddr_t)1, WSTOPSIG(status));
 #endif
         if (errno != 0)
           xbt_die("Could not PTRACE_CONT");