projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
623631d
)
mymemory: make DontFree() static
author
Brian Norris
<banorris@uci.edu>
Mon, 8 Oct 2012 19:34:22 +0000
(12:34 -0700)
committer
Brian Norris
<banorris@uci.edu>
Mon, 8 Oct 2012 19:34:22 +0000
(12:34 -0700)
mymemory.cc
patch
|
blob
|
history
diff --git
a/mymemory.cc
b/mymemory.cc
index d281330b75d2341b1050c20cdd38377b5e1f75d2..759bdccd89231eff77305f392166162d8c714de4 100644
(file)
--- a/
mymemory.cc
+++ b/
mymemory.cc
@@
-154,7
+154,7
@@
void * HandleEarlyAllocationRequest(size_t sz)
}
/** Check whether this is bootstrapped memory that we should not free */
-bool DontFree(void *ptr)
+
static
bool DontFree(void *ptr)
{
return (ptr >= (&bootstrapmemory[0]) && ptr < (&bootstrapmemory[BOOTSTRAPBYTES]));
}