a number of fixes to add missing mo_graph edges to speed up detection of infeasible

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index dadb75956c1f4254c3ecc84d519cd7431a8910af..6d59e7be6f68cae62c018639d2deeaeb4c36d0c7 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -139,7 +139,7 @@ void initSnapShotLibrary(unsigned int numbackingpages,
                unsigned int numheappages, VoidFuncPtr entryPoint) {
        /* Setup a stack for our signal handler....  */
        stack_t ss;
-       ss.ss_sp = model_malloc(SIGSTACKSIZE);
+       ss.ss_sp = PageAlignAddressUpward(model_malloc(SIGSTACKSIZE+PAGESIZE-1));
        ss.ss_size = SIGSTACKSIZE;
        ss.ss_flags = 0;
        sigaltstack(&ss, NULL);