projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove EOL spaces, fix indentation
[model-checker.git]
/
mymemory.cc
diff --git
a/mymemory.cc
b/mymemory.cc
index 88018e269093c531a67bde16d27de8a95d6d6305..f3464fc6bff4927e6f1b36d5678b062a1b87519b 100644
(file)
--- a/
mymemory.cc
+++ b/
mymemory.cc
@@
-20,7
+20,7
@@
void *MYMALLOC(size_t size) {
static void *(*mallocp)(size_t size);
char *error;
void *ptr;
static void *(*mallocp)(size_t size);
char *error;
void *ptr;
-
+
/* get address of libc malloc */
if (!mallocp) {
mallocp = ( void * ( * )( size_t ) )dlsym(RTLD_NEXT, "malloc");
/* get address of libc malloc */
if (!mallocp) {
mallocp = ( void * ( * )( size_t ) )dlsym(RTLD_NEXT, "malloc");
@@
-29,7
+29,7
@@
void *MYMALLOC(size_t size) {
exit(EXIT_FAILURE);
}
}
exit(EXIT_FAILURE);
}
}
- ptr = mallocp(size);
+ ptr = mallocp(size);
return ptr;
#else
if( !sTheRecord ){
return ptr;
#else
if( !sTheRecord ){