diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-05 12:49:08 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-05 13:05:47 +0200 |
| commit | 1beb81367ce08594953fd11d686589b9613c3a97 (patch) | |
| tree | 8e46b22cb2d6fd0c5a42271ba0d9f9fff90082ec /executor/common.h | |
| parent | 2b5d3da50f7bb244d57ca18ba9fbfd20dc8b6706 (diff) | |
executor: check write return value
gcc complains:
error: ignoring return value of ‘write’, declared with attribute warn_unused_result [-Werror=unused-result]
Also fix includes.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index 6ba88ea3b..7255b7dc7 100644 --- a/executor/common.h +++ b/executor/common.h @@ -117,7 +117,11 @@ static void install_segv_handler() #endif #if !GOOS_linux -#if SYZ_EXECUTOR || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER +#if (SYZ_EXECUTOR || SYZ_REPEAT) && SYZ_EXECUTOR_USES_FORK_SERVER +#include <signal.h> +#include <sys/types.h> +#include <sys/wait.h> + static void kill_and_wait(int pid, int* status) { kill(pid, SIGKILL); |