projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
librace: actually compute the loads and stores
[model-checker.git]
/
malloc.c
diff --git
a/malloc.c
b/malloc.c
index f20c4e7a46692b9a7d7848431b993979c7033a88..3ec0d3fb57d1314b7bf275b24747d3049b146f12 100644
(file)
--- a/
malloc.c
+++ b/
malloc.c
@@
-38,12
+38,12
@@
void myFree(void *ptr)
real_free(ptr);
}
-void * operator new(size_t size)
+void * operator new(size_t size)
throw(std::bad_alloc)
{
return myMalloc(size);
}
-void operator delete(void *p)
+void operator delete(void *p)
throw()
{
myFree(p);
}