projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5e1a28d
)
bug fixe
author
root
<root@plrg-1.ics.uci.edu>
Fri, 15 Nov 2019 08:25:47 +0000
(
00:25
-0800)
committer
root
<root@plrg-1.ics.uci.edu>
Fri, 15 Nov 2019 08:25:47 +0000
(
00:25
-0800)
pipe.cc
patch
|
blob
|
history
diff --git
a/pipe.cc
b/pipe.cc
index 37bb0dc6620079e6b7b612e673c36e02debb62ae..b915c7927377f21005194d97289f7f6b799071ad 100644
(file)
--- a/
pipe.cc
+++ b/
pipe.cc
@@
-1,7
+1,9
@@
#include "common.h"
#include <unistd.h>
#include "model.h"
#include "common.h"
#include <unistd.h>
#include "model.h"
+#include "snapshot-interface.h"
#include <dlfcn.h>
#include <dlfcn.h>
+#include <errno.h>
static int (*pipe_init_p)(int filep[2]) = NULL;
static int (*pipe_init_p)(int filep[2]) = NULL;
@@
-12,11
+14,12
@@
int pipe(int fildes[2]) {
model->startChecker();
}
if (!pipe_init_p) {
model->startChecker();
}
if (!pipe_init_p) {
- pipe_init_p = (int (*)(int file[2])) dlsym(RTLD_NEXT, "pipe");
- if ((error = dlerror()) != NULL) {
+ pipe_init_p = (int (*)(int fildes[2])) dlsym(RTLD_NEXT, "pipe");
+ char *error = dlerror();
+ if (error != NULL) {
fputs(error, stderr);
exit(EXIT_FAILURE);
}
}
fputs(error, stderr);
exit(EXIT_FAILURE);
}
}
-
pipe_init_p(file
des);
+
return pipe_init_p(fil
des);
}
}