projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
snapshot: remove global 'basemySpace'
[model-checker.git]
/
mymemory.cc
diff --git
a/mymemory.cc
b/mymemory.cc
index 95459be561af6b7bab74d50610d470f1005c4464..54885ca12deb46a50eba387a66edc58fba52b5ea 100644
(file)
--- a/
mymemory.cc
+++ b/
mymemory.cc
@@
-142,10
+142,6
@@
void model_free(void *ptr) {
/** @brief Global mspace reference for the snapshotting heap */
mspace mySpace = NULL;
/** @brief Global mspace reference for the snapshotting heap */
mspace mySpace = NULL;
-/** @brief Global reference to the unaligned memory address that was malloc'd
- * for the snapshotting heap */
-void *basemySpace = NULL;
-
/** Bootstrap allocation. Problem is that the dynamic linker calls
* require calloc to work and calloc requires the dynamic linker to
* work. */
/** Bootstrap allocation. Problem is that the dynamic linker calls
* require calloc to work and calloc requires the dynamic linker to
* work. */