projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
include the correct standard headers
[model-checker.git]
/
mymemory.cc
diff --git
a/mymemory.cc
b/mymemory.cc
index 6ea6b92927c4ddebabe5b690b13800667a70fd08..e05cb783e2455bdf68aaa5b495fa664e000677f2 100644
(file)
--- a/
mymemory.cc
+++ b/
mymemory.cc
@@
-1,12
+1,17
@@
-#include "mymemory.h"
-#include "snapshot.h"
-#include "snapshotimp.h"
+#include <stdlib.h>
#include <stdio.h>
#include <dlfcn.h>
#include <unistd.h>
#include <stdio.h>
#include <dlfcn.h>
#include <unistd.h>
-#include <cstring>
+#include <string.h>
+#include <new>
+
+#include "mymemory.h"
+#include "snapshot.h"
+#include "snapshotimp.h"
#include "common.h"
#include "common.h"
+
#define REQUESTS_BEFORE_ALLOC 1024
#define REQUESTS_BEFORE_ALLOC 1024
+
size_t allocatedReqs[ REQUESTS_BEFORE_ALLOC ] = { 0 };
int nextRequest = 0;
int howManyFreed = 0;
size_t allocatedReqs[ REQUESTS_BEFORE_ALLOC ] = { 0 };
int nextRequest = 0;
int howManyFreed = 0;
@@
-193,7
+198,7
@@
void * calloc(size_t num, size_t size)
return tmp;
} else {
void *tmp = HandleEarlyAllocationRequest(size * num);
return tmp;
} else {
void *tmp = HandleEarlyAllocationRequest(size * num);
-
std::
memset(tmp, 0, size * num);
+ memset(tmp, 0, size * num);
return tmp;
}
}
return tmp;
}
}